tropicalNewton.lib
constant setUniformizingParameter
constant val
constant newtonPolygonNegSlopes
constant listDot
constant lexSmallestVariableIndex
constant numbersLessThanAsRationalNumbers
constant expectedValuation
constant expectedNewtonPolygonNegSlopes
constant randomValuedNumber
constant listOfNumbersToMatrix
constant cccMatrixToPositiveIntvec
constant oneVector
constant addOneVectorUntilPositive
constant tropicalPointNewton
constant sumOfLeadExpV
constant isTriangularSet
constant tropicalVarietyNewton
constant switchRingsAndComputeInitialIdeal
constant pivotIndices
constant varstrIntvec
constant substRing
constant extendTropNewton
constant mergeTropNewton
constant tropicalLinkNewton