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