Marek Kaluba 083e1b4735 @info "checking in (...) arithmetic" before the actual check		2024-02-19 18:48:28 +01:00
..
actions	PG.degree is not guaranteed to be constant	2024-02-19 18:42:42 +01:00
PropertyT.jl	import packages as ... instead of using	2024-02-15 22:42:17 +01:00
certify.jl	@info "checking in (...) arithmetic" before the actual check	2024-02-19 18:48:28 +01:00
constraint_matrix.jl	import packages as ... instead of using	2024-02-15 22:42:17 +01:00
gradings.jl	import packages as ... instead of using	2024-02-15 22:42:17 +01:00
reconstruct.jl	in reconstruct: accumulate to a single matrix	2024-02-19 18:39:01 +01: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	import packages as ... instead of using	2024-02-15 22:42:17 +01:00
sqadjop.jl	import packages as ... instead of using	2024-02-15 22:42:17 +01:00