Karim Belabas on Fri, 05 Oct 2018 13:44:20 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: mfatkineigenvalues


* J E Cremona [2018-10-05 13:41]:
> If I call mfatkineigenvalues(mf,Q)   where mf is a newspace output by
> mfinit(NK,0) for some NK with trivial character,  then -- as far as I can
> tell from the documentation -- mfatkineigenvalues  must compute the
> splitting of mf into Galois orbits.  But if I have already computed that
> splitting (e.g. using mffields, or mfsplit)  then that seems very wasteful.
> 
> Would it be possible to design mfatkineigenvalues() so that (optionally)
> one could give the splitting information to it?

Already done: when the splitting is done it is automagically added to
the mf struct (same mechanism as for elliptic curves).

> Secondly (different but related):   again in trivial character, it would be
> useful to have a function mfatkinmat() like mfheckemat().

mfatkininit provides it (in a slightly awkward way, but it handles
arbitrary characters...)

Cheers,

    K.B.
--
Karim Belabas, IMB (UMR 5251)  Tel: (+33) (0)5 40 00 26 17
Universite de Bordeaux         Fax: (+33) (0)5 40 00 21 23
351, cours de la Liberation    http://www.math.u-bordeaux.fr/~kbelabas/
F-33405 Talence (France)       http://pari.math.u-bordeaux.fr/  [PARI/GP]
`