grobcov.lib
constant elimintfromideal
constant delfromideal
constant delidfromid
constant equalideals
constant equallistideals
constant idcontains
constant selectminideals
constant pos
constant equallistsofideals
constant equallistsA
constant equallistsAall
constant idint
constant idintR
constant comb
constant combrep
constant cld
constant simpqcoeffs
constant pdivi
constant pspol
constant facvar
constant Ered
constant pnormalf
constant lesspol
constant sortideal
constant mingb
constant redgbn
constant postredgb
constant gbR
constant incquotient
constant idbefid
constant sortlistideals
constant Crep
constant Crep0
constant Prep
constant Prep0
constant PtoCrep
constant PtoCrep0
constant cgsdr
constant grsegments
constant LCUnion
constant LCUnionN
constant addpart
constant addpartfine
constant needcombine
constant precombine
constant combine
constant gcover
constant grobcov
constant extendpoly
constant extendGC
constant nonzerodivisor
constant nullin
constant monoms
constant findindexpolys
constant extendcoef
constant selectregularfun
constant searchinlist
constant selectminsheaves
constant smsheaves
constant allsheaves
constant numones
constant actualize
constant intersp
constant radicalmember
constant selectextendcoef
constant plusP
constant reform
constant precombint
constant minGTZ
constant inconsistent
constant MDBasis
constant primepartZ
constant LCMLC
constant KSW
constant sqf
constant KSW0
constant KSWtocgsdr
constant KtoPrep
constant groupKSWsegments
constant zeroone
constant subsets
constant SimplifyUnion
constant FirstLevel
constant ConstoPrep
constant ConsLevels
constant ConsLevelsToLevels
constant indepparameters
constant dimP0
constant DimPar
constant dimComp
constant minuselements
constant NorSing
constant determineF
constant locus0
constant locus2
constant NS
constant NS5
constant dimM
constant stdlocus
constant locus
constant locusdg
constant locusto
constant envelop
constant AssocTanToEnv
constant FamElemsAtEnvCompPoints
constant discrim
constant AddLocus
constant LocusConsLevels
constant WLemma
constant redbasis
constant redPbasis
constant idminusid
constant simpB
constant elimfacsinP