-
Notifications
You must be signed in to change notification settings - Fork 123
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
QuadFormWithIsom
patch 1
#2661
QuadFormWithIsom
patch 1
#2661
Conversation
- Re-enable some previously deleted tests; - Extend the primitive extensions methods for general even lattices; - Fix the output of `image_centralizer_in_Oq` to be consistent with its cousin function `image_in_Oq`; - Apply further suggestions of the last PR: namely add the semi-colon for optional arguments, remove the instances of `Hecke.` whenever possible, etc...; - Try to modify some parts of the codes to improve memory allocations. Hopefully this should help to improve testing of the code, outside the compilation issues; - Fix some minors issues found using the package.
@@ -461,7 +465,7 @@ function representatives_of_hermitian_type(Lf::ZZLatWithIsom, m::Int = 1) | |||
ok, rk = divides(rk, euler_phi(n*m)) | |||
ok || return reps | |||
|
|||
gene = Hecke.HermGenus[] | |||
gene = HermGenus[] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
HermGenus
is not a concrete type if I remember correctly. There should be a hermitian_genus_type(E)
or something like that in Hecke.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ah yes, indeed, thanks! I forgot about that function..
First patch of
QuadFormWithIsom
:primitive_extensions
methods for general even lattices;image_centralizer_in_Oq
to be consistent with its cousin functionimage_in_Oq
;Hecke.
whenever possible, etc...;NB: I forgot to change and create a new branch, so all the old commits appear here... I will delete the current branch after this PR.