rootsmr.lib
constant
nrRootsProbab
type
type
list
→
(
ideal
→
returntype
)
constant
nrRootsDeterm
type
type
ideal
→
returntype
constant
symsignature
type
type
matrix
→
returntype
constant
sturmquery
type
type
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
constant
mysymmsig
type
type
matrix
→
returntype
constant
matbil
type
type
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
constant
tracemult
type
type
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
constant
matmult
type
type
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
constant
coords
type
type
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
constant
isSquare
type
type
matrix
→
returntype
constant
randcharpoly
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
verify
type
type
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
constant
randlinpoly
type
type
list
→
returntype
constant
powersums
type
type
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
constant
symmfunc
type
type
list
→
returntype
constant
univarpoly
type
type
list
→
returntype
constant
qbase
type
type
ideal
→
returntype
constant
reverseideal
type
type
ideal
→
returntype