QEtaSpecificationMonomial

qetaspecexpr.spad line 104 [edit on github]

QEtaSpecificationMonomial specifies a modular function which is the orbit of a dissection together with an eta-quotient that is needed for modularity with respect to a certian group. Note that this domain only serves a a container for the quadruple. It actually cannot know anything about modularity, since the respective group is not known.

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: QEtaSpecification -> %

from CoercibleFrom QEtaSpecification

construct: (QEtaSpecification, QEtaSpecification, Integer, NonNegativeInteger) -> %

construct(sspec,rspec,t,m) creates an element of this domain. If t is less than or equal to zero, the resulting element represents an error rather than a modular function.

coSpecification: % -> QEtaSpecification

coSpecification(x) returns sspec, if x=construct(sspec,rspec,m,t).

definingSpecification: % -> QEtaSpecification

definingSpecification(x) returns rspec, if x=construct(sspec,rspec,m,t).

failure?: % -> Boolean

failure?(x) returns true, if x encodes an error, i.e. if it does not represent a modular function that fits the specification of the domain, i.e. if x=construct(sspec,rspec,m,t) and m<=0.

latex: % -> String

from SetCategory

multiplier: % -> PositiveInteger

multiplier(x) returns t, if x=construct(sspec,rspec,m,t) and m>0.

offset: % -> NonNegativeInteger

offset(x) returns t, if x=construct(sspec,rspec,m,t).

purify: % -> %

purify(x) applies purify to all specifications that are part of x.

BasicType

CoercibleFrom QEtaSpecification

CoercibleTo OutputForm

SetCategory