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