constant setglobalrings
constant cld
constant memberpos
constant subset
constant elimintfromideal
constant simpqcoeffs
constant pdivi
constant pspol
constant facvar
constant Wred
constant pnormalform
constant idint
constant redspec
constant lesspol
constant delfromideal
constant delidfromid
constant sortideal
constant mingb
constant redgb
constant splitspec
constant discusspolys
constant lcmlmonoms
constant placepairinlist
constant orderingpairs
constant criterion
constant discussSpolys
constant buildtree
constant recbuildtree
constant buildtreetoMaple
constant btterminal
constant btbasis
constant btN
constant btW
constant btlpp
constant btcond
constant comp1
constant comp
constant adaptcoef
constant WW
constant WPred
constant genimage
constant extendpoly
constant nonnull
constant decide
constant finalcases
constant groupsegments
constant elimrepeated
constant decideF
constant newredspec
constant selectcases
constant equalideals
constant delintvec
constant redtocanspec
constant difftocanspec
constant tree
constant GCS
constant sortbylab
constant lesslab
constant cantree
constant addcase
constant reduceR
constant containedP
constant simplifynewadded
constant lastchildrenindex
constant nextbrother
constant firstchild
constant deletebrotherscontaining
constant deleteverts
constant relabelingindices
constant mrcgs
constant reduceconds
constant cantreetoMaple
constant ctlppbasis
constant ishomog
constant rcgs
constant difflpp
constant postredgb
constant crcgs
constant idintR
constant gbR
constant cantodiffcgs