Comments (3)
The bug is that in the code '
, i.e. adjoint
is used. This works for the julia matrix type but not for Flint matrices.
Is there any reason transpose
is not used? That should fix this.
If transpose works equally efficient, I can provide the obvious fix and do a pullrequest.
from hecke.jl.
Since you wrote the code: @thofma
from hecke.jl.
For the record another related bug with big input.
B = matrix(FlintQQ, 6, 6 ,[1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1]);
G = matrix(FlintQQ, 6, 6 ,[876708188094148315826780735392810, 798141405233250328867679564294410, -352823337641433300965521329447720, 326768950610851461363580717982402, -690595881941554449465975342845028, 433433545243019702766746394677218, 798141405233250328867679564294410, 867615301468758683549323652197099, -301315621373858240463110267500961, 316796431934778296047626373086339, -725765288914917260527454069649226, 505082964151083450666500945258490, -352823337641433300965521329447720, -301315621373858240463110267500961, 809946152369211852531731702980788, -343784636213856787915462553587466, 84764902049682607076640678540130, -613908853150167850995565570653796, 326768950610851461363580717982402, 316796431934778296047626373086339, -343784636213856787915462553587466, 219957919673551825679009958633894, -226934633316066727073394927118195, 298257387132139131540277459301842, -690595881941554449465975342845028, -725765288914917260527454069649226, 84764902049682607076640678540130, -226934633316066727073394927118195, 671443408734467545153681225010914, -277626128761200144008657217470664, 433433545243019702766746394677218, 505082964151083450666500945258490, -613908853150167850995565570653796, 298257387132139131540277459301842, -277626128761200144008657217470664, 640432299215298238271419741190578]);
L = Zlattice(B, gram = G);
julia> automorphism_group_generators(L)
ERROR: InexactError: convert(Int64, 99105891165740248885841291621470)
Stacktrace:
[1] Int64(a::ZZRingElem)
@ Nemo ~/.julia/packages/Nemo/jFzAs/src/flint/fmpz.jl:2842
[2] try_init_small(C::Hecke.ZLatAutoCtx{ZZRingElem, ZZMatrix, ZZMatrix}, auto::Bool, bound::ZZRingElem, use_dict::Bool)
@ Hecke ~/.julia/dev/Hecke/src/QuadForm/Morphism.jl:317
[3] try_init_small (repeats 3 times)
@ ~/.julia/dev/Hecke/src/QuadForm/Morphism.jl:310 [inlined]
[4] assert_has_automorphisms(L::ZLat; redo::Bool, try_small::Bool)
@ Hecke ~/.julia/dev/Hecke/src/QuadForm/Quad/ZLattices.jl:366
[5] assert_has_automorphisms
@ ~/.julia/dev/Hecke/src/QuadForm/Quad/ZLattices.jl:322 [inlined]
[6] automorphism_group_generators(L::ZLat; ambient_representation::Bool)
@ Hecke ~/.julia/dev/Hecke/src/QuadForm/Quad/ZLattices.jl:404
[7] automorphism_group_generators(L::ZLat)
@ Hecke ~/.julia/dev/Hecke/src/QuadForm/Quad/ZLattices.jl:401
[8] top-level scope
@ REPL[119]:1
from hecke.jl.
Related Issues (20)
- Bugs in Order(...) HOT 4
- `mul` vs. `*` for sparse matrices HOT 2
- Merge Hecke map types down to AbstractAlgebra? HOT 1
- WARNING: Method definition `change_base_ring` [...] overwritten
- Missing documentation for `MSet`
- Is it possible to parallelize class_group(K, grh=false) HOT 8
- Algebras meta issues
- Silly example of a non-simple number field HOT 1
- Impelement `iszero(::NumFieldOrdIdl)` method
- Move Assertions.jl to AbstractAlgebra
- Jordan normal form broken over number field
- Tests still hanging in `is_isometric_with_isometry`
- Error precompiling Hecke.jl with Julia 1.10-rc1 HOT 1
- Problem with residue_field HOT 1
- Improve documentation of `maximal_integral_lattice` HOT 1
- Ray class group map could be a bit more intelligent HOT 2
- Iterators for matrix_space broken HOT 1
- Documentation redirecting from https to http HOT 2
- simplify(..., canonical=true) gives noncanonical answer HOT 4
- Thread safety HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from hecke.jl.