Opened 7 years ago

Closed 5 years ago

#20407 closed enhancement (fixed)

Add Magma interface for orders and ideals of number fields

Reported by: mmasdeu Owned by:
Priority: major Milestone: sage-8.3
Component: interfaces: optional Keywords: ideals, orders, magma
Cc: Merged in:
Authors: Marc Masdeu Reviewers: Vincent Delecroix, Frédéric Chapoton
Report Upstream: N/A Work issues:
Branch: ffdad84 (Commits, GitHub, GitLab) Commit: ffdad84f97ec2d6c93c5f1f63e389d5f6b2b884e
Dependencies: Stopgaps:

Status badges

Description

This ticket adds functionality to convert orders and ideals of number fields from Sage to Magma and back.

Change History (7)

comment:1 Changed 7 years ago by mmasdeu

Branch: u/mmasdeu/20407
Commit: ffdad84f97ec2d6c93c5f1f63e389d5f6b2b884e
Status: newneeds_review

New commits:

ffdad84Added Magma interface for orders and ideals of number fields.

comment:2 Changed 7 years ago by vdelecroix

Reviewers: Vincent Delecroix
Status: needs_reviewneeds_work

There is a problem with the copy of the script directory on the server

sage: magma=Magma(...) # custom server config
sage: magma('1')
Traceback (most recent call last):
...
TypeError: Can't open package spec file ... for reading (No such file or directory)

The solution might be to create the directory remotely if it does not exist. Something like

os.system("ssh SERVE 'mkdir -p THE_GOOD_DIR'")

comment:3 Changed 7 years ago by mmasdeu

This ticket is independent of #20388... It won't work unless Magma is installed locally. Once #20388 is merged this should be rebased, I guess...

comment:4 Changed 7 years ago by vdelecroix

Indeed, #20388 is merged in the last beta and I was able to use magma.

However

sage: K.<a> = NumberField(x^3 + 2)
sage: I = K.ideal(5)
sage: I._magma_init_(magma)
Traceback (most recent call last):
...
TypeError: Error evaluating Magma code.
IN:_sage_[3]:=SageCreateWithNames(PolynomialRing(_sage_ref1),["x"]);
OUT:
In file "/home/delecroi/tmp/data//sage/basic.m", line 104, column 6:
>>   if IsPrimeField(X) then
        ^
Runtime error: Undefined reference 'IsPrimeField' in package "/home/delecroi/tmp/data//sage/basic.m"

comment:5 Changed 5 years ago by chapoton

Reviewers: Vincent DelecroixVincent Delecroix, Frédéric Chapoton
Status: needs_workpositive_review

ok, for me, with m4gm4 version Magma V2.22-3

comment:6 Changed 5 years ago by chapoton

Milestone: sage-7.2sage-8.3

comment:7 Changed 5 years ago by vbraun

Branch: u/mmasdeu/20407ffdad84f97ec2d6c93c5f1f63e389d5f6b2b884e
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.