actions
|
lots of re-formatting
|
2023-03-20 01:37:18 +01: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 |
PropertyT.jl
|
use IntervalMatrices
|
2023-04-06 13:17:52 +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 |