Revision fdadc4329533acaa3a0aef38e78d8f112ac2fca1 (click the page title to view the current version)

doc2020

Changes from fdadc4329533acaa3a0aef38e78d8f112ac2fca1 to eafd3600e26180e5891c54ea803d8c390bfc2a6b

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](http://pari.math.u-bordeaux.fr/dochtml/html/) 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 $w$-th cyclotomic polynomial: the algorithm " "the $w$-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: chi is the character of F, this should be added)        
- mfcuspwidth (Samuele: Gamma_0(N) if N is an integer or Gamma_0(mfparams(N)[1]) if N is a modular form space.)
- mfderiv (Samuele: OK)         
- mfderivE2 (Samuele: OK)
- 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
- ellbsd (Valentin)
- 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