Skip to content

implement comparison of AdditiveAbelianGroupWrappers with the same universe#41667

Merged
vbraun merged 2 commits intosagemath:developfrom
yyyyx4:public/implement_comparison_of_AdditiveAbelianGroupWrappers
Mar 22, 2026
Merged

implement comparison of AdditiveAbelianGroupWrappers with the same universe#41667
vbraun merged 2 commits intosagemath:developfrom
yyyyx4:public/implement_comparison_of_AdditiveAbelianGroupWrappers

Conversation

@yyyyx4
Copy link
Copy Markdown
Member

@yyyyx4 yyyyx4 commented Feb 20, 2026

...i.e., subgroups of the same ambient group, with respect to inclusion.

Currently, this comparison appears to work, but it really only compares the invariants of the groups, which is significantly weaker than the standard/expected notion of comparison.

@github-actions
Copy link
Copy Markdown

Documentation preview for this PR (built with commit c4bba7f; 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 Feb 26, 2026
sagemathgh-41667: implement comparison of AdditiveAbelianGroupWrappers with the same universe
    
...i.e., subgroups of the same ambient group, with respect to inclusion.

Currently, this comparison *appears* to work, but it really only
compares the *invariants* of the groups, which is significantly weaker
than the standard/expected notion of comparison.
    
URL: sagemath#41667
Reported by: Lorenz Panny
Reviewer(s): Chenxin Zhong
vbraun pushed a commit to vbraun/sage that referenced this pull request Feb 28, 2026
sagemathgh-41667: implement comparison of AdditiveAbelianGroupWrappers with the same universe
    
...i.e., subgroups of the same ambient group, with respect to inclusion.

Currently, this comparison *appears* to work, but it really only
compares the *invariants* of the groups, which is significantly weaker
than the standard/expected notion of comparison.
    
URL: sagemath#41667
Reported by: Lorenz Panny
Reviewer(s): Chenxin Zhong
vbraun pushed a commit to vbraun/sage that referenced this pull request Mar 6, 2026
sagemathgh-41667: implement comparison of AdditiveAbelianGroupWrappers with the same universe
    
...i.e., subgroups of the same ambient group, with respect to inclusion.

Currently, this comparison *appears* to work, but it really only
compares the *invariants* of the groups, which is significantly weaker
than the standard/expected notion of comparison.
    
URL: sagemath#41667
Reported by: Lorenz Panny
Reviewer(s): Chenxin Zhong
vbraun pushed a commit to vbraun/sage that referenced this pull request Mar 15, 2026
sagemathgh-41667: implement comparison of AdditiveAbelianGroupWrappers with the same universe
    
...i.e., subgroups of the same ambient group, with respect to inclusion.

Currently, this comparison *appears* to work, but it really only
compares the *invariants* of the groups, which is significantly weaker
than the standard/expected notion of comparison.
    
URL: sagemath#41667
Reported by: Lorenz Panny
Reviewer(s): Chenxin Zhong
vbraun pushed a commit to vbraun/sage that referenced this pull request Mar 18, 2026
sagemathgh-41667: implement comparison of AdditiveAbelianGroupWrappers with the same universe
    
...i.e., subgroups of the same ambient group, with respect to inclusion.

Currently, this comparison *appears* to work, but it really only
compares the *invariants* of the groups, which is significantly weaker
than the standard/expected notion of comparison.
    
URL: sagemath#41667
Reported by: Lorenz Panny
Reviewer(s): Chenxin Zhong
vbraun pushed a commit to vbraun/sage that referenced this pull request Mar 21, 2026
sagemathgh-41667: implement comparison of AdditiveAbelianGroupWrappers with the same universe
    
...i.e., subgroups of the same ambient group, with respect to inclusion.

Currently, this comparison *appears* to work, but it really only
compares the *invariants* of the groups, which is significantly weaker
than the standard/expected notion of comparison.
    
URL: sagemath#41667
Reported by: Lorenz Panny
Reviewer(s): Chenxin Zhong
@vbraun vbraun merged commit 1af75d1 into sagemath:develop Mar 22, 2026
24 checks passed
@yyyyx4 yyyyx4 deleted the public/implement_comparison_of_AdditiveAbelianGroupWrappers branch March 27, 2026 20:10
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