Marek Kaluba
083e1b4735
@info "checking in (...) arithmetic" before the actual check
2024-02-19 18:48:28 +01:00
Marek Kaluba
c7491f37f9
make sure Q'*Q hits the fast path for IntervalMatrices
2024-02-19 18:20:35 +01:00
Marek Kaluba
cd90e072c4
back to IntervalArithmetic-0.20 to keep julia-1.6
2024-02-16 12:09:11 +01:00
Marek Kaluba
c9f68eee8f
update IntervalArithmetic to 0.21
2024-02-15 22:44:23 +01:00
Marek Kaluba
27ce603872
import packages as ... instead of using
...
This includes:
* PermutationGroups as PG
* SymbolicWedderburn as SW
* StarAlgebras as SA
2024-02-15 22:42:17 +01:00
Marek Kaluba
58f0ccb141
use IntervalMatrices
...
IntervalMatrices use Rump algorithm to matrix multiplication
This brings time to Qint'*Qint down to ~40s which is
5-8 × slower than Q'*Q (for size n=2^13).
The naive version is ~100 × slower than Q'*Q even for n = 2^10.
2023-04-06 13:17:52 +02:00
Marek Kaluba
a5f5a4ea35
lots of re-formatting
2023-03-20 01:37:18 +01:00
Marek Kaluba
1fb324b49a
update constraints to StarAlgebras-0.2
2023-03-20 01:36:40 +01:00
Marek Kaluba
227e82d551
make augmented compute_sos fast
2022-11-14 19:45:41 +01:00
Marek Kaluba
633f065488
cleanup Project.toml and fix imports
2022-11-07 18:44:27 +01:00
Marek Kaluba
085f6bce3c
replace checksoltuion by certify
2022-11-07 16:01:35 +01:00
Marek Kaluba