tropicalNewton.lib
constant setUniformizingParameter
typenumberreturntype
constant val
typenumberreturntype
constant newtonPolygonNegSlopes
typelist(polyreturntype)
constant listDot
typeintvec(listreturntype)
constant lexSmallestVariableIndex
typepolyreturntype
constant numbersLessThanAsRationalNumbers
typenumber(numberreturntype)
constant expectedValuation
typelist(polyreturntype)
constant expectedNewtonPolygonNegSlopes
typelist(list(polyreturntype))
constant randomValuedNumber
typelistreturntype
constant listOfNumbersToMatrix
typelistreturntype
constant cccMatrixToPositiveIntvec
typematrixreturntype
constant oneVector
typeintreturntype
constant addOneVectorUntilPositive
typeintvecreturntype
constant tropicalPointNewton
typelist(idealreturntype)
constant sumOfLeadExpV
typepolyreturntype
constant isTriangularSet
typeidealreturntype
constant tropicalVarietyNewton
typeidealreturntype
constant switchRingsAndComputeInitialIdeal
typeintvec(idealreturntype)
constant pivotIndices
typematrixreturntype
constant varstrIntvec
typeintvecreturntype
constant substRing
typestring(intreturntype)
constant extendTropNewton
typeintvec(number(int(matrixreturntype)))
constant mergeTropNewton
typeintvec(number(int(list(listreturntype))))
constant tropicalLinkNewton
typeidealreturntype