Skip to content

Conversation

@yyyyx4
Copy link
Member

@yyyyx4 yyyyx4 commented Oct 17, 2025

See #39191 (comment): The formulas we're using for point addition over non-fields require 6 to be a unit. In this patch we add a NotImplementedError when this occurs, and we adjust the random tests to avoid that case.

Hopefully fixes #39191.

Copy link
Member

@JohnCremona JohnCremona left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think that this is a good workaround solution.

@yyyyx4
Copy link
Member Author

yyyyx4 commented Oct 17, 2025

Thanks!

@github-actions
Copy link

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

vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 18, 2025
sagemathgh-41055: require 6 to be a unit in elliptic-curve point addition over non-fields
    
See
sagemath#39191 (comment):
The formulas we're using for point addition over non-fields require 6 to
be a unit. In this patch we add a `NotImplementedError` when this
occurs, and we adjust the random tests to avoid that case.

Hopefully fixes sagemath#39191.
    
URL: sagemath#41055
Reported by: Lorenz Panny
Reviewer(s): Chenxin Zhong, John Cremona
vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 19, 2025
sagemathgh-41055: require 6 to be a unit in elliptic-curve point addition over non-fields
    
See
sagemath#39191 (comment):
The formulas we're using for point addition over non-fields require 6 to
be a unit. In this patch we add a `NotImplementedError` when this
occurs, and we adjust the random tests to avoid that case.

Hopefully fixes sagemath#39191.
    
URL: sagemath#41055
Reported by: Lorenz Panny
Reviewer(s): Chenxin Zhong, John Cremona
vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 20, 2025
sagemathgh-41055: require 6 to be a unit in elliptic-curve point addition over non-fields
    
See
sagemath#39191 (comment):
The formulas we're using for point addition over non-fields require 6 to
be a unit. In this patch we add a `NotImplementedError` when this
occurs, and we adjust the random tests to avoid that case.

Hopefully fixes sagemath#39191.
    
URL: sagemath#41055
Reported by: Lorenz Panny
Reviewer(s): Chenxin Zhong, John Cremona
vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 26, 2025
sagemathgh-41055: require 6 to be a unit in elliptic-curve point addition over non-fields
    
See
sagemath#39191 (comment):
The formulas we're using for point addition over non-fields require 6 to
be a unit. In this patch we add a `NotImplementedError` when this
occurs, and we adjust the random tests to avoid that case.

Hopefully fixes sagemath#39191.
    
URL: sagemath#41055
Reported by: Lorenz Panny
Reviewer(s): Chenxin Zhong, John Cremona
@vbraun vbraun merged commit 084181f into sagemath:develop Oct 27, 2025
28 of 30 checks passed
@yyyyx4 yyyyx4 deleted the public/39191 branch October 28, 2025 01:50
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.

Test failure with elliptic point addition

4 participants