TK's profile - activity

(continued) The reason seems to be that one cannot hash elements of proper extensions of Q_p. How can I resolve this, ho

I'm using N = 188 and p = 3 now. p does not divide N, so we have to p-stabilize (this is different from your answer wher

I'm using N = 188 and p = 3 now. p does not divide N, so we have to p-stabilize (this is different from your answer wher

Ok. Thank you anyway!

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

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.

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

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!)

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....

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?