curvepar.lib
constant
BlowingUp
type
type
list
→
(
list
→
(
ideal
→
(
poly
→
returntype
)
)
)
constant
ZeroIdeal
type
type
ideal
→
returntype
constant
main
type
type
list
→
(
list
→
(
intvec
→
(
list
→
(
list
→
(
list
→
(
poly
→
(
ideal
→
(
ideal
→
returntype
)
)
)
)
)
)
)
)
constant
transversalTest
type
type
list
→
(
poly
→
(
ideal
→
returntype
)
)
constant
SmoothTest
type
type
poly
→
(
ideal
→
returntype
)
constant
CurveRes
type
type
ideal
→
returntype
constant
mlist
type
type
int
→
(
list
→
returntype
)
constant
mmult
type
type
poly
→
(
ideal
→
returntype
)
constant
mjacob
type
type
ideal
→
returntype
constant
mmi
type
type
int
→
(
matrix
→
returntype
)
constant
mC
type
type
int
→
(
matrix
→
returntype
)
constant
mmF
type
type
int
→
(
int
→
(
matrix
→
(
ideal
→
returntype
)
)
)
constant
cparam
type
type
int
→
(
int
→
(
int
→
(
poly
→
(
ideal
→
returntype
)
)
)
)
constant
CurveParam
type
type
list
→
returntype
constant
Semi
type
type
int
→
(
intvec
→
returntype
)
constant
AddElem
type
type
int
→
(
int
→
(
int
→
(
int
→
(
list
→
returntype
)
)
)
)
constant
WSemigroup
type
type
int
→
(
list
→
returntype
)
constant
quickSubst
type
type
ideal
→
(
poly
→
(
poly
→
(
poly
→
returntype
)
)
)
constant
semi2char
type
type
intvec
→
returntype
constant
primparam
type
type
int
→
(
poly
→
(
poly
→
returntype
)
)
constant
transform
type
type
list
→
returntype
constant
compose
type
type
list
→
returntype
constant
rduce
type
type
poly
→
returntype
constant
divide
type
type
int
→
(
poly
→
(
poly
→
returntype
)
)
constant
contact
type
type
list
→
returntype
constant
converter
type
type
list
→
returntype
constant
intermat
type
type
list
→
returntype
constant
lengths
type
type
matrix
→
returntype
constant
sorting
type
type
int
→
(
intvec
→
returntype
)
constant
MultiplicitySequence
type
type
ideal
→
returntype
constant
IntersectionMatrix
type
type
ideal
→
returntype
constant
CharacteristicExponents
type
type
ideal
→
returntype
constant
contactNumber
type
type
intvec
→
(
intvec
→
(
int
→
returntype
)
)
constant
ContactMatrix
type
type
ideal
→
returntype
constant
plainInvariants
type
type
ideal
→
returntype
constant
bound
type
type
poly
→
(
poly
→
returntype
)
constant
boundparam
type
type
poly
→
returntype