QEtaPuiseuxSeries CΒΆ

qetaser.spad line 387 [edit on github]

undocumented

0: %

from AbelianMonoid

1: %

from MagmaWithUnit

*: (%, %) -> %

from Magma

*: (%, C) -> %

from RightModule C

*: (%, Fraction Integer) -> % if C has Algebra Fraction Integer

from RightModule Fraction Integer

*: (C, %) -> %

from LeftModule C

*: (Fraction Integer, %) -> % if C has Algebra Fraction Integer

from LeftModule Fraction Integer

*: (Integer, %) -> %

from AbelianGroup

*: (NonNegativeInteger, %) -> %

from AbelianMonoid

*: (PositiveInteger, %) -> %

from AbelianSemiGroup

+: (%, %) -> %

from AbelianSemiGroup

-: % -> %

from AbelianGroup

-: (%, %) -> %

from AbelianGroup

/: (%, %) -> % if C has Field

from Field

/: (%, C) -> % if C has Field

from AbelianMonoidRing(C, Fraction Integer)

=: (%, %) -> Boolean

from BasicType

^: (%, %) -> % if C has Algebra Fraction Integer

from ElementaryFunctionCategory

^: (%, Fraction Integer) -> % if C has Algebra Fraction Integer

from RadicalCategory

^: (%, Integer) -> % if C has Field

from DivisionRing

^: (%, NonNegativeInteger) -> %

from MagmaWithUnit

^: (%, PositiveInteger) -> %

from Magma

~=: (%, %) -> Boolean

from BasicType

acos: % -> % if C has Algebra Fraction Integer

from ArcTrigonometricFunctionCategory

acosh: % -> % if C has Algebra Fraction Integer

from ArcHyperbolicFunctionCategory

acot: % -> % if C has Algebra Fraction Integer

from ArcTrigonometricFunctionCategory

acoth: % -> % if C has Algebra Fraction Integer

from ArcHyperbolicFunctionCategory

acsc: % -> % if C has Algebra Fraction Integer

from ArcTrigonometricFunctionCategory

acsch: % -> % if C has Algebra Fraction Integer

from ArcHyperbolicFunctionCategory

annihilate?: (%, %) -> Boolean

from Rng

antiCommutator: (%, %) -> %

from NonAssociativeSemiRng

approximate: (%, Fraction Integer) -> C if C has ^: (C, Fraction Integer) -> C and C has coerce: Symbol -> C

from UnivariatePowerSeriesCategory(C, Fraction Integer)

asec: % -> % if C has Algebra Fraction Integer

from ArcTrigonometricFunctionCategory

asech: % -> % if C has Algebra Fraction Integer

from ArcHyperbolicFunctionCategory

asin: % -> % if C has Algebra Fraction Integer

from ArcTrigonometricFunctionCategory

asinh: % -> % if C has Algebra Fraction Integer

from ArcHyperbolicFunctionCategory

associates?: (%, %) -> Boolean if C has IntegralDomain

from EntireRing

associator: (%, %, %) -> %

from NonAssociativeRng

atan: % -> % if C has Algebra Fraction Integer

from ArcTrigonometricFunctionCategory

atanh: % -> % if C has Algebra Fraction Integer

from ArcHyperbolicFunctionCategory

center: % -> C

from UnivariatePowerSeriesCategory(C, Fraction Integer)

characteristic: () -> NonNegativeInteger

from NonAssociativeRing

charthRoot: % -> Union(%, failed) if C has CharacteristicNonZero

from CharacteristicNonZero

coefficient: (%, Fraction Integer) -> C

from AbelianMonoidRing(C, Fraction Integer)

coerce: % -> % if C has CommutativeRing

from Algebra %

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: C -> % if C has CommutativeRing

from Algebra C

coerce: Fraction Integer -> % if C has Algebra Fraction Integer

from Algebra Fraction Integer

coerce: Integer -> %

from NonAssociativeRing

commutator: (%, %) -> %

from NonAssociativeRng

complete: % -> %

from PowerSeriesCategory(C, Fraction Integer, SingletonAsOrderedSet)

construct: List Record(k: Fraction Integer, c: C) -> %

from IndexedProductCategory(C, Fraction Integer)

constructOrdered: List Record(k: Fraction Integer, c: C) -> %

from IndexedProductCategory(C, Fraction Integer)

cos: % -> % if C has Algebra Fraction Integer

from TrigonometricFunctionCategory

cosh: % -> % if C has Algebra Fraction Integer

from HyperbolicFunctionCategory

cot: % -> % if C has Algebra Fraction Integer

from TrigonometricFunctionCategory

coth: % -> % if C has Algebra Fraction Integer

from HyperbolicFunctionCategory

csc: % -> % if C has Algebra Fraction Integer

from TrigonometricFunctionCategory

csch: % -> % if C has Algebra Fraction Integer

from HyperbolicFunctionCategory

D: % -> % if C has *: (Fraction Integer, C) -> C

from DifferentialRing

D: (%, List Symbol) -> % if C has PartialDifferentialRing Symbol and C has *: (Fraction Integer, C) -> C

from PartialDifferentialRing Symbol

D: (%, List Symbol, List NonNegativeInteger) -> % if C has PartialDifferentialRing Symbol and C has *: (Fraction Integer, C) -> C

from PartialDifferentialRing Symbol

D: (%, NonNegativeInteger) -> % if C has *: (Fraction Integer, C) -> C

from DifferentialRing

D: (%, Symbol) -> % if C has PartialDifferentialRing Symbol and C has *: (Fraction Integer, C) -> C

from PartialDifferentialRing Symbol

D: (%, Symbol, NonNegativeInteger) -> % if C has PartialDifferentialRing Symbol and C has *: (Fraction Integer, C) -> C

from PartialDifferentialRing Symbol

degree: % -> Fraction Integer

from PowerSeriesCategory(C, Fraction Integer, SingletonAsOrderedSet)

differentiate: % -> % if C has *: (Fraction Integer, C) -> C

from DifferentialRing

differentiate: (%, List Symbol) -> % if C has PartialDifferentialRing Symbol and C has *: (Fraction Integer, C) -> C

from PartialDifferentialRing Symbol

differentiate: (%, List Symbol, List NonNegativeInteger) -> % if C has PartialDifferentialRing Symbol and C has *: (Fraction Integer, C) -> C

from PartialDifferentialRing Symbol

differentiate: (%, NonNegativeInteger) -> % if C has *: (Fraction Integer, C) -> C

from DifferentialRing

differentiate: (%, Symbol) -> % if C has PartialDifferentialRing Symbol and C has *: (Fraction Integer, C) -> C

from PartialDifferentialRing Symbol

differentiate: (%, Symbol, NonNegativeInteger) -> % if C has PartialDifferentialRing Symbol and C has *: (Fraction Integer, C) -> C

from PartialDifferentialRing Symbol

divide: (%, %) -> Record(quotient: %, remainder: %) if C has Field

from EuclideanDomain

elt: (%, %) -> %

from Eltable(%, %)

elt: (%, Fraction Integer) -> C

from UnivariatePowerSeriesCategory(C, Fraction Integer)

euclideanSize: % -> NonNegativeInteger if C has Field

from EuclideanDomain

eval: (%, C) -> Stream C if C has ^: (C, Fraction Integer) -> C

from UnivariatePowerSeriesCategory(C, Fraction Integer)

exp: % -> % if C has Algebra Fraction Integer

from ElementaryFunctionCategory

expressIdealMember: (List %, %) -> Union(List %, failed) if C has Field

from PrincipalIdealDomain

exquo: (%, %) -> Union(%, failed) if C has IntegralDomain

from EntireRing

extend: (%, Fraction Integer) -> %

from UnivariatePowerSeriesCategory(C, Fraction Integer)

extendedEuclidean: (%, %) -> Record(coef1: %, coef2: %, generator: %) if C has Field

from EuclideanDomain

extendedEuclidean: (%, %, %) -> Union(Record(coef1: %, coef2: %), failed) if C has Field

from EuclideanDomain

factor: % -> Factored % if C has Field

from UniqueFactorizationDomain

gcd: (%, %) -> % if C has Field

from GcdDomain

gcd: List % -> % if C has Field

from GcdDomain

gcdPolynomial: (SparseUnivariatePolynomial %, SparseUnivariatePolynomial %) -> SparseUnivariatePolynomial % if C has Field

from GcdDomain

integrate: % -> % if C has Algebra Fraction Integer

from UnivariateSeriesWithRationalExponents(C, Fraction Integer)

integrate: (%, Symbol) -> % if C has integrate: (C, Symbol) -> C and C has Algebra Fraction Integer and C has variables: C -> List Symbol

from UnivariateSeriesWithRationalExponents(C, Fraction Integer)

inv: % -> % if C has Field

from DivisionRing

latex: % -> String

from SetCategory

lcm: (%, %) -> % if C has Field

from GcdDomain

lcm: List % -> % if C has Field

from GcdDomain

lcmCoef: (%, %) -> Record(llcm_res: %, coeff1: %, coeff2: %) if C has Field

from LeftOreRing

leadingCoefficient: % -> C

from PowerSeriesCategory(C, Fraction Integer, SingletonAsOrderedSet)

leadingMonomial: % -> %

from PowerSeriesCategory(C, Fraction Integer, SingletonAsOrderedSet)

leadingSupport: % -> Fraction Integer

from IndexedProductCategory(C, Fraction Integer)

leadingTerm: % -> Record(k: Fraction Integer, c: C)

from IndexedProductCategory(C, Fraction Integer)

leftPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

leftPower: (%, PositiveInteger) -> %

from Magma

leftRecip: % -> Union(%, failed)

from MagmaWithUnit

log: % -> % if C has Algebra Fraction Integer

from ElementaryFunctionCategory

map: (C -> C, %) -> %

from IndexedProductCategory(C, Fraction Integer)

monomial?: % -> Boolean

from IndexedProductCategory(C, Fraction Integer)

monomial: (C, Fraction Integer) -> %

from IndexedProductCategory(C, Fraction Integer)

multiEuclidean: (List %, %) -> Union(List %, failed) if C has Field

from EuclideanDomain

multiplyExponents: (%, Fraction Integer) -> %

from UnivariatePuiseuxSeriesCategory C

multiplyExponents: (%, PositiveInteger) -> %

from UnivariatePowerSeriesCategory(C, Fraction Integer)

nthRoot: (%, Integer) -> % if C has Algebra Fraction Integer

from RadicalCategory

one?: % -> Boolean

from MagmaWithUnit

opposite?: (%, %) -> Boolean

from AbelianMonoid

order: % -> Fraction Integer

from UnivariatePowerSeriesCategory(C, Fraction Integer)

order: (%, Fraction Integer) -> Fraction Integer

from UnivariatePowerSeriesCategory(C, Fraction Integer)

pi: () -> % if C has Algebra Fraction Integer

from TranscendentalFunctionCategory

plenaryPower: (%, PositiveInteger) -> % if C has CommutativeRing or C has Algebra Fraction Integer

from NonAssociativeAlgebra %

pole?: % -> Boolean

from PowerSeriesCategory(C, Fraction Integer, SingletonAsOrderedSet)

prime?: % -> Boolean if C has Field

from UniqueFactorizationDomain

principalIdeal: List % -> Record(coef: List %, generator: %) if C has Field

from PrincipalIdealDomain

puiseux: (Fraction Integer, QEtaLaurentSeries C) -> %

puiseux(r, s) creates a Puiseux series by replacing the variable q of a by q^r.

qetaLaurentRep: % -> QEtaLaurentSeries C

qetaLaurentRep(x) returns the underlying Laurent representation of the Puiseux series. This might return a Laurent series that has 0 as its leading coefficient.

quo: (%, %) -> % if C has Field

from EuclideanDomain

rationalPower: % -> Fraction Integer

rationalPower(p(q)) returns a rational number r such that the p(q) = l(q^r) for some Laurent series l.

recip: % -> Union(%, failed)

from MagmaWithUnit

reductum: % -> %

from IndexedProductCategory(C, Fraction Integer)

rem: (%, %) -> % if C has Field

from EuclideanDomain

removeZeroes: (%, Fraction Integer) -> %

removeZeroes(x, ord) returns a Puiseux series z with initial zeroes removed. Such that either degree(z)>ord or degree(z)<=ord and leadingCoefficient(z)~=0.

rightPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

rightPower: (%, PositiveInteger) -> %

from Magma

rightRecip: % -> Union(%, failed)

from MagmaWithUnit

sample: %

from AbelianMonoid

sec: % -> % if C has Algebra Fraction Integer

from TrigonometricFunctionCategory

sech: % -> % if C has Algebra Fraction Integer

from HyperbolicFunctionCategory

series: (NonNegativeInteger, Stream Record(k: Fraction Integer, c: C)) -> %

from UnivariatePuiseuxSeriesCategory C

sin: % -> % if C has Algebra Fraction Integer

from TrigonometricFunctionCategory

sinh: % -> % if C has Algebra Fraction Integer

from HyperbolicFunctionCategory

sizeLess?: (%, %) -> Boolean if C has Field

from EuclideanDomain

sqrt: % -> % if C has Algebra Fraction Integer

from RadicalCategory

squareFree: % -> Factored % if C has Field

from UniqueFactorizationDomain

squareFreePart: % -> % if C has Field

from UniqueFactorizationDomain

subtractIfCan: (%, %) -> Union(%, failed)

from CancellationAbelianMonoid

tan: % -> % if C has Algebra Fraction Integer

from TrigonometricFunctionCategory

tanh: % -> % if C has Algebra Fraction Integer

from HyperbolicFunctionCategory

terms: % -> Stream Record(k: Fraction Integer, c: C)

from UnivariatePowerSeriesCategory(C, Fraction Integer)

truncate: (%, Fraction Integer) -> %

from UnivariatePowerSeriesCategory(C, Fraction Integer)

truncate: (%, Fraction Integer, Fraction Integer) -> %

from UnivariatePowerSeriesCategory(C, Fraction Integer)

unit?: % -> Boolean if C has IntegralDomain

from EntireRing

unitCanonical: % -> % if C has IntegralDomain

from EntireRing

unitNormal: % -> Record(unit: %, canonical: %, associate: %) if C has IntegralDomain

from EntireRing

variable: % -> Symbol

from UnivariatePowerSeriesCategory(C, Fraction Integer)

zero?: % -> Boolean

from AbelianMonoid

AbelianGroup

AbelianMonoid

AbelianMonoidRing(C, Fraction Integer)

AbelianProductCategory C

AbelianSemiGroup

Algebra % if C has CommutativeRing

Algebra C if C has CommutativeRing

Algebra Fraction Integer if C has Algebra Fraction Integer

ArcHyperbolicFunctionCategory if C has Algebra Fraction Integer

ArcTrigonometricFunctionCategory if C has Algebra Fraction Integer

BasicType

BiModule(%, %)

BiModule(C, C)

BiModule(Fraction Integer, Fraction Integer) if C has Algebra Fraction Integer

CancellationAbelianMonoid

canonicalsClosed if C has Field

canonicalUnitNormal if C has Field

CharacteristicNonZero if C has CharacteristicNonZero

CharacteristicZero if C has CharacteristicZero

CoercibleTo OutputForm

CommutativeRing if C has CommutativeRing

CommutativeStar if C has CommutativeRing

DifferentialRing if C has *: (Fraction Integer, C) -> C

DivisionRing if C has Field

ElementaryFunctionCategory if C has Algebra Fraction Integer

Eltable(%, %)

EntireRing if C has IntegralDomain

EuclideanDomain if C has Field

Field if C has Field

GcdDomain if C has Field

HyperbolicFunctionCategory if C has Algebra Fraction Integer

IndexedProductCategory(C, Fraction Integer)

IntegralDomain if C has IntegralDomain

LeftModule %

LeftModule C

LeftModule Fraction Integer if C has Algebra Fraction Integer

LeftOreRing if C has Field

Magma

MagmaWithUnit

Module % if C has CommutativeRing

Module C if C has CommutativeRing

Module Fraction Integer if C has Algebra Fraction Integer

Monoid

NonAssociativeAlgebra % if C has CommutativeRing

NonAssociativeAlgebra C if C has CommutativeRing

NonAssociativeAlgebra Fraction Integer if C has Algebra Fraction Integer

NonAssociativeRing

NonAssociativeRng

NonAssociativeSemiRing

NonAssociativeSemiRng

noZeroDivisors if C has IntegralDomain

PartialDifferentialRing Symbol if C has PartialDifferentialRing Symbol and C has *: (Fraction Integer, C) -> C

PowerSeriesCategory(C, Fraction Integer, SingletonAsOrderedSet)

PrincipalIdealDomain if C has Field

RadicalCategory if C has Algebra Fraction Integer

RightModule %

RightModule C

RightModule Fraction Integer if C has Algebra Fraction Integer

Ring

Rng

SemiGroup

SemiRing

SemiRng

SetCategory

TranscendentalFunctionCategory if C has Algebra Fraction Integer

TrigonometricFunctionCategory if C has Algebra Fraction Integer

TwoSidedRecip if C has CommutativeRing

UniqueFactorizationDomain if C has Field

unitsKnown

UnivariatePowerSeriesCategory(C, Fraction Integer)

UnivariatePuiseuxSeriesCategory C

UnivariateSeriesWithRationalExponents(C, Fraction Integer)

VariablesCommuteWithCoefficients