JMSConst.lib
constant BorelCheck
typedef(idealreturntype)
constant ArrangeBorel
typeidealreturntype
constant NumNewVar
typelist(listreturntype)
constant NewTails
typeint(idealreturntype)
constant ArrangeTails
typelistreturntype
constant mod_init
typereturntype
constant Terns
typeint(listreturntype)
constant VConst
typeint(listreturntype)
constant Minimus
typeidealreturntype
constant Maximus
typeidealreturntype
constant GPolyMin
typejmp(jmpreturntype)
constant TernComparer
typelist(list(listreturntype))
constant MinimalV
typelist(listreturntype)
constant OrderV
typelist(list(listreturntype))
constant StartOrderingV
typelist(listreturntype)
constant MultiplyJmP
typelist(listreturntype)
constant NewWeight
typeintreturntype
constant FinalVm
typedef(list(listreturntype))
constant VmConstructor
typedef(int(listreturntype))
constant EKCouples
typejmp(jmpreturntype)
constant EKPolynomials
typelistreturntype
constant MultEKPolys
typelist(listreturntype)
constant SchemeEq
typedef(list(list(list(listreturntype))))
constant JMarkedScheme
typedef(idealreturntype)