NewtonPolygon K

newtonpuiseux.spad line 105 [edit on github]

• K: Join(Field, OrderedSet)

Implement Newton polygon computation

pointsOfNewtonPolygon: List Point K -> List Point K

pointsOfNewtonPolygon(points) returns the vertices of the Newton polygon corresponding to points.

slopePointsOfNewtonPolygon: List Point K -> List Record(slope: K, points: List Point K)

slopePointsOfNewtonPolygon(points) returns the slopes of the Newton polygon corresponding to p together with the points forming this slope.