Ask Your Question

TK's profile - activity

2021-04-29 20:40:10 +0200 received badge  Notable Question (source)
2020-12-06 14:38:00 +0200 received badge  Popular Question (source)
2020-04-27 06:24:09 +0200 commented answer PyCharm for SageMath on Linux

Ok. Thank you anyway!

2020-04-23 09:11:02 +0200 commented answer PyCharm for SageMath on Linux

Only one problem left: How can I use Sage specific syntax (^ instead of **, for example) in PyCharm when not using sage -sh?

2020-04-23 09:07:44 +0200 commented answer lifting modular symbols for newform of level 35 at p = 5, 7

One solution would be to express the K-valued modular symbol (K = NumberField(x²+x-4)) as a K-linear combination of QQ-valued modular symbols and do the procedure for the latter ones. I'm working on this.

2020-04-19 15:16:33 +0200 received badge  Scholar (source)
2020-04-19 15:16:29 +0200 commented answer PyCharm for SageMath on Linux

The problem was that PyCharm used its own python interpreter, not the /usr/bin/python one. I changed it and now it works.

2020-04-19 12:55:46 +0200 commented answer lifting modular symbols for newform of level 35 at p = 5, 7

I think one does not need to $p$-stabilize when p | N: http://math.bu.edu/people/rpollack/Pa...

However, only calling phi1.lift instead of phi1.p_stabilize_and_lift also fails.

(And sorry for my late response!)

2020-04-19 12:46:19 +0200 received badge  Editor (source)
2020-04-19 12:45:20 +0200 asked a question PyCharm for SageMath on Linux

I am looking for an IDE with syntax highlighting, code completion and debugging support to run SageMath 9.0 with preprocessing on (Arch) Linux.

The two most obvious choices seem to be PyCharm and Eclipse, but PyCharm is not able to do from sage.all import * even though my SAGE_ROOT="/usr" and I am running pycharm from a sage -shas described in https://ask.sagemath.org/question/397... or https://ask.sagemath.org/question/387....

2020-04-19 11:49:01 +0200 received badge  Supporter (source)
2019-09-25 04:00:26 +0200 received badge  Good Question (source)
2019-09-25 03:02:28 +0200 received badge  Nice Question (source)
2019-09-24 09:51:45 +0200 received badge  Student (source)
2019-09-23 15:58:16 +0200 asked a question lifting modular symbols for newform of level 35 at p = 5, 7

Let $f$ be the unique normalised eigenform in $S_2(\Gamma_0(35))$ of dimension $2$. It has split multiplicative reduction at $p = 5$ ($a_p = +1$) [and non-split multiplicative reduction at $p = 7$ ($a_p = -1$)]. The $p$-adic $L$-function should vanish to the order $1$ at $1$ (because the associated abelian variety has rank $0$). I want to compute the valuation of its leading coefficient using Pollack-Stevens. To do so, I use the following code:

from sage.modular.pollack_stevens.space import ps_modsym_from_simple_modsym_space
A = ModularSymbols(35,2,1).cuspidal_submodule().new_subspace().decomposition()[1]
p = 5
prec = 2
phi = ps_modsym_from_simple_modsym_space(A)
ap = phi.Tq_eigenvalue(p,prec)
phi1,psi1  = phi.completions(p,prec)
phi1p = phi1.p_stabilize_and_lift(p,ap = psi1(ap), M = prec)

Unfortunately, the last command fails after a few seconds (also for $p = 7$) with a

RuntimeError: maximum recursion depth exceeded while calling a Python object

Is there a theoretical problem with computing the $L$-value or is there a problem with the implementation?