QEtaModularEquationQ AnC¶
qetamodeqn.spad line 243 [edit on github]
QEtaModularEquationQ computes a modular polynomial with coefficients in ZZ of two functions with coefficients in QQ.
- modularPolynomial: (AnC, AnC) -> Polynomial Integer
- modularPolynomial(x,y)returns modularPolynomial(- x,- y,[]).
- modularPolynomial: (AnC, AnC, List NonNegativeInteger) -> Polynomial Integer
- modularPolynomial(x,y,d)computes a nonzero polynomial pol such that pol(- x,- y) is zero. It uses (up to) 4 numbers given by the list- dto print intermediate debugging. The valuse are given to oneVerboseStep!.
- modularPolynomial: (List AnC, List Symbol, List NonNegativeInteger, String, String) -> Polynomial Integer
- modularPolynomial(gens,syms,d,dir,var)returns modularPolynomial(- gens,- syms,- d), if var=””. Otherwise, if there is a file given by filename(- dir,- var,”input”), then (before doing any actual compuation) its first line is read, converted to a polynomial and returned. If that file does not exist, then the directory is created, the modular polynomial is computed via poly:=modularPolynomial(- gens,- syms,- d) and its value is written to the file given above. The content of the file will look like “var:=poly;”.