QEtaQSeriesInfinityTool C¶

qetaqseriesinf.spad line 348 [edit on github]

C: Ring

QEtaQSeriesInfinityTool provides functions to expand the various specifications available in QEta into Puiseux and Laurent series in $q=exp(2pi itau)$.

1: %: from MagmaWithUnit

*: (%, %) -> %: from Magma

=: (%, %) -> Boolean: from BasicType

^: (%, NonNegativeInteger) -> %: from MagmaWithUnit
^: (%, PositiveInteger) -> %: from Magma

~=: (%, %) -> Boolean: from BasicType

coerce: % -> OutputForm: from CoercibleTo OutputForm

latex: % -> String: from SetCategory

laurentExpansion: QEtaSpecification -> QEtaLaurentSeries C: laurentExpansion(x) returns the $q$ expansion of x as a Laurent series.

laurentExpansion: QEtaSpecificationExpression C -> QEtaLaurentSeries C if C has Field: laurentExpansion(x) returns the $q$ expansion of x as a Laurent series.

laurentExpansion: QEtaSpecificationExpressionMonomial -> QEtaLaurentSeries C if C has Field: laurentExpansion(x) returns the $q$ expansion of x as a Laurent series.

laurentExpansion: QGeneratingFunctionSpecification -> QEtaLaurentSeries C if C has Field: laurentExpansion(x) returns the $q$ expansion of x as a Laurent series.

laurentExpansion: QGeneratingFunctionVariable -> QEtaLaurentSeries C: laurentExpansion(x) returns the $q$ expansion of x as a Laurent series.

laurentExpansion: QPochhammerSpecification -> QEtaLaurentSeries C: laurentExpansion(x) returns the $q$ expansion of x as a Laurent series.

laurentExpansion: XGeneratingFunctionSpecification -> QEtaLaurentSeries C if C has Field: laurentExpansion(x) returns the $q$ expansion of x as a Laurent series.

leftPower: (%, NonNegativeInteger) -> %: from MagmaWithUnit
leftPower: (%, PositiveInteger) -> %: from Magma

leftRecip: % -> Union(%, failed): from MagmaWithUnit

one?: % -> Boolean: from MagmaWithUnit

puiseuxExpansion: QEtaSpecification -> QEtaPuiseuxSeries C: puiseuxExpansion(x) returns the $q$ expansion of x as a Puiseux series.

puiseuxExpansion: QEtaSpecificationExpression C -> QEtaPuiseuxSeries C if C has Field: puiseuxExpansion(x) returns the $q$ expansion of x as a Puiseux series.

puiseuxExpansion: QEtaSpecificationExpressionMonomial -> QEtaPuiseuxSeries C if C has Field: puiseuxExpansion(x) returns the $q$ expansion of x as a Puiseux series.

puiseuxExpansion: QGeneratingFunctionSpecification -> QEtaPuiseuxSeries C if C has Field: puiseuxExpansion(x) returns the $q$ expansion of x as a Puiseux series.

puiseuxExpansion: QGeneratingFunctionVariable -> QEtaPuiseuxSeries C: puiseuxExpansion(x) returns the $q$ expansion of x as a Puiseux series.

puiseuxExpansion: QPochhammerSpecification -> QEtaPuiseuxSeries C: puiseuxExpansion(x) returns the $q$ expansion of x as a Puiseux series.

puiseuxExpansion: XGeneratingFunctionSpecification -> QEtaPuiseuxSeries C if C has Field: puiseuxExpansion(x) returns the $q$ expansion of x as a Puiseux series.

recip: % -> Union(%, failed): from MagmaWithUnit

rightPower: (%, NonNegativeInteger) -> %: from MagmaWithUnit
rightPower: (%, PositiveInteger) -> %: from Magma

rightRecip: % -> Union(%, failed): from MagmaWithUnit

sample: %: from MagmaWithUnit

BasicType

CoercibleTo OutputForm