Opened 4 years ago

Closed 17 months 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 4 years ago by mmasdeu

  • Branch set to u/mmasdeu/20407
  • Commit set to ffdad84f97ec2d6c93c5f1f63e389d5f6b2b884e
  • Status changed from new to needs_review

New commits:

ffdad84Added Magma interface for orders and ideals of number fields.

comment:2 Changed 4 years ago by vdelecroix

  • 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 4 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 4 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 18 months ago by chapoton

  • 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 18 months ago by chapoton

  • Milestone changed from sage-7.2 to sage-8.3

comment:7 Changed 17 months ago by vbraun

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