sagbi.lib
constant
assumeQring
type
type
returntype
constant
uniqueVariableName
type
type
string
→
returntype
constant
extendRing
type
type
int
→
(
ideal
→
(
def
→
returntype
)
)
constant
stdKernPhi
type
type
int
→
(
ideal
→
(
ideal
→
(
ideal
→
returntype
)
)
)
constant
spolynomialsGB
type
type
int
→
(
def
→
(
ideal
→
returntype
)
)
constant
spolynomialsToric
type
type
ideal
→
returntype
constant
reductionGB
type
type
int
→
(
int
→
(
int
→
(
def
→
(
ideal
→
(
ideal
→
returntype
)
)
)
)
)
constant
reduceByMonomials
type
type
ideal
→
returntype
constant
sagbiConstruction
type
type
int
→
(
int
→
(
int
→
(
int
→
(
ideal
→
returntype
)
)
)
)
constant
sagbiSPoly
type
type
list
→
(
ideal
→
returntype
)
constant
sagbiReduce
type
type
list
→
(
ideal
→
(
def
→
returntype
)
)
constant
sagbi
type
type
list
→
(
ideal
→
returntype
)
constant
sagbiPart
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)
constant
algebraicDependence
type
type
int
→
(
ideal
→
returntype
)
constant
interreduced
type
type
ideal
→
returntype
constant
sagbiReduction
type
type
list
→
(
ideal
→
(
poly
→
returntype
)
)
constant
canonicalform
type
type
ideal
→
returntype
constant
canonicalform_poly
type
type
poly
→
returntype