Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

set reverse=True by default in basis_for_quaternion_lattice() #34880

Closed
yyyyx4 opened this issue Dec 28, 2022 · 3 comments · Fixed by #34962
Closed

set reverse=True by default in basis_for_quaternion_lattice() #34880

yyyyx4 opened this issue Dec 28, 2022 · 3 comments · Fixed by #34962

Comments

@yyyyx4
Copy link
Member

yyyyx4 commented Dec 28, 2022

The reverse=True flag is recommended (and set by default) for quaternion orders, but I think it is also the better choice for all other quaternion lattices: Among other things, setting reverse=True makes the returned basis contain the norm of an ideal (very usefully generalizing the fact that the returned basis for an order contains 1).

Component: algebra

Author: Lorenz Panny

Issue created by migration from https://trac.sagemath.org/ticket/34880

@yyyyx4 yyyyx4 added this to the sage-9.8 milestone Dec 28, 2022
@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Dec 28, 2022

Changed commit from 1282c28 to bc3cdda

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Dec 28, 2022

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

bc3cddaset reverse=True by default in basis_for_quaternion_lattice()

@mkoeppe
Copy link
Contributor

mkoeppe commented Feb 12, 2023

Removed branch from issue description, it is replaced by PR #34962

vbraun pushed a commit that referenced this issue Feb 12, 2023
…group_theory.rst

Part of #32544:

{{{
sage -t --long --random-seed=185470747385175316039405094141387664605
src/doc/en/thematic_tutorials/group_theory.rst
**********************************************************************
File "src/doc/en/thematic_tutorials/group_theory.rst", line 207, in
doc.en.thematic_tutorials.group_theory
Failed example:
    euler_phi(m*n) == euler_phi(m) * euler_phi(n)
Expected:
    True
Got:
    False
**********************************************************************
1 item had failures:
   1 of 170 in doc.en.thematic_tutorials.group_theory
    [127 tests, 1 failure, 4.40 s]
}}}

(From a patchbot run in #34880.)

URL: https://trac.sagemath.org/34901
Reported by: lorenz
Ticket author(s): Frédéric Chapoton
Reviewer(s): Lorenz Panny
yyyyx4 added a commit to yyyyx4/sage that referenced this issue May 26, 2023
vbraun pushed a commit that referenced this issue Jun 3, 2023
    
Per #34962 (comment),
we should first issue deprecation warnings for the change suggested in
#34880.
    
URL: #35683
Reported by: Lorenz Panny
Reviewer(s): Kwankyu Lee
vbraun pushed a commit to vbraun/sage that referenced this issue Aug 27, 2024
…_lattice()

    
Fixes sagemath#34880.
    
URL: sagemath#34962
Reported by: Lorenz Panny
Reviewer(s): Kwankyu Lee
@vbraun vbraun closed this as completed in 28ee8ab Sep 3, 2024
@mkoeppe mkoeppe added this to the sage-10.5 milestone Sep 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants