tropicalNewton.lib
constant
setUniformizingParameter
type
type
number
→
returntype
constant
val
type
type
number
→
returntype
constant
newtonPolygonNegSlopes
type
type
list
→
(
poly
→
returntype
)
constant
listDot
type
type
intvec
→
(
list
→
returntype
)
constant
lexSmallestVariableIndex
type
type
poly
→
returntype
constant
numbersLessThanAsRationalNumbers
type
type
number
→
(
number
→
returntype
)
constant
expectedValuation
type
type
list
→
(
poly
→
returntype
)
constant
expectedNewtonPolygonNegSlopes
type
type
list
→
(
list
→
(
poly
→
returntype
)
)
constant
randomValuedNumber
type
type
list
→
returntype
constant
listOfNumbersToMatrix
type
type
list
→
returntype
constant
cccMatrixToPositiveIntvec
type
type
matrix
→
returntype
constant
oneVector
type
type
int
→
returntype
constant
addOneVectorUntilPositive
type
type
intvec
→
returntype
constant
tropicalPointNewton
type
type
list
→
(
ideal
→
returntype
)
constant
sumOfLeadExpV
type
type
poly
→
returntype
constant
isTriangularSet
type
type
ideal
→
returntype
constant
tropicalVarietyNewton
type
type
ideal
→
returntype
constant
switchRingsAndComputeInitialIdeal
type
type
intvec
→
(
ideal
→
returntype
)
constant
pivotIndices
type
type
matrix
→
returntype
constant
varstrIntvec
type
type
intvec
→
returntype
constant
substRing
type
type
string
→
(
int
→
returntype
)
constant
extendTropNewton
type
type
intvec
→
(
number
→
(
int
→
(
matrix
→
returntype
)
)
)
constant
mergeTropNewton
type
type
intvec
→
(
number
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
)
constant
tropicalLinkNewton
type
type
ideal
→
returntype