PreNewtonPuiseux K

newtonpuiseux.spad line 205 [edit on github]

• K: Field

A container that holds all data necessary to create the respective Puiseux series in case maxidx = #arr.

#: % -> NonNegativeInteger

coerce: % -> OutputForm

from CoercibleTo OutputForm

elt: (%, NonNegativeInteger) -> Record(mons: List Record(k: Fraction Integer, c: K), curpol: SparseUnivariatePolynomial PolynomialRing(K, Fraction Integer))

extend!: (%, Record(mons: List Record(k: Fraction Integer, c: K), curpol: SparseUnivariatePolynomial PolynomialRing(K, Fraction Integer))) -> Record(mons: List Record(k: Fraction Integer, c: K), curpol: SparseUnivariatePolynomial PolynomialRing(K, Fraction Integer))

maxIndex: % -> NonNegativeInteger

new: (NonNegativeInteger, List Record(k: Fraction Integer, c: K), SparseUnivariatePolynomial PolynomialRing(K, Fraction Integer)) -> %

setelt!: (%, NonNegativeInteger, Record(mons: List Record(k: Fraction Integer, c: K), curpol: SparseUnivariatePolynomial PolynomialRing(K, Fraction Integer))) -> Record(mons: List Record(k: Fraction Integer, c: K), curpol: SparseUnivariatePolynomial PolynomialRing(K, Fraction Integer))

CoercibleTo OutputForm