Some recently written functions whose documentation needs to be proofread (see src/functions/ subdirectories)

• check short documentation (?fun) for clarity / correction / brevity

• check detailed description (??fun) for clarity / correction / completeness and missing / confusing / non-working examples.

• also check the function online translation for conversion glitches.

Add you name next to the function if you’re checking it. Either leave your comments here or (preferred) edit the documentation in src/functions/*/fun and send a patch

Reference cards

• refcard
• refcard-ell
• refcard-lfun
• refcard-mf
• refcard-nf

New functions

• asympnumraw (Marine)
• bnfunits (Marine)
• bnrclassfield (Marine)
• ellpadiclambdamu
• eulerfrac (Marine)
• eulerianpol (Marine)
• eulerpol (Marine)
• eulervec (Marine)
• fft (Marine)
• fftinv (Marine)
• lfunshift (FB: In ?lfunshift, should be “shift of L by d”. In ??lfunshift, %3 should be -0.5. Maybe explain the meaning of %2,%5,%6.) [DONE, KB]
• matreduce (Marine)
• mfisetaquo (FB: in the last example, mfisetaquo doesn’t behave as the doc indicates) [DONE, KB]
• mscosets
• msfarey (FB: in the first def of G1(N), after my(), missing semi-colon) [DONE, KB]
• nfsubfields (not new but modified interface) (JK, ok)
• nfsubfieldscm (JK, ok)
• nfsubfieldsmax (JK, ok)
• parplothexport
• nfrootsof1 (CH ok but need to change syntax “the $ww$-th cyclotomic polynomial: the algorithm” “the $ww$-th cyclotomic polynomial. The algorithm”.) [DONE, Aurel]
• rootsof1 (transcendental/rootsof1)

OLDER FUNCTIONS (not proofread in 2019)

Modular Forms

• mfTheta (Razvan ok) (Samuele: the level (4*conductor^2) should be added to make the normalization clear) [DONE, KB]
  
• mfatkin (Samuele: documentation accessed with ?? is OK, documentation accessed with ?: maybe change Q(F) to QQ(F) or remove it) [DONE, KB]
  
• mfatkineigenvalues (Samuele: chi is the character of mf, it should be specified) [DONE, KB]
• mfatkininit (Razvan typo CM vs MC) [DONE, KB]
  
• mfbasis (Samuele: CHI should be chi) [DONE, KB]
  
• mfbd (Baptiste OK, maybe change the name for a more explicit one) [KB: bad for backward compatibility to change the name at this point unless the new name is clearly better; what name would you use ?]
  
• mfbracket (Samuele OK)
• mfcoef (Baptiste, OK) (Samuele: documentation accessed with ? should be generalized modular form, documentation accessed with ?? should include a(n)) [DONE, KB]
• mfcoefs (Baptiste, OK)
• mfconductor (Samuele: the code works not only for cuspoforms (Karim checked), so maybe mfconductor(mf,F): mf being output by mfinit and F a generalized modular form, gives the less common multiple of the levels of newforms in the decomposition of F.) [DONE with a more precise formulation, KB]
  
• mfcosets (Samuele : N can be an integer or a space of modular forms, so probably saying c divides N should become c divides N or the level of N)
• mfcuspisregular (Samuele: OK)
• mfcusps (Samuele: b divides N or the level of N))
  
• mfcuspval (Samuele:)
  
• mfcuspwidth (Samuele:)
• mfderiv (Samuele:)
  
• mfderivE2 (Samuele:)
• mfdescribe
  
• mfdim
• mfdiv
  
• mfeigenbasis
  
• mfeigensearch
  
• mfeisenstein
• mfembed
  
• mfeval
  
• mffields
  
• mffromell
• mffrometaquo
  
• mffromlfun
  
• mffromqf
  
• mfgaloistype
• mfgaloisprojrep
• mfhecke
  
• mfheckemat
  
• mfinit (Razvan feature request : input a congruence group i.e. mfinit(Gamma0(N),k) )
  
• mfisCM (Razvan ok)
• mfisequal
  
• mfkohnenbasis
  
• mfkohnenbijection
• mfkohneneigenbasis
• mflinear
  
• mfmanin
  
• mfmul
  
• mfnumcusps
  
• mfparams
  
• mfperiodpol
  
• mfperiodpolbasis
  
• mfpetersson
  
• mfpow
  
• mfsearch
  
• mfshift
  
• mfshimura
  
• mfslashexpansion
• mfspace
  
• mfsplit
  
• mfsturm (Baptiste, done)
  
• mfsymbol
  
• mfsymboleval
  
• mftaylor
  
• mftobasis
• mftocoset
  
• mftonew
  
• mftraceform
  
• mftwist

L-functions

• lfunartin
• lfuncost
• lfunthetacost
• lfungenus2
• lfuntwist
• hyperellpadicfrobenius
• hyperellcharpoly

Elliptic curves / Hyperelliptic curves

• ellbsd
• ellminimaldisc (Valentin)
• ellpadicbsd
• ellratpoints (Valentin)
• elltamagawa (Valentin)
• ellweilcurve
• hyperellratpoints (AM,OK)

Modular symbols

• msatkinlehner
• mscuspidal
• mseisenstein
• mseval
• msfromcusp
• msfromell
• msfromhecke
• msgetlevel
• msgetsign
• msgetweight
• mshecke
• msissymbol
• mslattice
• msnew
• mspathgens
• mspathlog
• mspetersson
• mspolygon
• msqexpansion
• mssplit
• msstar

Miscellaneous

• export
• exportall
• getlocalprec
• getlocalbitprec
• localprec
• localbitprec
• unexport
• unexportall