JMSConst.lib
constant
BorelCheck
type
type
def
→
(
ideal
→
returntype
)
constant
ArrangeBorel
type
type
ideal
→
returntype
constant
NumNewVar
type
type
list
→
(
list
→
returntype
)
constant
NewTails
type
type
int
→
(
ideal
→
returntype
)
constant
ArrangeTails
type
type
list
→
returntype
constant
mod_init
type
type
returntype
constant
Terns
type
type
int
→
(
list
→
returntype
)
constant
VConst
type
type
int
→
(
list
→
returntype
)
constant
Minimus
type
type
ideal
→
returntype
constant
Maximus
type
type
ideal
→
returntype
constant
GPolyMin
type
type
jmp
→
(
jmp
→
returntype
)
constant
TernComparer
type
type
list
→
(
list
→
(
list
→
returntype
)
)
constant
MinimalV
type
type
list
→
(
list
→
returntype
)
constant
OrderV
type
type
list
→
(
list
→
(
list
→
returntype
)
)
constant
StartOrderingV
type
type
list
→
(
list
→
returntype
)
constant
MultiplyJmP
type
type
list
→
(
list
→
returntype
)
constant
NewWeight
type
type
int
→
returntype
constant
FinalVm
type
type
def
→
(
list
→
(
list
→
returntype
)
)
constant
VmConstructor
type
type
def
→
(
int
→
(
list
→
returntype
)
)
constant
EKCouples
type
type
jmp
→
(
jmp
→
returntype
)
constant
EKPolynomials
type
type
list
→
returntype
constant
MultEKPolys
type
type
list
→
(
list
→
returntype
)
constant
SchemeEq
type
type
def
→
(
list
→
(
list
→
(
list
→
(
list
→
returntype
)
)
)
)
constant
JMarkedScheme
type
type
def
→
(
ideal
→
returntype
)