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
..
actions	lots of re-formatting	2023-03-20 01:37:18 +01:00
certify.jl	use IntervalMatrices	2023-04-06 13:17:52 +02:00
constraint_matrix.jl	make nzpairs(::ConstraintMatrix) type stable	2023-04-04 23:15:40 +02:00
gradings.jl	lots of re-formatting	2023-03-20 01:37:18 +01:00
PropertyT.jl	use IntervalMatrices	2023-04-06 13:17:52 +02:00
reconstruct.jl	in reconstruct: average the sum, not sum the averages!	2023-04-04 19:58:51 +02:00
roots.jl	reorganize Roots module	2023-04-06 11:39:54 +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