Skip to content

Conversation

user202729
Copy link
Contributor

@user202729 user202729 commented Oct 4, 2025

Previously libgap(QQ[I]) fails. Now it works.

also add some minor clean-ups and documentation changes.

The pointed out bug (that is, Sage FiniteField ↔ GAP GF does not keep the DefiningPolynomial) is to be addressed in a subsequent pull request.

context: I was trying to improve the performance of GF(next_prime(2^128)^4) by using GAP's StandardFF package, see #38376 (comment). but at the moment the conversion between Sage and Gap FiniteField is wrong.

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

⌛ Dependencies

@github-actions
Copy link

github-actions bot commented Oct 4, 2025

Documentation preview for this PR (built with commit 355e9c3; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@cxzhong cxzhong requested a review from fchapoton October 19, 2025 08:01
vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 20, 2025
sagemathgh-40973: Fix libgap(<NumberField>)
    
Previously `libgap(QQ[I])` fails. Now it works.

also add some minor clean-ups and documentation changes.

The pointed out bug (that is, Sage FiniteField ↔ GAP GF does not keep
the `DefiningPolynomial`) is to be addressed in a subsequent pull
request.

context: I was trying to improve the performance of
`GF(next_prime(2^128)^4)` by using GAP's `StandardFF` package, see
sagemath#38376 (comment). but at
the moment the conversion between Sage and Gap FiniteField is wrong.

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [ ] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->
    
URL: sagemath#40973
Reported by: user202729
Reviewer(s): Chenxin Zhong, Frédéric Chapoton
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants