equising.lib
constant
xyVector
type
type
returntype
constant
swapXY
type
type
poly
→
returntype
constant
m_Jet
type
type
int
→
(
poly
→
returntype
)
constant
control_Matrix
type
type
list
→
returntype
constant
inf_Tangents
type
type
int
→
(
list
→
returntype
)
constant
Determine_no_b
type
type
matrix
→
(
intmat
→
returntype
)
constant
no_freePoints
type
type
matrix
→
(
intmat
→
returntype
)
constant
makeMinPolyString
type
type
string
→
returntype
constant
createMyRing_new
type
type
int
→
(
string
→
(
string
→
(
poly
→
returntype
)
)
)
constant
determine_coef
type
type
poly
→
returntype
constant
checkPoly
type
type
poly
→
returntype
constant
make_ring_small
type
type
ideal
→
returntype
constant
esComputation
type
type
list
→
(
poly
→
(
int
→
returntype
)
)
constant
tau_es
type
type
list
→
(
poly
→
returntype
)
constant
esIdeal
type
type
list
→
(
poly
→
returntype
)
constant
esStratum
type
type
list
→
(
poly
→
returntype
)
constant
isEquising
type
type
list
→
(
poly
→
returntype
)