1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-13 14:00:27 +01:00
Commit Graph

817 Commits

Author SHA1 Message Date
Marek Kaluba
a10132e441
Merge pull request #14 updating scripts/*.jl
update scripts to the newest master
2024-02-20 10:16:02 +01:00
083e1b4735
@info "checking in (...) arithmetic" before the actual check 2024-02-19 18:48:28 +01:00
0f3e4311b3
add scripts for SpNZ and G₂ 2024-02-19 18:47:29 +01:00
7ba02ea21b
add scripts/(Manifest|Project).toml 2024-02-19 18:46:48 +01:00
c00a0c15ae
ignore log 2024-02-19 18:45:12 +01:00
01ae87b4da
update/add scripts for SLNZ/SAutFn 2024-02-19 18:45:02 +01:00
f584df4c8d
fix: solution[:warm] saving and loading 2024-02-19 18:43:17 +01:00
526def226e
PG.degree is not guaranteed to be constant 2024-02-19 18:42:42 +01:00
3b9c75604c
in reconstruct: accumulate to a single matrix 2024-02-19 18:39:01 +01:00
c7491f37f9
make sure Q'*Q hits the fast path for IntervalMatrices 2024-02-19 18:20:35 +01:00
Marek Kaluba
d3873e1b3a
Merge pull request #13 from kalmarek/mk/update_PermutationGroups_etal
update permutation groups etal
2024-02-18 17:57:28 +01:00
cd90e072c4
back to IntervalArithmetic-0.20 to keep julia-1.6 2024-02-16 12:09:11 +01:00
83fdd313c6
bump to PropertyT to 0.6 2024-02-15 22:48:14 +01:00
92a19f8566
no longer use "FULL_TEST" ENV variable 2024-02-15 22:47:55 +01:00
681d93ce58
the order of characters has changed 2024-02-15 22:46:52 +01:00
3a954cdfbd
the order of roots has changed 2024-02-15 22:45:55 +01:00
d3975790f2
tweaking solvers parameters in tests 2024-02-15 22:45:21 +01:00
c9f68eee8f
update IntervalArithmetic to 0.21 2024-02-15 22:44:23 +01:00
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
b23975a627
update and fix versions for dependencies
i.e. PermutationGroups, GroupsCore, SymbolicWedderburn
2024-02-14 11:00:05 +01:00
f4936dd50a
add/update scripts for SLNZ/SpNZ 2023-05-30 16:35:55 +02:00
cd7901b455
add G₂ to classify_root_system 2023-05-10 15:20:07 +02:00
902be093db
bump to 0.5.0 2023-05-09 12:39:34 +02:00
Marek Kaluba
0908c8ea1c
Merge pull request #11 from kalmarek/enh/G₂_here_we_come
G₂ - here we come!
2023-05-09 12:37:56 +02:00
d40a0fe117
fix error with printing of roots 2023-05-09 01:02:39 +02:00
34e19768d4
rm Manifest and update scripts 2023-05-08 17:49:32 +02:00
ed832d69fb
fix for solve_in_loop script 2023-04-13 01:00:22 +02:00
9afbccda15
drop zeros when reconstructing the solution 2023-04-11 10:32:24 +02:00
263af398eb
G₂_Adj: bring back solve_in_loop 2023-04-11 10:31:54 +02:00
56aed88416
use MKLDirect for G₂ 2023-04-06 16:16:27 +02:00
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
17274f895f
set eps_*_inf for COSMO solver 2023-04-06 11:40:49 +02:00
f0986982ce
reorganize Roots module 2023-04-06 11:39:54 +02:00
005ffc29cb
cosmo fails at high precision with zero condition 2023-04-05 17:50:12 +02:00
5b4a7f6804
reshuffle sos_sdps for clarity 2023-04-04 23:50:48 +02:00
150b5c2cba
skip the identity constraint if augmented 2023-04-04 23:48:59 +02:00
3f2be20152
make nzpairs(::ConstraintMatrix) type stable 2023-04-04 23:15:40 +02:00
132802feeb
use sparse matrices for invariant constraint 2023-04-04 23:14:56 +02:00
1a43a1b1be
in reconstruct: average the sum, not sum the averages! 2023-04-04 19:58:51 +02:00
f9f852439f
rewrite scripts for G2 2023-03-20 02:34:14 +01:00
15286c0c4a
add Manifest with a branch of SymbolicWedderburn 2023-03-20 01:42:41 +01:00
a14c6d2669
add G₂ script 2023-03-20 01:40:59 +01:00
92d4ba0c20
update script for SpN_Adj.jl 2023-03-20 01:40:40 +01:00
914b068070
update and reformat tests 2023-03-20 01:37:19 +01:00
fb3b51fd6e
fix sos_problem_dual 2023-03-20 01:37:19 +01:00
bacd170504
preserve trace when diagonalizing M_orb 2023-03-20 01:37:18 +01:00
a5f5a4ea35
lots of re-formatting 2023-03-20 01:37:18 +01:00
a1de0ecc85
improve __fast_recursive_dot a bit 2023-03-20 01:37:17 +01:00
b5fa1ac0ef
use Cartan matrix to classify root-subsystems 2023-03-20 01:37:16 +01:00
1fb324b49a
update constraints to StarAlgebras-0.2 2023-03-20 01:36:40 +01:00