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
Construct a quaternion algebra over a number field by specifying its ramification #16948
Comments
Commit: |
comment:1
The code passes all doctests and runs in reasonable time. I think it is ready for review. |
comment:2
Just a remark: this functionality is in PARI now, so you could just try to wrap PARI. |
comment:3
Please use python3 raise syntax: see patchbot report in |
Changed branch from u/mmasdeu/16948-quatalg-from-ramification to public/ticket/16948 |
Branch pushed to git repo; I updated commit sha1. New commits:
|
New commits:
|
Changed branch from public/ticket/16948 to u/mmasdeu/16948 |
comment:9
This no longer merges with sage 7.2 (according to trac). |
comment:10
merge done, was easy New commits:
|
Changed branch from u/mmasdeu/16948 to public/16948 |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:14
A small remark regarding the ValueError in line 636: the exponents in the By the way, is there a reason why the input is an ideal of F instead of a list |
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:18
Thanks for the comments! Please take a look at the changes I have introduced. Replying to @nsirolli:
New commits:
|
Changed branch from public/16948 to u/mmasdeu/16948-review |
comment:19
Thanks for accepting my proposal. Now the new input format, QuaternionAlgebra(K, "list of primes", S) is quite different from the one you are extending to number fields other than QQ, QuaternionAlgebra(D). I feel this controversy should be avoided. The problem could be addressed by letting this new constructor accept both a discriminant and a list of primes as input. A more radical solution would be to change the classical QuaternionAlgebra(D) to take a list of primes as input, but I guess that it could cause trouble. Besides this, here are some remarks about the changes introduced in this commit:
|
comment:20
needs rebase, does not apply |
There is a need for the constructor QuaternionAlgebra to take as input a number field F and a ramification (specified by an ideal D in F and a set of real places S of F) and which constructs a quaternion algebra over F with ramified precisely at the primes dividing D and at the places in S.
We have code to add here, which is now being tested and documented.
CC: @tornaria
Component: number theory
Keywords: quaternion algebra, ramification
Author: Marc Masdeu, Xavier Guitart
Branch/Commit: u/mmasdeu/16948-review @
fcf1a69
Issue created by migration from https://trac.sagemath.org/ticket/16948
The text was updated successfully, but these errors were encountered: