1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-28 11:05:28 +01:00
PropertyT.jl/src
2022-11-08 09:59:26 +01:00
..
actions action on FPGroupElement via action on the underlying word 2022-11-08 09:59:07 +01:00
certify.jl cleanup Project.toml and fix imports 2022-11-07 18:44:27 +01:00
constraint_matrix.jl add ConstraintMatrix 2022-11-07 15:45:18 +01:00
gradings.jl cleanup Project.toml and fix imports 2022-11-07 18:44:27 +01:00
PropertyT.jl define group_algebra 2022-11-07 18:44:42 +01:00
roots.jl add graded-by-root-system Adj 2022-11-07 16:17:41 +01:00
sos_sdps.jl remove unused (old) constraints function 2022-11-08 09:59:26 +01:00
sqadjop.jl cleanup Project.toml and fix imports 2022-11-07 18:44:27 +01:00