Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
77216e5
Isometry testing and groups via decomposition.
simonbrandhorst Nov 12, 2025
afa3b79
Update src/Groups/matrices/form_group.jl
simonbrandhorst Nov 12, 2025
8459ae4
switch to Integer Matrices
simonbrandhorst Nov 12, 2025
17e795f
fix an assert
simonbrandhorst Nov 12, 2025
d1dbdb5
add the missing file
simonbrandhorst Nov 12, 2025
25e6735
fix the assert for good
simonbrandhorst Nov 12, 2025
dca3920
another fix
simonbrandhorst Nov 12, 2025
6aa15e2
cleanup
simonbrandhorst Nov 13, 2025
72e3b97
Apply suggestions from code review
simonbrandhorst Nov 13, 2025
a01fbf1
less short vectors
simonbrandhorst Nov 13, 2025
8edc718
Merge branch 'sb/decomposition' of github.com:oscar-system/Oscar.jl i…
simonbrandhorst Nov 13, 2025
a519e84
algorithm selection
simonbrandhorst Nov 13, 2025
545d3d2
pass on keywords and a fix
simonbrandhorst Nov 13, 2025
55850c0
move stuff to Hecke
simonbrandhorst Nov 13, 2025
cb42a22
remove a show
simonbrandhorst Nov 13, 2025
a00ec24
Update Hecke
simonbrandhorst Nov 13, 2025
ec077d5
Merge branch 'master' into sb/decomposition
simonbrandhorst Nov 13, 2025
45c7a85
more nice monomorphisms
simonbrandhorst Nov 13, 2025
c56e145
fix a test
simonbrandhorst Nov 13, 2025
1ddda0e
set_is_finite...somehow fixes an error with the action
simonbrandhorst Nov 14, 2025
4b503ff
move isometry_group to their own file
simonbrandhorst Nov 14, 2025
18d892b
tune heuristic
simonbrandhorst Nov 14, 2025
e05c92d
pass on some informaton
simonbrandhorst Nov 14, 2025
37dafef
speedup an important corner case
simonbrandhorst Nov 14, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Project.toml
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ AlgebraicSolving = "0.10.0"
Compat = "4.13.0"
Distributed = "1.6"
GAP = "0.16.0"
Hecke = "0.39"
Hecke = "0.39.1"
JSON = "1.0.1"
JSON3 = "1.13.2"
LazyArtifacts = "1.6"
Expand Down
Loading
Loading