classifyceq.lib
constant classifyCeq
typepolyreturntype
constant blowupone
typepolyreturntype
constant classifyCeq1
typepolyreturntype
constant GDsplitting
typepolyreturntype
constant myMorsesplitting
typeint(polyreturntype)
constant findlead
typepolyreturntype
constant splitting_one
typeint(int(polyreturntype))
constant splitting_two
typeint(int(int(polyreturntype)))
constant quickSubst
typeint(int(poly(polyreturntype)))
constant findVar
typepolyreturntype
constant forv
typeintvecreturntype
constant classifyCeq2
typepolyreturntype
constant SPILPRO
typeint(polyreturntype)
constant surCeq2
typepolyreturntype
constant surEsing
typepolyreturntype
constant surDsing
typepolyreturntype
constant formf
typepolyreturntype
constant whichSUR
typepolyreturntype
constant findSUR
typepolyreturntype
constant findRSUR
typepolyreturntype
constant BlowUpO
typepolyreturntype
constant lengthBL
typepolyreturntype
constant curCeq2
typepolyreturntype
constant whichtru
typepolyreturntype
constant findR
typepolyreturntype
constant findRD
typepolyreturntype
constant splitting_SQUA
typeint(polyreturntype)
constant splitting_two2
typeint(int(int(polyreturntype)))
constant quickSubst2
typeint(int(poly(polyreturntype)))
constant FindPRO
typepolyreturntype
constant FindSQUA
typepolyreturntype
constant findVAR
typepolyreturntype
constant redvar2
typepolyreturntype
constant inverseUnit
typeint(polyreturntype)
constant splittingLchar2
typepolyreturntype