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