Ask Your Question
1

Problems with the darmonpoints package/Error: No module named util

asked 2016-03-22 19:41:03 +0100

this post is marked as community wiki

This post is a wiki. Anyone with karma >750 is welcome to improve it.

I am a first-time user of sage, so please excuse me if the following question appears stupid to you more experienced users: I want to do some calculations on Darmon points, and for that purpose, I want to use the following package on sagecloud: https: // http://github.com / mmasdeu / darmonpoints

I installed it, but I cannot do any calculations with it. For instance, if I type the following command

sage: darmon_point(7,EllipticCurve('35a1'),41,20)

it answers: Error: No module named 'util'. Thanks in advance.

edit retag flag offensive close merge delete

Comments

1

I concur that there are no obvious instructions on the site. Probably you just download the whole thing and then run in that directory.

kcrisman gravatar imagekcrisman ( 2016-03-23 01:21:42 +0100 )edit

In general, do not check the "community wiki" box when asking questions. The "community wiki" feature is for questions about ask-sage itself, rather than questions about Sage.

slelievre gravatar imageslelievre ( 2016-03-24 07:13:23 +0100 )edit

1 Answer

Sort by ยป oldest newest most voted
2

answered 2016-03-27 17:17:20 +0100

I agree with @kcrisman: you download it and run Sage from that directory. Then you do

%runfile darmonpoints.sage
darmon_point(7,EllipticCurve('35a1'),41,20)

and if you're me, you get

RuntimeError: unable to start magma

Looking at the README.rst file, I see

For most operations one does need to have Magma installed, although we do hope that in the future Sage will include the required functionality.
edit flag offensive delete link more

Comments

I have Magma installed.

hlmencken gravatar imagehlmencken ( 2016-05-21 09:38:51 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-03-22 19:41:03 +0100

Seen: 901 times

Last updated: Mar 27 '16