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