realrad.lib
constant realrad
typeidealreturntype
constant zeroreduct
typeidealreturntype
constant realzero
typeidealreturntype
constant GeneralPos
typelistreturntype
constant realpoly
typepolyreturntype
constant decision
typepolyreturntype
constant isolset
typepolyreturntype
constant BernsteinCoefficients
typenumber(list(listreturntype))
constant binlog
typenumberreturntype
constant is_real
typepolyreturntype
constant prepare_max
typeidealreturntype
constant length
typepolyreturntype
constant isuniv
typepolyreturntype
constant search_first
typeint(int(idealreturntype))
constant subsets
typeintreturntype
constant permutation
typelistreturntype
constant simplify_gen
typepolyreturntype
constant contnonloc
typestring(string(idealreturntype))