primdec.lib
constant sat1
typepoly(idealreturntype)
constant sat2
typeideal(idealreturntype)
constant minSat
typeideal(idealreturntype)
constant quotMin
typelistreturntype
constant testFactor
typepoly(listreturntype)
constant factor
typepolyreturntype
constant idealsEqual
typeideal(idealreturntype)
constant specialIdealsEqual
typeideal(idealreturntype)
constant stdIdealsEqual
typeideal(idealreturntype)
constant primaryTest
typepoly(idealreturntype)
constant gcdTest
typeidealreturntype
constant splitPrimary
typelist(int(ideal(listreturntype)))
constant splitCharp
typelistreturntype
constant zero_decomp
typelist(int(ideal(idealreturntype)))
constant extF
typelist(listreturntype)
constant zeroSp
typeidealreturntype
constant zeroSepClos
typeideal(idealreturntype)
constant insepDecomp_i
typeideal(intreturntype)
constant clearSB
typelist(idealreturntype)
constant clearSBNeu
typelist(idealreturntype)
constant teilt
typeintvec(intvecreturntype)
constant independSet
typeidealreturntype
constant maxIndependSet
typeidealreturntype
constant prepareQuotientring
typestring(intreturntype)
constant cleanPrimary
typelistreturntype
constant minAssPrimesoldE
typelist(idealreturntype)
constant minAssPrimesold
typelist(idealreturntype)
constant minAssPrimesold_i
typelist(ideal(intreturntype))
constant primT
typeidealreturntype
constant minAssPrimesE
typelist(idealreturntype)
constant minAssPrimes
typelist(idealreturntype)
constant minAssPrimes_i
typelist(ideal(intreturntype))
constant union
typelistreturntype
constant equidim
typelist(idealreturntype)
constant equidimMax
typeidealreturntype
constant islp
typereturntype
constant algeDecoE
typeint(idealreturntype)
constant algeDeco
typeint(idealreturntype)
constant algeDeco_i
typeint(ideal(intreturntype))
constant prepare_absprimdec
typelistreturntype
constant decompE
typelist(idealreturntype)
constant decomp
typelist(idealreturntype)
constant decomp_i
typelist(ideal(intreturntype))
constant powerCoeffs
typeint(polyreturntype)
constant sep
typelist(int(polyreturntype))
constant zeroRad
typelist(idealreturntype)
constant algeRad
typeidealreturntype
constant radicalEHV
typeidealreturntype
constant Ann
typemodulereturntype
constant int_ass_primary_e
typeint(idealreturntype)
constant AnnExt_R
typelist(intreturntype)
constant analyze
typelistreturntype
constant simplifyIdeal
typeidealreturntype
constant ini_mod
typepolyreturntype
constant min_ass_prim_charsets_i
typeint(ideal(intreturntype))
constant min_ass_prim_charsets0_i
typeideal(intreturntype)
constant min_ass_prim_charsets1_i
typeideal(intreturntype)
constant prim_dec_i
typeint(ideal(intreturntype))
constant pseudo_prim_dec_charsets_i
typeint(ideal(ideal(intreturntype)))
constant pseudo_prim_dec_special_charsets_i
typeint(list(ideal(intreturntype)))
constant pseudo_prim_dec_i_i
typelist(ideal(intreturntype))
constant extraction
typeideal(idealreturntype)
constant minsat
typepoly(idealreturntype)
constant minsat_ppd
typeideal(idealreturntype)
constant minquot
typelistreturntype
constant special_ideals_equal
typeideal(idealreturntype)
constant convList
typelistreturntype
constant reconvList
typelistreturntype
constant primdecGTZE
typelist(idealreturntype)
constant primdecGTZ
typelist(idealreturntype)
constant primdecGTZ_i
typelist(ideal(intreturntype))
constant absPrimdecGTZE
typelist(idealreturntype)
constant absPrimdecGTZ
typelist(idealreturntype)
constant absPrimdecGTZ_i
typelist(ideal(intreturntype))
constant primdecSYE
typelist(idealreturntype)
constant primdecSY
typelist(idealreturntype)
constant primdecSY_i
typelist(ideal(intreturntype))
constant minAssGTZE
typelist(idealreturntype)
constant minAssGTZ
typelist(idealreturntype)
constant minAssGTZ_i
typelist(ideal(intreturntype))
constant minAssCharE
typelist(idealreturntype)
constant minAssChar
typelist(idealreturntype)
constant minAssChar_i
typelist(ideal(intreturntype))
constant equiRadical
typeidealreturntype
constant radical
typelist(idealreturntype)
constant radicalKL
typelist(ideal(idealreturntype))
constant radicalSL
typelist(idealreturntype)
constant radicalReduction
typelist(int(ideal(idealreturntype)))
constant radicalSLIteration
typeideal(idealreturntype)
constant newMaxIndependSetDp
typelist(idealreturntype)
constant prepareAss
typeidealreturntype
constant equidimMaxEHV
typeidealreturntype
constant testPrimaryE
typeideal(listreturntype)
constant testPrimary
typeideal(listreturntype)
constant testPrimary_i
typeideal(list(intreturntype))
constant zerodec
typeidealreturntype
constant newDecompStepE
typelist(idealreturntype)
constant newDecompStep
typelist(idealreturntype)
constant newDecompStep_i
typelist(ideal(intreturntype))
constant newReduction
typelist(int(int(int(intvec(intvec(ideal(idealreturntype)))))))
constant minAssE
typelist(idealreturntype)
constant minAss
typelist(idealreturntype)
constant minAss_i
typelist(ideal(intreturntype))
constant minAssSL
typeidealreturntype
constant minAssSLIteration
typeideal(idealreturntype)
constant newMaxIndependSetLp
typelist(idealreturntype)
constant newZero_decomp
typelist(int(ideal(idealreturntype)))
constant check_variables
typeint(aliasreturntype)
constant prep_decomp
typealiasreturntype