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: |
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
Branch: | → u/mmasdeu/20407 |
---|---|
Commit: | → ffdad84f97ec2d6c93c5f1f63e389d5f6b2b884e |
Status: | new → needs_review |
comment:2 Changed 7 years ago by
Reviewers: | → Vincent Delecroix |
---|---|
Status: | needs_review → needs_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
comment:4 Changed 7 years ago by
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
Reviewers: | Vincent Delecroix → Vincent Delecroix, Frédéric Chapoton |
---|---|
Status: | needs_work → positive_review |
ok, for me, with m4gm4 version Magma V2.22-3
comment:6 Changed 5 years ago by
Milestone: | sage-7.2 → sage-8.3 |
---|
comment:7 Changed 5 years ago by
Branch: | u/mmasdeu/20407 → ffdad84f97ec2d6c93c5f1f63e389d5f6b2b884e |
---|---|
Resolution: | → fixed |
Status: | positive_review → closed |
Note: See
TracTickets for help on using
tickets.
New commits:
Added Magma interface for orders and ideals of number fields.