redcgs.lib
constant setglobalrings
typereturntype
constant cld
typeidealreturntype
constant memberpos
typedef(defreturntype)
constant subset
typedef(defreturntype)
constant elimintfromideal
typeidealreturntype
constant simpqcoeffs
typepoly(polyreturntype)
constant pdivi
typeideal(polyreturntype)
constant pspol
typepoly(polyreturntype)
constant facvar
typeidealreturntype
constant Wred
typeideal(polyreturntype)
constant pnormalform
typeideal(ideal(polyreturntype))
constant idint
typeideal(idealreturntype)
constant redspec
typeideal(idealreturntype)
constant lesspol
typepoly(polyreturntype)
constant delfromideal
typeint(idealreturntype)
constant delidfromid
typeideal(idealreturntype)
constant sortideal
typeidealreturntype
constant mingb
typeidealreturntype
constant redgb
typeideal(ideal(idealreturntype))
constant splitspec
typelist(polyreturntype)
constant discusspolys
typelist(idealreturntype)
constant lcmlmonoms
typepoly(polyreturntype)
constant placepairinlist
typelist(listreturntype)
constant orderingpairs
typeidealreturntype
constant criterion
typeideal(list(int(intreturntype)))
constant discussSpolys
typelist(list(idealreturntype))
constant buildtree
typelist(idealreturntype)
constant recbuildtree
typelist(listreturntype)
constant buildtreetoMaple
typestring(string(listreturntype))
constant btterminal
typelist(stringreturntype)
constant btbasis
typelist(stringreturntype)
constant btN
typelist(stringreturntype)
constant btW
typelist(stringreturntype)
constant btlpp
typelist(stringreturntype)
constant btcond
typepoly(list(stringreturntype))
constant comp1
typeintvecreturntype
constant comp
typeint(intreturntype)
constant adaptcoef
typematrix(matrixreturntype)
constant WW
typeintvec(idealreturntype)
constant WPred
typeideal(polyreturntype)
constant genimage
typeideal(ideal(poly(ideal(ideal(polyreturntype)))))
constant extendpoly
typeideal(ideal(polyreturntype))
constant nonnull
typeideal(ideal(polyreturntype))
constant decide
typeideal(ideal(poly(ideal(ideal(polyreturntype)))))
constant finalcases
typelistreturntype
constant groupsegments
typelistreturntype
constant elimrepeated
typeidealreturntype
constant decideF
typeideal(ideal(poly(ideal(ideal(idealreturntype)))))
constant newredspec
typeideal(ideal(ideal(idealreturntype)))
constant selectcases
typelistreturntype
constant equalideals
typeideal(idealreturntype)
constant delintvec
typeint(intvecreturntype)
constant redtocanspec
typelist(int(intvecreturntype))
constant difftocanspec
typeideal(ideal(int(intvecreturntype)))
constant tree
typelist(intvecreturntype)
constant GCS
typelist(intvecreturntype)
constant sortbylab
typelistreturntype
constant lesslab
typelist(listreturntype)
constant cantree
typelistreturntype
constant addcase
typelist(intvecreturntype)
constant reduceR
typeideal(polyreturntype)
constant containedP
typeideal(idealreturntype)
constant simplifynewadded
typeintvecreturntype
constant lastchildrenindex
typeintvecreturntype
constant nextbrother
typeintvecreturntype
constant firstchild
typedefreturntype
constant deletebrotherscontaining
typeintvecreturntype
constant deleteverts
typeintvecreturntype
constant relabelingindices
typeintvec(intvecreturntype)
constant mrcgs
typelist(idealreturntype)
constant reduceconds
typeideal(ideal(listreturntype))
constant cantreetoMaple
typestring(string(listreturntype))
constant ctlppbasis
typeintvec(list(stringreturntype))
constant ishomog
typedefreturntype
constant rcgs
typelist(idealreturntype)
constant difflpp
typeidealreturntype
constant postredgb
typeidealreturntype
constant crcgs
typelist(idealreturntype)
constant idintR
typeideal(idealreturntype)
constant gbR
typeidealreturntype
constant cantodiffcgs
typelistreturntype