Marek Kaluba a05a0798ec add tests for levels and their symmetrization		2023-05-22 22:46:22 +02:00
..
actions	lots of re-formatting	2023-03-20 01:37:18 +01:00
PropertyT.jl	use IntervalMatrices	2023-04-06 13:17:52 +02:00
certify.jl	remove unnecessary @time from certify	2023-05-22 22:39:20 +02:00
constraint_matrix.jl	streamline constraints generation	2023-05-22 22:40:32 +02:00
gradings.jl	add tests for levels and their symmetrization	2023-05-22 22:46:22 +02:00
reconstruct.jl	in reconstruct: average the sum, not sum the averages!	2023-04-04 19:58:51 +02:00
roots.jl	add G₂ to classify_root_system	2023-05-10 15:20:07 +02:00
solve.jl	lots of re-formatting	2023-03-20 01:37:18 +01:00
sos_sdps.jl	reshuffle sos_sdps for clarity	2023-04-04 23:50:48 +02:00
sqadjop.jl	cleanup Project.toml and fix imports	2022-11-07 18:44:27 +01:00