JMBTest.lib
constant mod_init
typereturntype
constant Terns
typeint(listreturntype)
constant VConst
typeint(listreturntype)
constant Minimus
typeidealreturntype
constant Maximus
typeidealreturntype
constant GJmpMins
typejmp(jmpreturntype)
constant TernCompare
typelist(list(listreturntype))
constant MinOfV
typelist(listreturntype)
constant OrderingV
typelist(list(listreturntype))
constant StartOrderingV
typelist(listreturntype)
constant Multiply
typelist(listreturntype)
constant IdealOfV
typelistreturntype
constant NewWeight
typeintreturntype
constant FinalVm
typedef(list(listreturntype))
constant ConstructorMain
typedef(int(listreturntype))
constant EKCouples
typejmp(jmpreturntype)
constant EKPolys
typelistreturntype
constant EKPolynomials
typelist(listreturntype)
constant TestJMark
typedef(listreturntype)