realrad.lib
constant
realrad
type
type
ideal
→
returntype
constant
zeroreduct
type
type
ideal
→
returntype
constant
realzero
type
type
ideal
→
returntype
constant
GeneralPos
type
type
list
→
returntype
constant
realpoly
type
type
poly
→
returntype
constant
decision
type
type
poly
→
returntype
constant
isolset
type
type
poly
→
returntype
constant
BernsteinCoefficients
type
type
number
→
(
list
→
(
list
→
returntype
)
)
constant
binlog
type
type
number
→
returntype
constant
is_real
type
type
poly
→
returntype
constant
prepare_max
type
type
ideal
→
returntype
constant
length
type
type
poly
→
returntype
constant
isuniv
type
type
poly
→
returntype
constant
search_first
type
type
int
→
(
int
→
(
ideal
→
returntype
)
)
constant
subsets
type
type
int
→
returntype
constant
permutation
type
type
list
→
returntype
constant
simplify_gen
type
type
poly
→
returntype
constant
contnonloc
type
type
string
→
(
string
→
(
ideal
→
returntype
)
)