1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-07-17 10:55:30 +02:00
Commit Graph

3 Commits

Author SHA1 Message Date
80b2ad0987 Precomputed values for SL(3,Z) 2017-01-13 18:23:28 +01:00
deedcf707b Use the norm function; shuffle returns of check_solution 2017-01-13 18:07:41 +01:00
91140ce5fa SL(3,Z) specific code 2017-01-09 01:03:46 +01:00