Index

Symbols

* QEtaAlgebra, [1] QEtaLazyAlgebra QEtaSpecificationExpression, [1], [2], [3], [4], [5] QEtaSpecificationExpressionMonomial, [1], [2], [3], [4], [5] QGeneratingFunctionSpecification, [1], [2] + QEtaAlgebra - QEtaAlgebra, [1] / QEtaAlgebraCachedSamba QEtaExtendedAlgebra QEtaPowerGradedAlgebra QEtaSpecificationExpression

0 QEtaAlgebra 1 QEtaAlgebra ^ QEtaAlgebra QGeneratingFunctionSpecification

A

absList AlgebraicNumberTool addBasisElementPairs! QEtaComputation addGapPair! QEtaComputation addGapPairs! QEtaComputation addPair! QEtaComputation addWeight QEtaWeightedDomain algebraBasis QEtaComputationCategory QEtaRamanujanKolbergIdentity AlgebraicNumberTool absList approximateNestedRadical approximateNthRoot combineCommonSqrt combineIntegerRoot? combinePositiveIntegerRoot? combineSameRoot? combineSqrtFactors complexValue integerRootFactor integerRootFactorK integerRootKernel? integerRootKernels isSqrt mapOverFactors recursiveRootSimplification recursiveRootSimplificationPoly rootCombine rootFactor rootFactorK rootFactorPol simpler? simplifyRadicals sqrtArgument sqrtSum sqrtSumArguments

algebraicRelations QEtaIdealCategory, [1] allGeneralizedEtaFunctionIndices QEtaSpecification allPureExponents QEtaSpecification alphaInfinity QEtaRamanujanKolbergIdentity QEtaSpecification alphaOrbitInfinity QEtaRamanujanKolbergIdentity alphaSchoenebergContribution QEtaAuxiliaryPackage applyLambdaTransformation QEtaModularLambdaTools approximateNestedRadical AlgebraicNumberTool approximateNthRoot AlgebraicNumberTool approximatesPi? QEtaOneOverPiQ

B

balance QEtaAuxiliaryPackage basefactor SymbolicModularEtaQuotientGamma basis QEtaAlgebraBasisCategory, [1] QEtaComputation QEtaComputationModularEquation

basisElements QEtaAlgebraBasis QEtaPowerAlgebraBasisCategory

C

CachedPower power!, [1] CachedPowerScaled elt, [1] CachedQFunctions eulerFunctionPower jacobiFunctionPower kleinJInvariantPower modularLambdaPower thetaPower4 candidateLevelsCoEtaQuotient QModularGammaCategory cdExponent SymbolicEtaGamma SymbolicEtaQuotientLambdaGamma chineseRemainder QEtaAuxiliaryPackage choose QEtaLaurentSeriesCategory QGeneratingFunctionSpecification QGeneratingFunctionVariable chudnovskyA2tau QEtaOneOverPiQ chudnovskyABFCoefficients QEtaOneOverPiQ chudnovskyB2tauCandidates QEtaOneOverPiQ chudnovskyChi QEtaOneOverPiQ chudnovskyContainsOneOverPiInterval? QEtaOneOverPiQ chudnovskyModularPolynomial QEtaOneOverPiQ chudnovskyOneOverPiFormula QEtaOneOverPiQ chudnovskyOneOverPiSummand QEtaOneOverPiQ chudnovskySelectABF QEtaOneOverPiQ classicalModularPolynomial QEtaClassicalModularPolynomial, [1], [2], [3] clearCache! QEtaAlgebraCachedSamba clearDenominator QAuxiliaryTools clearDenominators X4ti2 coefficient QEtaRamanujanKolbergIdentity coefficientSymbol QGeneratingFunctionVariable coerce Cusp ModularEtaQuotientQSeriesInfinityTools, [1] ModularFunctionQSeries ModularFunctionQSeriesConstructor ModularFunctionQSeriesInfinity, [1] PolynomialConversion, [1] QEtaAlgebra QEtaAlgebraCachedSamba QEtaCheckingTruncatedLaurentSeries QEtaExtendedAlgebraBasis QEtaLazyAlgebra, [1] QEtaPolynomialAlgebra, [1] QEtaPowerPolynomialAlgebra QEtaTruncatedTaylorSeries, [1] TruncatedModularFunctionQSeriesInfinity, [1] cofactor SymbolicModularEtaQuotientGamma combineCommonSqrt AlgebraicNumberTool combineIntegerRoot? AlgebraicNumberTool combinePositiveIntegerRoot? AlgebraicNumberTool combineSameRoot? AlgebraicNumberTool combineSqrtFactors AlgebraicNumberTool complexValue AlgebraicNumberTool component QEtaPowerAlgebraBasisCategory computePairs! QEtaComputation computeReducedCusps QEtaModularLambdaAuxiliaryPackage conditionCoEtaQuotient? QModularGammaCategory

conditionEvenMultiplier? QEtaCofactorConditions conditionGSigma0? QEtaCofactorConditions conditionMmN? QEtaCofactorConditions conditionNDivisor? QEtaCofactorConditions conditionOrbitLength? QEtaCofactorConditions conditionPrimeDivisors? QEtaCofactorConditions conditionRho0ProperGeneralized? QEtaCofactorConditions conditionRho0Pure? QEtaCofactorConditions conditionSumExponentsProperGeneralized? QEtaCofactorConditions conditionSumExponentsPure? QEtaCofactorConditions CongruenceSubgroup cusps cuspToMatrix dimensionOfCuspForms dimensionOfEisensteinSubspace dimensionOfModularForms doubleCosetRepresentatives equivalentCusps? even? genus groupLevel index member? normalizeCusp nu2 nu3 numberOfCusps projectiveIndex rightCosetRepresentatives width, [1] CongruenceSubgroupGamma0 CongruenceSubgroupGamma1 CongruenceSubgroupGammaN constant? SymbolicModularEtaQuotient construct QEtaSpecificationMonomial QGeneratingFunctionVariable, [1] contains? QEtaAuxiliaryPackage containsOneOverPiInterval? QEtaOneOverPiQ continue? QEtaComputationCategory convergentInterval QEtaOneOverPiQ coSpecification QEtaRamanujanKolbergIdentity QEtaSpecificationMonomial SymbolicModularEtaQuotient countRoots QEtaAuxiliaryPackage cqD QEtaOneOverPi criticalElements? QEtaComputationCategory Cusp coerce cusp, [1] cuspToMatrix denom infinity infinity? moebiusTransform, [1] numer rational cusp Cusp, [1] cuspDeltaMatrices QEtaModularLambdaAuxiliaryPackage, [1] cuspMatrices QEtaModularGammaCategory cusps CongruenceSubgroup QEtaModularGammaCategory cuspToMatrix CongruenceSubgroup Cusp QEtaModularGammaCategory

D

decomposeIntoSTProduct QEtaFundamentalDomain dedekindSum QEtaAuxiliaryPackage definingDissection QEtaRamanujanKolbergIdentity definingSpecification QEtaRamanujanKolbergIdentity QEtaSpecificationMonomial QGeneratingFunctionVariable SymbolicEtaQuotientGamma SymbolicEtaQuotientLambdaGamma SymbolicModularEtaQuotient delta SymbolicEtaGamma denom Cusp QEtaSpecificationCategory QGeneratingFunctionSpecificationCategory

denomB QEtaOneOverPiLambda dilate QEtaSpecificationCategory QEtaSpecificationExpression QGeneratingFunctionSpecification QGeneratingFunctionVariable dimensionOfCuspForms CongruenceSubgroup dimensionOfEisensteinSubspace CongruenceSubgroup dimensionOfModularForms CongruenceSubgroup doubleCosetRepresentatives CongruenceSubgroup downloadClassicalModularPolynomial QEtaClassicalModularPolynomial

E

eisensteinE2 QFunctions, [1] eisensteinE4 QFunctions eisensteinE6 QFunctions elt CachedPowerScaled, [1] ModularFunctionQSeriesCategory SymbolicEtaQuotientGamma SymbolicEtaQuotientLambdaGamma SymbolicModularEtaQuotient embed QEtaAlgebraCachedSamba QEtaExtendedAlgebra equivalentCusps? CongruenceSubgroup equivalentCuspsByMatrices? QEtaModularLambdaAuxiliaryPackage estimatedWeightAfterReduction QEtaMultiReductionCategory estimateExpansionOrders QEtaOneOverPiLambda eta EtaQuotientQSeriesInfinity SymbolicEtaGamma etaCofactorInfinity QEtaModularPackage, [1], [2] etaCofactorNoPoles QEtaModularPackage etaCofactorNoPolesSystem QEtaModularPackage etaCofactorSpace QEtaModularGammaCategory QEtaModularPackage, [1] etaCofactorSpaceSystem QEtaModularGammaCategory etaEquation QEtaRamanujanKolbergIdentity etaExpression QEtaSpecificationExpression QEtaSpecificationExpressionMonomial etaFunctionIndices QEtaSpecification etaIdentityPolynomial QEtaRamanujanKolbergIdentity etaLaurentIdealGenerators QEtaIdealCategory, [1] etaLaurentIdealLists QEtaIdealCategory etaPart QEtaSpecificationExpressionMonomial etaPolynomial QEtaSpecification, [1], [2] etaPower EtaQuotientQSeriesInfinity etaQuotient QEtaSpecification SymbolicEtaQuotientGamma, [1] SymbolicEtaQuotientLambdaGamma SymbolicModularEtaQuotient, [1], [2], [3], [4], [5], [6] SymbolicModularEtaQuotientGamma, [1], [2], [3] etaQuotientIdealGenerators QEtaIdealCategory, [1], [2] etaQuotientInfinity EtaQuotientQSeriesInfinity etaQuotientInfinitySpecifications QEtaQuotientSpecifications4ti2 etaQuotientMonoidInfinitySpecifications QEtaQuotientSpecifications4ti2, [1] etaQuotientMonoidInfinitySystem QEtaModularGammaCategory etaQuotientMonoidInfinityZSpecifications QEtaQuotientSpecifications4ti2 etaQuotientMonoidNoPolesSolutions QEtaQuotientSpecifications4ti2 etaQuotientMonoidNoPolesSystem QEtaModularGammaCategory etaQuotientMonoidNoPolesZSpecifications QEtaQuotientSpecifications4ti2 etaQuotientMonoidSolutions QEtaQuotientSpecifications4ti2, [1], [2] etaQuotientMonoidSystem QEtaModularGammaCategory, [1], [2] etaQuotientMonoidZSpecifications QEtaQuotientSpecifications4ti2, [1], [2] EtaQuotientQSeriesInfinity eta etaPower etaQuotientInfinity eulerExpansion eulerExponent eulerFunctionPower generalizedEtaPower laurentExpansion prefactor puiseuxExpansion seriesPart

etaQuotientRepresentation QEtaRamanujanKolbergIdentity etaQuotientTraceExpansions SymbolicEtaQuotientQSeriesTools, [1] etaQuotientZSpecifications QEtaQuotientSpecifications4ti2 etaRationalFunction QEtaSpecification, [1], [2] etaRelations QEtaIdealCategory, [1], [2] eulerExpansion EtaQuotientQSeriesInfinity eulerExponent EtaQuotientQSeriesInfinity eulerFunction QFunctions eulerFunction2 QFunctions eulerFunctionPower CachedQFunctions EtaQuotientQSeriesInfinity eulerFunctionPower3 QFunctions eulerProduct QPochhammerSpecification eulerStream QFunctions eval PolynomialEvaluation, [1], [2], [3] evalAtModularLambda QEtaModularLambdaTools, [1] evaluate QEtaModularEquation even? CongruenceSubgroup exact? QEtaCheckingTruncatedLaurentSeries QEtaTruncatedLaurentSeries QEtaTruncatedTaylorSeries TruncatedModularFunctionQSeriesInfinity execute RunExternalCommand exIota1 QEtaOneOverPiLambda exIotaN QEtaOneOverPiLambda exp2PiI QEtaOneOverPiQ exp2PiIInterval QEtaOneOverPiQ expandB QEtaOneOverPiLambda expandK QEtaOneOverPiLambda expandL QEtaOneOverPiLambda expandPhiTerm QEtaOneOverPiLambda exponent QEtaSpecification, [1] QGeneratingFunctionSpecificationCategory QPochhammerSpecification, [1] exponentGcd QEtaLaurentSeriesCategory QEtaTaylorSeriesCategory exponents QEtaSpecification QPochhammerSpecification expPiI QEtaOneOverPiQ expPiIInterval QEtaOneOverPiQ expPrecisionOdd QEtaAuxiliaryPackage expression QEtaSpecification QPochhammerSpecification expTruncated QEtaOneOverPi extendedNormalForm QEtaGroebner, [1] extendedNormalForms QEtaGroebner extractNext! QEtaComputationCategory

F

f QEtaRamanujanKolbergIdentity failure? QEtaSpecificationMonomial findIdentity QEtaRamanujanKolberg, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] first QEtaExtendedAlgebra forgetWeight QEtaWeightedDomain

fractionalBernoulli1 QEtaAuxiliaryPackage fractionalBernoulli2 QEtaAuxiliaryPackage fractionalPart QEtaAuxiliaryPackage functionExpansionPair QEtaScalingCuspReduction

G

gamma1 SymbolicEtaGamma gammaCandidate SatoEigenValueProblem gammaCandidateWurm SatoEigenValueProblem gammaTauQCandidateAux SatoEigenValueProblem gammaTauQCandidates SatoEigenValueProblem gammaTauQCandidatesAux SatoEigenValueProblem gammaTauQCandidatesWurm SatoEigenValueProblem GaussRoot squareRoot squareRootOfRadicalInteger generalizedDedekindSum QEtaAuxiliaryPackage generalizedEtaFunctionIndices QEtaSpecification generalizedEtaPower EtaQuotientQSeriesInfinity generalizedEulerProduct QFunctions generatingFunction QGeneratingFunctionVariable, [1], [2], [3], [4], [5] genus CongruenceSubgroup QEtaModularGammaCategory getCache QEtaAlgebraCachedSamba gfPart QEtaSpecificationExpressionMonomial gosperABFCoefficients QEtaOneOverPiQ gosperAtau QEtaOneOverPiQ

gosperBtauCandidates QEtaOneOverPiQ gosperCheckModularPolynomial QEtaOneOverPiQ gosperContainsOneOverPiInterval? QEtaOneOverPiQ gosperIotaAt QEtaOneOverPiQ gosperIotaInterval QEtaOneOverPiQ gosperModularPolynomial QEtaOneOverPiQ, [1] gosperModularPolynomial1N QEtaOneOverPiQ gosperOneOverPiFormula QEtaOneOverPiQ gosperOneOverPiSummand QEtaOneOverPiQ gosperSelectABF QEtaOneOverPiQ greater? QEtaMultiWeightSorting greaterGrade? QEtaGradedAlgebra QEtaLinearReduction QEtaPowerReductionCategory groebner QEtaGroebner groebnerBasis QEtaGroebnerBasisTools groebnerEliminate QEtaGroebnerBasisTools groebnerExtend QEtaGroebner groupLevel CongruenceSubgroup QEtaModularGammaCategory guessEtaQuotientSpecification QEtaRepresentation, [1], [2]

H

hasEquivalentCuspByMatrices? QEtaModularLambdaAuxiliaryPackage

I

identifier QEtaAlgebraCachedSamba identity QEtaRamanujanKolbergIdentity identityPolynomial QEtaRamanujanKolbergIdentity index CongruenceSubgroup QAuxiliaryTools indexedSymbol QAuxiliaryTools indexedSymbols QAuxiliaryTools, [1], [2] indexPermutation QEtaPowerAlgebraBasisCategory indices QEtaSpecification QPochhammerSpecification infinity Cusp infinity? Cusp

initialize QEtaAlgebraBasisCategory QEtaComputationCategory, [1] QEtaPowerAlgebraBasisCategory integerPrimitivePart QAuxiliaryTools integerRootFactor AlgebraicNumberTool integerRootFactorK AlgebraicNumberTool integerRootKernel? AlgebraicNumberTool integerRootKernels AlgebraicNumberTool interMinimizeVectors QEtaAuxiliaryPackage inv QEtaSpecificationExpression isSqrt AlgebraicNumberTool

J

jacobiFunction QFunctions, [1] jacobiFunctionPower CachedQFunctions jacobiLowerStar QEtaAuxiliaryPackage jacobiThetaPermutation QEtaAuxiliaryPackage, [1]

jacobiThetaPermutation2 QEtaAuxiliaryPackage jacobiThetaUpsilonExponent QEtaAuxiliaryPackage jacobiUpperStar QEtaAuxiliaryPackage join SageMathTools

K

kappaSchoeneberg QEtaAuxiliaryPackage, [1] kappaYang QEtaAuxiliaryPackage, [1] kleinJAt QEtaOneOverPiQ kleinJInterval QEtaOneOverPiQ

kleinJInvariant QEtaQSeriesTools QFunctions kleinJInvariant0 QEtaQSeriesTools kleinJInvariantPower CachedQFunctions knownCommands RunExternalCommand

L

lambda SymbolicEtaGamma SymbolicEtaQuotientLambdaGamma laurent QEtaLaurentSeriesCategory QEtaQSeriesTools, [1] QEtaTruncatedLaurentSeries, [1] laurentExpansion EtaQuotientQSeriesInfinity QEtaQSeriesInfinityTool, [1], [2], [3], [4], [5], [6] SymbolicEtaQuotientQSeriesTools laurentExpansionInfinity ModularEtaQuotientQSeriesInfinityTools, [1] SymbolicEtaQuotientQSeriesTools laurentExpansions SymbolicEtaQuotientQSeriesTools, [1], [2] laurentRelations QEtaIdealCategory, [1] less? QEtaMultiWeightSorting

lessLex? QEtaMultiWeightSorting QEtaQuotientSortPackage lessWeight? QEtaWeightedDomain level QAuxiliaryTools, [1] QEtaSpecificationCategory QEtaSpecificationExpression QGeneratingFunctionSpecificationCategory QGeneratingFunctionVariable lift QPochhammerSpecification XGeneratingFunctionSpecification, [1] linearTransform QEtaLinearReduction, [1] listTranspose QEtaAuxiliaryPackage logDtheta4 QEtaOneOverPiLambda

M

makedir QEtaAuxiliaryPackage map QEtaLaurentSeriesFunctions2 mapn QEtaLaurentSeriesCategory QEtaTaylorSeriesCategory mapOverFactors AlgebraicNumberTool matrixAtkinLehner QEtaAuxiliaryPackage matrixEtaOrder QEtaModularGammaCategory matrixEtaOrderElement QEtaModularGammaCategory matrixEtaOrderFull QEtaModularGammaCategory matrixEtaOrderRow QEtaModularGammaCategory matrixLigozat QEtaModularGamma0 matrixLigozatElement QEtaModularGamma0 matrixModular QEtaModularGammaCategory maxIndex QEtaPowerGradedAlgebra member? CongruenceSubgroup QEtaGroebner minimalLevelCoEtaQuotient QModularGammaCategory, [1], [2] minimalRootOfUnity QEtaUserSupport, [1], [2], [3], [4], [5], [6], [7] SymbolicEtaGamma SymbolicEtaQuotientGamma SymbolicEtaQuotientLambdaGamma SymbolicModularEtaQuotient SymbolicModularEtaQuotientGamma minimalRootOfUnityForSquareRootOf MinimalSquareRoot minimalRootOfUnityForSquareRootOfRadicalInteger MinimalSquareRoot minimalRootOfUnityWithoutPrefactors SymbolicEtaGamma minimalRootOfUnityWithoutUnityExponent SymbolicEtaQuotientLambdaGamma MinimalSquareRoot minimalRootOfUnityForSquareRootOf minimalRootOfUnityForSquareRootOfRadicalInteger rationalSquareRoot minimizeOrderVectors QEtaModularPackage minimizeVector QEtaAuxiliaryPackage, [1] missingSpecificationForEta QPochhammerSpecification modular? QEtaModularGammaCategory, [1] QEtaUserSupport, [1] modularEtaQuotient ModularEtaQuotientQSeriesTools, [1] modularEtaQuotientInfinity ModularEtaQuotientQSeriesInfinityTools, [1], [2] ModularEtaQuotientQSeriesInfinityTools coerce, [1] laurentExpansionInfinity, [1] modularEtaQuotientInfinity, [1], [2] ModularEtaQuotientQSeriesTools modularEtaQuotient, [1] modularFunction, [1] modularFormGenerators QEtaModularFormGenerators4ti2, [1] modularFormSolutions QEtaModularFormGenerators4ti2, [1] modularFormSystem QEtaModularFormGeneratorsSystem, [1] QEtaModularFormSystem, [1]

modularFunction ModularEtaQuotientQSeriesTools, [1] modularFunctionInfinity QEtaUserSupport, [1] ModularFunctionQSeries coerce ModularFunctionQSeriesCategory elt removeZeroes, [1] series ModularFunctionQSeriesConstructor coerce ModularFunctionQSeriesInfinity coerce, [1] qetaTaylorRep modularGamma0 QEtaAuxiliaryPackage QEtaSpecification modularGamma0? QEtaAuxiliaryPackage QEtaSpecification modularGamma1 QEtaSpecification modularGamma1? QEtaSpecification modularLambdaInterval QEtaOneOverPiQ modularLambdaPower CachedQFunctions modularOrbit QEtaModularGammaCategory, [1] QModularGammaCategory, [1] modularPolynomial QEtaModularEquation, [1], [2], [3], [4] QEtaModularEquationPrimeField, [1], [2], [3] QEtaModularEquationQ, [1], [2] QEtaModularEquationT, [1], [2], [3], [4] modularPolynomialCached QEtaModularEquation, [1], [2], [3], [4], [5] moduleCoefficients QEtaRamanujanKolbergIdentity moduleRepresentation QEtaRamanujanKolbergIdentity moebiusTransform Cusp, [1] QEtaOneOverPi, [1] monoidGenerators QEtaQuotientMonoidTools monoidSpecifications QEtaRamanujanKolbergIdentity monomial QEtaSpecification QEtaSpecificationCategory, [1] QGeneratingFunctionSpecification QGeneratingFunctionSpecificationCategory XGeneratingFunctionSpecification monomialQuotient QEtaSpecification Monomials multiplier QEtaAlgebraBasisCategory QEtaRamanujanKolbergIdentity QEtaSpecificationMonomial QGeneratingFunctionVariable SymbolicEtaGamma SymbolicEtaQuotientGamma SymbolicEtaQuotientLambdaGamma SymbolicModularEtaQuotient multiplierPower! QEtaAlgebraBasisCategory multipliers QEtaPowerAlgebraBasisCategory multiplyExponents QEtaLaurentSeries QEtaTaylorSeries multisect QEtaTaylorSeriesCategory

N

nextIdentifier QEtaAlgebraCachedSamba nonConstantMonoidSpecifications QEtaRamanujanKolbergIdentity, [1] nonPositive? QEtaMultiComputationCategory normalForms QEtaGroebner normalizeCusp CongruenceSubgroup noTrace QEtaComputationCategory QEtaComputationReductionCategory QEtaPowerReductionCategory noTraceEnter QEtaComputationReductionCategory QEtaPowerReductionCategory

nu2 CongruenceSubgroup nu3 CongruenceSubgroup numberOfCusps CongruenceSubgroup numberOfGaps QEtaAlgebraBasisCategory QEtaAuxiliaryPackage numberOfGapsForSamba QEtaModularGammaCategory numer Cusp QEtaSpecificationCategory QGeneratingFunctionSpecificationCategory

O

offset QEtaSpecificationMonomial QGeneratingFunctionVariable SymbolicEtaQuotientGamma SymbolicModularEtaQuotient offsetEquivalent QGeneratingFunctionVariable one? SymbolicEtaQuotientGamma SymbolicModularEtaQuotient SymbolicModularEtaQuotientGamma oneOverPiFormulaInterval QEtaOneOverPiQ oneOverPiTerm QEtaOneOverPiQ oneStep! QEtaComputationCategory oneStepComputation! QEtaComputationCategory oneTracedStep! QEtaComputationCategory

oneTracedStepComputation! QEtaComputationCategory oneVerboseStep! QEtaComputation QEtaComputationDelayedPairs QEtaComputationModularEquation QEtaComputationNoPairs QEtaMultiComputationCategory QEtaPowerComputation orbit QEtaRamanujanKolbergIdentity orbitProduct QEtaRamanujanKolbergIdentity order SymbolicModularEtaQuotientGamma orderMin SymbolicModularEtaQuotientGamma orders SymbolicModularEtaQuotient ordersMin SymbolicModularEtaQuotient

P

partitionSeries QFunctions parts QEtaSpecification QGeneratingFunctionSpecificationCategory QPochhammerSpecification poles SymbolicModularEtaQuotient polynomial QEtaSpecificationExpression PolynomialConversion coerce, [1] PolynomialEvaluation eval, [1], [2], [3] positive? QEtaMultiComputationCategory postProcess! QEtaComputationCategory power QEtaAlgebraCachedSamba power! CachedPower, [1] precision QEtaCheckingTruncatedLaurentSeries QEtaTruncatedLaurentSeries QEtaTruncatedTaylorSeries TruncatedModularFunctionQSeriesInfinity prefactor EtaQuotientQSeriesInfinity pretty QEtaSpecification, [1] QPochhammerSpecification, [1] prettyQuotient QEtaSpecification, [1] QPochhammerSpecification, [1]

primePower QEtaAuxiliaryPackage project QEtaModularEquationPrimeField, [1], [2], [3] XGeneratingFunctionSpecification projectiveIndex CongruenceSubgroup properGeneralizedEtaFunctionIndices QEtaSpecification properGeneralizedParts QEtaSpecification QPochhammerSpecification puiseux QEtaPuiseuxSeries puiseuxExpansion EtaQuotientQSeriesInfinity QEtaQSeriesInfinityTool, [1], [2], [3], [4], [5], [6] SymbolicEtaQuotientQSeriesTools, [1], [2] pure? QEtaSpecification QPochhammerSpecification SymbolicEtaGamma pureExponents QEtaSpecification pureParts QEtaSpecification QPochhammerSpecification purify QEtaSpecificationCategory QEtaSpecificationExpression QEtaSpecificationExpressionMonomial QEtaSpecificationMonomial

Q

QAuxiliaryTools clearDenominator index indexedSymbol indexedSymbols, [1], [2] integerPrimitivePart level, [1] qEquation QEtaRamanujanKolbergIdentity QEtaAlgebra *, [1] + -, [1] 0 1 ^ coerce traceout zero? QEtaAlgebraBasis basisElements QEtaAlgebraBasisCategory basis, [1] initialize multiplier multiplierPower! numberOfGaps QEtaAlgebraCachedSamba / clearCache! coerce embed getCache identifier nextIdentifier power setCache! QEtaAuxiliaryPackage alphaSchoenebergContribution balance chineseRemainder contains? countRoots dedekindSum expPrecisionOdd fractionalBernoulli1 fractionalBernoulli2 fractionalPart generalizedDedekindSum interMinimizeVectors jacobiLowerStar jacobiThetaPermutation, [1] jacobiThetaPermutation2 jacobiThetaUpsilonExponent jacobiUpperStar kappaSchoeneberg, [1] kappaYang, [1] listTranspose makedir matrixAtkinLehner minimizeVector, [1] modularGamma0 modularGamma0? numberOfGaps primePower quadraticIrrational readInputFromFile readPolynomialFromFile readPolynomialListFromFile realExpPiIForm sawTooth signVariations splitMatrix, [1], [2] sturmSequence upsilonExponent, [1] verticalConcat writeValueToFile QEtaCheckingTruncatedLaurentSeries coerce exact? precision truncateAt zero? QEtaClassicalModularPolynomial classicalModularPolynomial, [1], [2], [3] downloadClassicalModularPolynomial qetaCoefficient QEtaGradedAlgebra QEtaCofactorConditions conditionEvenMultiplier? conditionGSigma0? conditionMmN? conditionNDivisor? conditionOrbitLength? conditionPrimeDivisors? conditionRho0ProperGeneralized? conditionRho0Pure? conditionSumExponentsProperGeneralized? conditionSumExponentsPure? QEtaComputation addBasisElementPairs! addGapPair! addGapPairs! addPair! basis computePairs! oneVerboseStep! update! QEtaComputationCategory algebraBasis continue? criticalElements? extractNext! initialize, [1] noTrace oneStep! oneStepComputation! oneTracedStep! oneTracedStepComputation! postProcess! trace QEtaComputationDelayedPairs oneVerboseStep! QEtaComputationModularEquation basis oneVerboseStep! update! QEtaComputationNoPairs oneVerboseStep! QEtaComputationReductionCategory noTrace noTraceEnter reduce topReducible? tracedReduce traceEnter traceLoop traceReturn QEtaExtendedAlgebra / embed first second QEtaExtendedAlgebraBasis coerce QEtaExtendedReduction QEtaFundamentalDomain decomposeIntoSTProduct toFundamentalDomain qetaGrade QEtaGradedAlgebra QEtaPowerGradedAlgebra, [1] QEtaGradedAlgebra greaterGrade? qetaCoefficient qetaGrade qetaLeadingCoefficient smallerGrade? qetaGrades QEtaModularPackage, [1], [2] QEtaPowerGradedAlgebra QEtaUserSupport, [1], [2], [3], [4], [5] QEtaGroebner extendedNormalForm, [1] extendedNormalForms groebner groebnerExtend member? normalForms QEtaGroebnerBasisTools groebnerBasis groebnerEliminate QEtaIdealCategory algebraicRelations, [1] etaLaurentIdealGenerators, [1] etaLaurentIdealLists etaQuotientIdealGenerators, [1], [2] etaRelations, [1], [2] laurentRelations, [1] relationsIdealGenerators QEtaIdealHemmecke qetaIndex QEtaPowerGradedAlgebra qetaLaurentRep QEtaPuiseuxSeries QEtaLaurentSeries multiplyExponents qetaTaylorRep traceout zeroCheckingChoose QEtaLaurentSeriesCategory choose exponentGcd laurent mapn removeZeroes, [1] revert QEtaLaurentSeriesFunctions2 map QEtaLazyAlgebra * coerce, [1] show size qetaLeadingCoefficient QEtaGradedAlgebra QEtaPowerGradedAlgebra QEtaLinearReduction greaterGrade? linearTransform, [1] reduce reducible? rowEchelon tailReduce topReduce triangularize QEtaModularEquation evaluate modularPolynomial, [1], [2], [3], [4] modularPolynomialCached, [1], [2], [3], [4], [5] QEtaModularEquationPrimeField modularPolynomial, [1], [2], [3] project, [1], [2], [3] QEtaModularEquationQ modularPolynomial, [1], [2] QEtaModularEquationT modularPolynomial, [1], [2], [3], [4] QEtaModularFormGenerators4ti2 modularFormGenerators, [1] modularFormSolutions, [1] QEtaModularFormGeneratorsSystem modularFormSystem, [1] QEtaModularFormSystem modularFormSystem, [1] QEtaModularGamma0 matrixLigozat matrixLigozatElement QEtaModularGamma1 QEtaModularGammaCategory cuspMatrices cusps cuspToMatrix etaCofactorSpace etaCofactorSpaceSystem etaQuotientMonoidInfinitySystem etaQuotientMonoidNoPolesSystem etaQuotientMonoidSystem, [1], [2] genus groupLevel matrixEtaOrder matrixEtaOrderElement matrixEtaOrderFull matrixEtaOrderRow matrixModular modular?, [1] modularOrbit, [1] numberOfGapsForSamba rightCosetRepresentatives weaklyModular? width, [1], [2] QEtaModularLambdaAuxiliaryPackage computeReducedCusps cuspDeltaMatrices, [1] equivalentCuspsByMatrices? hasEquivalentCuspByMatrices? QEtaModularLambdaTools applyLambdaTransformation evalAtModularLambda, [1] transformAtModularLambda QEtaModularPackage etaCofactorInfinity, [1], [2] etaCofactorNoPoles etaCofactorNoPolesSystem etaCofactorSpace, [1] minimizeOrderVectors qetaGrades, [1], [2] reduceSystem QEtaMultiComputation QEtaMultiComputationCategory nonPositive? oneVerboseStep! positive? QEtaMultiComputationModularEquation QEtaMultiComputationNoPairs QEtaMultiReduction QEtaMultiReductionCategory estimatedWeightAfterReduction reducer reducers3 QEtaMultiWeightSorting greater? less? lessLex? weight QEtaOneOverPi cqD expTruncated moebiusTransform, [1] theta2ConstantQIncompleteH theta2ConstantQIncompleteL theta3ConstantH theta3ConstantL toQHTTL transformTau uIPiCoefficient uNCoefficient QEtaOneOverPiLambda denomB estimateExpansionOrders exIota1 exIotaN expandB expandK expandL expandPhiTerm logDtheta4 sortForMultiSamba, [1] QEtaOneOverPiQ approximatesPi? chudnovskyA2tau chudnovskyABFCoefficients chudnovskyB2tauCandidates chudnovskyChi chudnovskyContainsOneOverPiInterval? chudnovskyModularPolynomial chudnovskyOneOverPiFormula chudnovskyOneOverPiSummand chudnovskySelectABF containsOneOverPiInterval? convergentInterval exp2PiI exp2PiIInterval expPiI expPiIInterval gosperABFCoefficients gosperAtau gosperBtauCandidates gosperCheckModularPolynomial gosperContainsOneOverPiInterval? gosperIotaAt gosperIotaInterval gosperModularPolynomial, [1] gosperModularPolynomial1N gosperOneOverPiFormula gosperOneOverPiSummand gosperSelectABF kleinJAt kleinJInterval modularLambdaInterval oneOverPiFormulaInterval oneOverPiTerm tauDInterval tauInterval

QEtaPolynomialAlgebra coerce, [1] QEtaPolynomialTools xPolynomials QEtaPowerAlgebraBasis QEtaPowerAlgebraBasisCategory basisElements component indexPermutation initialize multipliers QEtaPowerComputation oneVerboseStep! QEtaPowerGradedAlgebra / maxIndex qetaGrade, [1] qetaGrades qetaIndex qetaLeadingCoefficient QEtaPowerPolynomialAlgebra coerce QEtaPowerReduction QEtaPowerReductionCategory greaterGrade? noTrace noTraceEnter reduce reducer topReducible? tracedReduce traceEnter traceLoop traceReturn QEtaPuiseuxSeries puiseux qetaLaurentRep rationalPower removeZeroes QEtaQSeriesInfinityTool laurentExpansion, [1], [2], [3], [4], [5], [6] puiseuxExpansion, [1], [2], [3], [4], [5], [6] QEtaQSeriesTools kleinJInvariant kleinJInvariant0 laurent, [1] substitute, [1] xiPower, [1] qEtaQuotient QEtaSpecification QEtaQuotientMonoidTools monoidGenerators QEtaQuotientSortPackage lessLex? sortByComponentGrade, [1] QEtaQuotientSpecifications4ti2 etaQuotientInfinitySpecifications etaQuotientMonoidInfinitySpecifications, [1] etaQuotientMonoidInfinityZSpecifications etaQuotientMonoidNoPolesSolutions etaQuotientMonoidNoPolesZSpecifications etaQuotientMonoidSolutions, [1], [2] etaQuotientMonoidZSpecifications, [1], [2] etaQuotientZSpecifications withProperPoles QEtaRamanujanKolberg findIdentity, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] QEtaRamanujanKolbergIdentity algebraBasis alphaInfinity alphaOrbitInfinity coefficient coSpecification definingDissection definingSpecification etaEquation etaIdentityPolynomial etaQuotientRepresentation f identity identityPolynomial moduleCoefficients moduleRepresentation monoidSpecifications multiplier nonConstantMonoidSpecifications, [1] orbit orbitProduct qEquation QEtaReduction QEtaReductionCategory reducer tailReduce tailReducible? topReduce tracedTailReduce tracedTopReduce QEtaRepresentation guessEtaQuotientSpecification, [1], [2] QEtaSambaPackage samba, [1], [2], [3] sambaComputation, [1], [2], [3] QEtaScalingCuspReduction functionExpansionPair reduceCuspsByScaling QEtaSpecification allGeneralizedEtaFunctionIndices allPureExponents alphaInfinity etaFunctionIndices etaPolynomial, [1], [2] etaQuotient etaRationalFunction, [1], [2] exponent, [1] exponents expression generalizedEtaFunctionIndices indices modularGamma0 modularGamma0? modularGamma1 modularGamma1? monomial monomialQuotient parts pretty, [1] prettyQuotient, [1] properGeneralizedEtaFunctionIndices properGeneralizedParts pure? pureExponents pureParts qEtaQuotient qQuotient rho0 rho0ProperGeneralized rho0Pure rhobar0 rhobar0ProperGeneralized rhobar0Pure rhoInfinity, [1] specDelta specExponent specification, [1], [2], [3], [4], [5], [6] specIndex specSubindex var varPower varsub weaklyModularGamma0 weaklyModularGamma0? weaklyModularGamma1 weaklyModularGamma1? weight QEtaSpecificationCategory denom dilate level monomial, [1] numer purify quotient, [1] specification, [1], [2], [3] QEtaSpecificationExpression *, [1], [2], [3], [4], [5] / dilate etaExpression inv level polynomial purify qExpression qSpecification, [1], [2], [3] rationalFunction specification, [1], [2], [3], [4] QEtaSpecificationExpressionMonomial *, [1], [2], [3], [4], [5] etaExpression etaPart gfPart purify qExpression qMonomial, [1] qPochhammerPart qQuotient, [1] qSpecification, [1], [2], [3] xgfPart QEtaSpecificationMonomial construct coSpecification definingSpecification failure? multiplier offset purify qetaTaylorRep ModularFunctionQSeriesInfinity QEtaLaurentSeries QEtaTruncatedLaurentSeries QEtaTaylorSeries multiplyExponents zeroCheckingChoose, [1] QEtaTaylorSeriesCategory exponentGcd mapn multisect revert QEtaTopReduction QEtaTruncatedLaurentSeries exact? laurent, [1] precision qetaTaylorRep traceout truncateAt, [1] zero? QEtaTruncatedTaylorSeries coerce, [1] exact? precision reduce, [1] removeInitial taylor truncateAt, [1] zero? QEtaUserSupport minimalRootOfUnity, [1], [2], [3], [4], [5], [6], [7] modular?, [1] modularFunctionInfinity, [1] qetaGrades, [1], [2], [3], [4], [5] QEtaWeightedDomain addWeight forgetWeight lessWeight? weight qExponent QPochhammerSpecification SymbolicEtaGamma SymbolicEtaQuotientLambdaGamma SymbolicModularEtaQuotientGamma qExponentMin SymbolicEtaQuotientGamma SymbolicModularEtaQuotientGamma qExpression QEtaSpecificationExpression QEtaSpecificationExpressionMonomial QFunctions eisensteinE2, [1] eisensteinE4 eisensteinE6 eulerFunction eulerFunction2 eulerFunctionPower3 eulerStream generalizedEulerProduct jacobiFunction, [1] kleinJInvariant partitionSeries qPochhammer, [1], [2], [3], [4] theta2ConstantIncomplete theta2ConstantQIncomplete theta3Constant theta4Constant QGeneratingFunctionSpecification *, [1], [2] ^ choose dilate monomial quotient QGeneratingFunctionSpecificationCategory denom exponent level monomial numer parts quotient rhoInfinity QGeneratingFunctionVariable choose coefficientSymbol construct, [1] definingSpecification dilate generatingFunction, [1], [2], [3], [4], [5] level multiplier offset offsetEquivalent qPochhammerSpecification rename, [1] rhoInfinity runningVariable symbol QModularGamma0 QModularGamma1 QModularGammaCategory candidateLevelsCoEtaQuotient conditionCoEtaQuotient? minimalLevelCoEtaQuotient, [1], [2] modularOrbit, [1] qMonomial QEtaSpecificationExpressionMonomial, [1] qPochhammer QFunctions, [1], [2], [3], [4] QPochhammerSpecification, [1], [2] qPochhammerPart QEtaSpecificationExpressionMonomial SymbolicEtaQuotientQSeriesTools QPochhammerSpecification eulerProduct exponent, [1] exponents expression indices lift missingSpecificationForEta parts pretty, [1] prettyQuotient, [1] properGeneralizedParts pure? pureParts qExponent qPochhammer, [1], [2] qPower, [1] specification var varPower varsub qPochhammerSpecification QGeneratingFunctionVariable qPower QPochhammerSpecification, [1] qQuotient QEtaSpecification QEtaSpecificationExpressionMonomial, [1] qSpecification QEtaSpecificationExpression, [1], [2], [3] QEtaSpecificationExpressionMonomial, [1], [2], [3] quadraticIrrational QEtaAuxiliaryPackage quotient QEtaSpecificationCategory, [1] QGeneratingFunctionSpecification QGeneratingFunctionSpecificationCategory

R

rational Cusp rationalFunction QEtaSpecificationExpression rationalPower QEtaPuiseuxSeries rationalPrefactor SymbolicEtaGamma SymbolicEtaQuotientLambdaGamma rationalSquareRoot MinimalSquareRoot readInputFromFile QEtaAuxiliaryPackage readPolynomialFromFile QEtaAuxiliaryPackage readPolynomialListFromFile QEtaAuxiliaryPackage realExpPiIForm QEtaAuxiliaryPackage recursiveRootSimplification AlgebraicNumberTool recursiveRootSimplificationPoly AlgebraicNumberTool reduce QEtaComputationReductionCategory QEtaLinearReduction QEtaPowerReductionCategory QEtaTruncatedTaylorSeries, [1] reduceCuspsByScaling QEtaScalingCuspReduction reducer QEtaMultiReductionCategory QEtaPowerReductionCategory QEtaReductionCategory reducers3 QEtaMultiReductionCategory reduceSystem QEtaModularPackage reducible? QEtaLinearReduction relationsIdealGenerators QEtaIdealCategory removeInitial QEtaTruncatedTaylorSeries removeZeroes ModularFunctionQSeriesCategory, [1] QEtaLaurentSeriesCategory, [1] QEtaPuiseuxSeries

rename QGeneratingFunctionVariable, [1] revert QEtaLaurentSeriesCategory QEtaTaylorSeriesCategory rho0 QEtaSpecification rho0ProperGeneralized QEtaSpecification rho0Pure QEtaSpecification rhobar0 QEtaSpecification rhobar0ProperGeneralized QEtaSpecification rhobar0Pure QEtaSpecification rhoInfinity QEtaSpecification, [1] QGeneratingFunctionSpecificationCategory QGeneratingFunctionVariable rightCosetRepresentatives CongruenceSubgroup QEtaModularGammaCategory rootCombine AlgebraicNumberTool rootFactor AlgebraicNumberTool rootFactorK AlgebraicNumberTool rootFactorPol AlgebraicNumberTool rowEchelon QEtaLinearReduction run RunExternalCommand, [1] RunExternalCommand execute knownCommands run, [1] setExecutable! runningVariable QGeneratingFunctionVariable

S

sage SageMathTools sageGroebnerBasis SageMathTools sageGroebnerEliminate SageMathTools sageInteger SageMathTools SageMathTools join sage sageGroebnerBasis sageGroebnerEliminate sageInteger sageModularFormBasisGamma0 sageVersion sageModularFormBasisGamma0 SageMathTools sageVersion SageMathTools samba QEtaSambaPackage, [1], [2], [3] sambaComputation QEtaSambaPackage, [1], [2], [3] SatoEigenValueProblem gammaCandidate gammaCandidateWurm gammaTauQCandidateAux gammaTauQCandidates gammaTauQCandidatesAux gammaTauQCandidatesWurm satoTriples satoTriples SatoEigenValueProblem sawTooth QEtaAuxiliaryPackage second QEtaExtendedAlgebra series ModularFunctionQSeriesCategory seriesPart EtaQuotientQSeriesInfinity setCache! QEtaAlgebraCachedSamba setExecutable X4ti2 setExecutable! RunExternalCommand setOptions X4ti2 show QEtaLazyAlgebra signVariations QEtaAuxiliaryPackage simpler? AlgebraicNumberTool simplifyRadicals AlgebraicNumberTool size QEtaLazyAlgebra smallerGrade? QEtaGradedAlgebra sortByComponentGrade QEtaQuotientSortPackage, [1] sortForMultiSamba QEtaOneOverPiLambda, [1] specDelta QEtaSpecification specExponent QEtaSpecification specification QEtaSpecification, [1], [2], [3], [4], [5], [6] QEtaSpecificationCategory, [1], [2], [3] QEtaSpecificationExpression, [1], [2], [3], [4] QPochhammerSpecification specificationExpressionMonomial SymbolicModularEtaQuotient specificationMonomial SymbolicModularEtaQuotient specIndex QEtaSpecification specSubindex QEtaSpecification splitMatrix QEtaAuxiliaryPackage, [1], [2] sqrtArgument AlgebraicNumberTool sqrtSum AlgebraicNumberTool

sqrtSumArguments AlgebraicNumberTool squareRoot GaussRoot squareRootOfRadicalInteger GaussRoot StreamRecurrenceTool twoTermRecurrentStream sturmSequence QEtaAuxiliaryPackage subindex SymbolicEtaGamma substitute QEtaQSeriesTools, [1] symbol QGeneratingFunctionVariable SymbolicEtaGamma cdExponent delta eta gamma1 lambda minimalRootOfUnity minimalRootOfUnityWithoutPrefactors multiplier pure? qExponent rationalPrefactor subindex transformationMatrix udelta unityExponent vdelta SymbolicEtaQuotientGamma definingSpecification elt etaQuotient, [1] minimalRootOfUnity multiplier offset one? qExponentMin transformationMatrix unityExponent SymbolicEtaQuotientLambdaGamma cdExponent definingSpecification elt etaQuotient lambda minimalRootOfUnity minimalRootOfUnityWithoutUnityExponent multiplier qExponent rationalPrefactor transformationMatrix unityExponent SymbolicEtaQuotientQSeriesTools etaQuotientTraceExpansions, [1] laurentExpansion laurentExpansionInfinity laurentExpansions, [1], [2] puiseuxExpansion, [1], [2] qPochhammerPart SymbolicModularEtaQuotient constant? coSpecification definingSpecification elt etaQuotient, [1], [2], [3], [4], [5], [6] minimalRootOfUnity multiplier offset one? orders ordersMin poles specificationExpressionMonomial specificationMonomial transformationMatrices SymbolicModularEtaQuotientGamma basefactor cofactor etaQuotient, [1], [2], [3] minimalRootOfUnity one? order orderMin qExponent qExponentMin

T

tailReduce QEtaLinearReduction QEtaReductionCategory tailReducible? QEtaReductionCategory tauDInterval QEtaOneOverPiQ tauInterval QEtaOneOverPiQ taylor QEtaTruncatedTaylorSeries theta2ConstantIncomplete QFunctions theta2ConstantQIncomplete QFunctions theta2ConstantQIncompleteH QEtaOneOverPi theta2ConstantQIncompleteL QEtaOneOverPi theta3Constant QFunctions theta3ConstantH QEtaOneOverPi theta3ConstantL QEtaOneOverPi theta4Constant QFunctions thetaPower4 CachedQFunctions toFundamentalDomain QEtaFundamentalDomain topReduce QEtaLinearReduction QEtaReductionCategory topReducible? QEtaComputationReductionCategory QEtaPowerReductionCategory toQHTTL QEtaOneOverPi trace QEtaComputationCategory

tracedReduce QEtaComputationReductionCategory QEtaPowerReductionCategory tracedTailReduce QEtaReductionCategory tracedTopReduce QEtaReductionCategory traceEnter QEtaComputationReductionCategory QEtaPowerReductionCategory traceLoop QEtaComputationReductionCategory QEtaPowerReductionCategory traceout QEtaAlgebra QEtaLaurentSeries QEtaTruncatedLaurentSeries traceReturn QEtaComputationReductionCategory QEtaPowerReductionCategory transformationMatrices SymbolicModularEtaQuotient transformationMatrix SymbolicEtaGamma SymbolicEtaQuotientGamma SymbolicEtaQuotientLambdaGamma transformAtModularLambda QEtaModularLambdaTools transformTau QEtaOneOverPi triangularize QEtaLinearReduction truncateAt QEtaCheckingTruncatedLaurentSeries QEtaTruncatedLaurentSeries, [1] QEtaTruncatedTaylorSeries, [1] TruncatedModularFunctionQSeriesInfinity coerce, [1] exact? precision twoTermRecurrentStream StreamRecurrenceTool

U

udelta SymbolicEtaGamma uIPiCoefficient QEtaOneOverPi uNCoefficient QEtaOneOverPi unityExponent SymbolicEtaGamma SymbolicEtaQuotientGamma SymbolicEtaQuotientLambdaGamma

update! QEtaComputation QEtaComputationModularEquation upsilonExponent QEtaAuxiliaryPackage, [1]

V

var QEtaSpecification QPochhammerSpecification varPower QEtaSpecification QPochhammerSpecification

varsub QEtaSpecification QPochhammerSpecification vdelta SymbolicEtaGamma verticalConcat QEtaAuxiliaryPackage

W

weaklyModular? QEtaModularGammaCategory weaklyModularGamma0 QEtaSpecification weaklyModularGamma0? QEtaSpecification weaklyModularGamma1 QEtaSpecification weaklyModularGamma1? QEtaSpecification

weight QEtaMultiWeightSorting QEtaSpecification QEtaWeightedDomain width CongruenceSubgroup, [1] QEtaModularGammaCategory, [1], [2] withProperPoles QEtaQuotientSpecifications4ti2 writeValueToFile QEtaAuxiliaryPackage

X

X4ti2 clearDenominators setExecutable setOptions zsolve, [1], [2], [3], [4] XGeneratingFunctionSpecification lift, [1] monomial project

xgfPart QEtaSpecificationExpressionMonomial xiPower QEtaQSeriesTools, [1] xPolynomials QEtaPolynomialTools

Z

zero? QEtaAlgebra QEtaCheckingTruncatedLaurentSeries QEtaTruncatedLaurentSeries QEtaTruncatedTaylorSeries

zeroCheckingChoose QEtaLaurentSeries QEtaTaylorSeries, [1] zsolve X4ti2, [1], [2], [3], [4]