Creation of Newton Polygons
NewtonPolygon(f) : RngMPolElt -> NwtnPgon
NewtonPolygon(f) : RngUPolElt -> NwtnPgon
NewtonPolygon(C) : Crv -> NwtnPgon
NewtonPolygon(V) : SeqEnum -> NwtnPgon
DefiningPoints(N) : NwtnPgon -> SeqEnum
Example Newton_create-ex (H58E1)
Vertices and Faces of polygons
Faces(N) : NwtnPgon -> SeqEnum
InnerFaces(N) : NwtnPgon -> SeqEnum
LowerFaces(N) : NwtnPgon -> SeqEnum
OuterFaces(N) : NwtnPgon -> SeqEnum
AllFaces(N) : NwtnPgon -> SeqEnum
Example Newton_faces-ex (H58E2)
Vertices(N) : NwtnPgon -> SeqEnum
InnerVertices(N) : NwtnPgon -> SeqEnum
LowerVertices(N) : NwtnPgon -> SeqEnum
OuterVertices(N) : NwtnPgon -> SeqEnum
AllVertices(N) : NwtnPgon -> SeqEnum
Example Newton_vertices-ex (H58E3)
EndVertices(F) : NwtnPgon, NwtnPgonFace -> SeqEnum
FacesContaining(N,p) : NwtnPgon,Tup -> SeqEnum
Example Newton_sp-vertices-ex (H58E4)
GradientVector(F) : NwtnPgonFace -> Tup
Weight(F) : NwtnPgonFace -> RngIntElt
Example Newton_grad-ex (H58E5)
Tests for Points and Faces
IsFace(N, F) : NwtnPgon,Tup -> BoolElt
IsVertex(N, p) : NwtnPgon,Tup -> BoolElt
IsInterior(N,p) : NwtnPgon,Tup -> BoolElt
IsBoundary(N, p) : NwtnPgon,Tup -> BoolElt
IsPoint(N,p) : NwtnPgon,Tup -> BoolElt
Polynomials Associated with Newton Polygons
HasPolynomial(N) : NwtnPgon -> BoolElt
Polynomial(N) : NwtnPgon -> RngElt
ParentRing(N) : NwtnPgon -> Rng
FaceFunction(F) : NwtnPgon,Tup -> RngElt
[Future release] IsDegenerate(F) : NwtnPgon,Tup -> BoolElt
[Future release] IsDegenerate(N) : NwtnPgon -> BoolElt
Operations on Polynomials which use Newton Polygons
SetVerbose("Newton", v) : MonStgElt, RngIntElt ->
Operations not associated with Duval's Algorithm
PuiseuxExpansion(f, n) : RngUPolElt, RngIntElt -> SeqEnum[RngSerPuisElt]
ExpandToPrecision(f, c, n) : RngUPolElt, RngSerPuisElt -> RngSerPuisElt
ImplicitFunction(f, d, n) : RngUPolElt, RngIntElt, RngIntElt -> RngSerElt
Example Newton_poly-ops-ex (H58E6)
IsPartialRoot(f, c) : RngUPolElt, RngSerElt -> BoolElt
IsUniquePartialRoot(f, c) : RngUPolElt, RngSerElt -> BoolElt
Example Newton_pol-is (H58E7)
PuiseuxExponents(p) : RngSerElt -> SeqEnum
PuiseuxExponentsCommon(p, q) : RngSerElt, RngSerElt -> SeqEnum
Example Newton_exps (H58E8)
Operations associated with Duval's algorithm
DuvalPuiseuxExpansion(f, n) : RngUPolElt, RngIntElt -> SeqEnum
ParametrizationToPuiseux(T) : Tup -> SeqEnum
PuiseuxToParametrization(S) : RngSerElt -> Tup
Example Newton_duval-ex (H58E9)
Roots of Polynomials
Roots(f) : RngUPolElt -> [<RngSerElt, RngIntElt>]
HasRoot(f) : RngUPolElt -> BoolElt, RngSerElt