https://groups.google.com/d/forum/sage-ntsage-ntThis email list is for discussion of Sage development issues with a particular focus on number theory and things of interest to number theorists.
<br>For general Sage development discussions, use sage-devel.
<br>For Sage support questions, use sage-support.Google GroupsJohn Cremona2021-05-03T08:06:54Zhttps://groups.google.com/d/topic/sage-nt/eef4RyoTrC0Re: [sage-nt] Ask Sage question: basis of eigenforms for Hecke operatorsI will answer it. The solution is to use modular symbols: sage: N=120 sage: S=ModularSymbols(N,2,+1) sage: NS=S.new_submodule() sage: CNS=NS.cuspidal_submodule() sage: D=CNS.decomposition() sage: D [ Modular Symbols subspace of dimension 1 of Modular Symbols space of dimension 32 forSamuel Lelièvre2021-05-02T17:20:52Zhttps://groups.google.com/d/topic/sage-nt/eef4RyoTrC0Ask Sage question: basis of eigenforms for Hecke operatorsDear sage-nt, Can someone answer this Ask Sage question about orthonormal eigenbases for spaces of newforms: https://ask.sagemath.org/question/56896 Is the requested functionality part of Sage, perhaps via some external package? Modularly yours, --Samuel LelièvreKiran Kedlaya2021-04-09T17:19:24Zhttps://groups.google.com/d/topic/sage-nt/kCFkJxfple4Re: [sage-gsoc] Wanted: Mentor for Project with Hyperelliptic CurvesI should point out that we have some point-counting available already for hyperelliptic curves courtesy from PARI, but of the p-adic sort (small characteristic) rather than the Schoof-Pila sort (larger characteristic). What I think is needed to go further is to implement the group law in thevdelecroix2021-04-08T06:42:10Zhttps://groups.google.com/d/topic/sage-nt/kCFkJxfple4Fwd: [sage-gsoc] Wanted: Mentor for Project with Hyperelliptic CurvesDear Simon, dear all, @all: forwarding from sage-gsoc @Simon: your project seems great for a GSoc project. I am unsure about SageMath capabilities to deal with hyperellitpic curves but it has some features https://doc.sagemath.org/html/en/reference/arithmetic_curves/sage/schemes/hyperelliptiJohn Cremona2021-03-11T21:52:20Zhttps://groups.google.com/d/topic/sage-nt/Bhb_CpR4HwkNew eclib packageI just finished a sage ticket #31443 which includes a new eclib version. The main benefit is greatly improved saturation of points on elliptic curves over Q. Would someone like to review it? JohnJohn Cremona2021-02-15T11:34:52Zhttps://groups.google.com/d/topic/sage-nt/eXuNr9WjXCwRe: Rational points question on Ask SageI made trac ticket #31400 for this. There are some really serious problems caused by someone thinking that the height of a point in projective space is the max of the heights of its *projective* coordinates, which is wrong (and not well-defined). On Monday, February 15, 2021 at 2:21:21 AM UTCSamuel Lelièvre2021-02-15T02:21:21Zhttps://groups.google.com/d/topic/sage-nt/eXuNr9WjXCwRational points question on Ask SageThis Ask Sage question reports a possible bug in computing the height of rational points: Height of rational points https://ask.sagemath.org/question/55698Paweł Bogdan2021-02-06T21:10:12Zhttps://groups.google.com/d/topic/sage-nt/q51ruMkCjLURe: [sage-nt] Reduction modulo p of Gaussian IntegersDear Julien! Yes, this is exactly what I meant. Thank you very much! Best regards Paweł poniedziałek, 1 lutego 2021 o 00:21:29 UTC+1 julian...@gmail.com napisał(a): > Dear Paweł, > > * Paweł Bogdan <pawel....@gmail.com> [2021-01-31 12:45:28 -0800]: > > > [...] > > Is something like thatJulian Rüth2021-01-31T23:21:29Zhttps://groups.google.com/d/topic/sage-nt/q51ruMkCjLURe: [sage-nt] Reduction modulo p of Gaussian IntegersDear Paweł, * Paweł Bogdan <pawel....@gmail.com> [2021-01-31 12:45:28 -0800]: > [...] > Is something like that implemented in Sage? How can I define such a > structure? I am not sure I understood what you are trying to achieve exactly. But if you are looking for a reduction map from thePaweł Bogdan2021-01-31T20:45:28Zhttps://groups.google.com/d/topic/sage-nt/q51ruMkCjLUReduction modulo p of Gaussian IntegersDear sage-nt group! I'm working on some algorithm using the reduction modulo p of polynomial maps defined over Z. I'm just wondering if it is possible to implement something like that for Gaussian Integers (just like in thread: https://math.stackexchange.com/questions/2160330/about-ring-of-gausskevin lui2021-01-13T06:04:45Zhttps://groups.google.com/d/topic/sage-nt/csEMUlr9PiARe: [sage-nt] Condition of GRH on a sage programAdding to what John said, in case, you're interested in using GRH in your computations. Methods that have speedups based on conjectures often have a "proof" parameter that is True by default (meaning, it won't use the conjecture) (example: https://doc.sagemath.org/html/en/reference/number_fieldJohn Cremona2021-01-12T10:47:25Zhttps://groups.google.com/d/topic/sage-nt/csEMUlr9PiARe: [sage-nt] Condition of GRH on a sage programAlthough Sage uses the pari library for number field computations, and by default the pari library does make assumptions such as the GRH, for speed, Sage's philosophy is that computations should not make any silent assumptions, so that the results obtained from the pari library are certified bySubramani Muthukrishnan2021-01-12T10:26:55Zhttps://groups.google.com/d/topic/sage-nt/csEMUlr9PiACondition of GRH on a sage programDear All, I am M. Subramani, working at the Indian Institute of Information Technology D&M, Chennai. I would like to know whether the following sage code uses GRH or not. Kindly looking forward to your suggestions/comments. sage: x = polygen(QQ) sage: K.<a,b> = NumberField([x^2+67,x^2+163])vdelecroix2020-11-07T07:57:49Zhttps://groups.google.com/d/topic/sage-nt/I-wWlubfEkoRe: Jeroen Demeyer?Dear all, Jeroen appeared :) I am now maintainer for cypari2 on PyPI. Regards Vincent Le 03/11/2020 à 09:09, Vincent Delecroix a écrit : > Dear all, > > Jeroen Demeyer used to be an important actor of Sage development > but left after the end of OpenDreamKit. He was among other things >John Cremona2020-11-03T16:09:21Zhttps://groups.google.com/d/topic/sage-nt/I-wWlubfEkoRe: [sage-nt] Jeroen Demeyer?Have you tried raising an issue on one of his github repositories (https://github.com/jdemeyer)? Otherwise try asking Wouter Castryck in Ghent, or Nicolas Thierry in Paris. On Tue, 3 Nov 2020 at 08:10, Vincent Delecroix <20100.d...@gmail.com> wrote: > > Dear all, > > Jeroen Demeyer used to