kalmar

kalmar synced commits to enh/G₂_here_we_come at kalmar/PropertyT.jl from mirror 2023-05-09 02:35:09 +02:00

d40a0fe117 fix error with printing of roots

kalmar synced commits to enh/G₂_here_we_come at kalmar/PropertyT.jl from mirror 2023-05-08 18:25:09 +02:00

34e19768d4 rm Manifest and update scripts

kalmar synced commits to enh/G₂_here_we_come at kalmar/PropertyT.jl from mirror 2023-04-13 06:11:25 +02:00

ed832d69fb fix for solve_in_loop script

kalmar synced commits to enh/G₂_here_we_come at kalmar/PropertyT.jl from mirror 2023-04-11 13:21:31 +02:00

9afbccda15 drop zeros when reconstructing the solution

263af398eb G₂_Adj: bring back solve_in_loop

Compare 2 commits »

kalmar synced commits to enh/G₂_here_we_come at kalmar/PropertyT.jl from mirror 2023-04-06 19:03:46 +02:00

56aed88416 use MKLDirect for G₂

58f0ccb141 use IntervalMatrices

17274f895f set eps_*_inf for COSMO solver

f0986982ce reorganize Roots module

Compare 4 commits »

kalmar synced commits to enh/G₂_here_we_come at kalmar/PropertyT.jl from mirror 2023-04-05 18:33:46 +02:00

005ffc29cb cosmo fails at high precision with zero condition

5b4a7f6804 reshuffle sos_sdps for clarity

150b5c2cba skip the identity constraint if augmented

3f2be20152 make nzpairs(::ConstraintMatrix) type stable

132802feeb use sparse matrices for invariant constraint

Compare 6 commits »

kalmar synced new reference enh/simplify_wlmetric to kalmar/Groups.jl from mirror 2023-03-23 03:06:52 +01:00

kalmar synced commits to master at kalmar/Groups.jl from mirror 2023-03-23 03:06:52 +01:00

7230106bfc Merge pull request #27 from kalmarek/enh/simplify_wlmetric

751850568c make equality_data immutable operation

038fc29b81 update benchmark on wl_ball

c69eff1540 freely reduce words upon *

a1bc334fb2 make AutomorphismGroup mutable

Compare 6 commits »

kalmar synced commits to enh/simplify_wlmetric at kalmar/Groups.jl from mirror 2023-03-23 03:06:52 +01:00

kalmar synced new reference refs/tags/v0.7.6 to kalmar/Groups.jl from mirror 2023-03-23 03:06:52 +01:00

kalmar synced commits to refs/tags/v0.7.6 at kalmar/Groups.jl from mirror 2023-03-23 03:06:52 +01:00

kalmar synced new reference enh/G₂_here_we_come to kalmar/PropertyT.jl from mirror 2023-03-20 09:36:50 +01:00

kalmar synced commits to enh/G₂_here_we_come at kalmar/PropertyT.jl from mirror 2023-03-20 09:36:50 +01:00

kalmar synced commits to master at kalmar/Groups.jl from mirror 2023-03-15 23:45:33 +01:00

8bd3f7ede6 fix CI badge in readme

448857ef03 Merge pull request #26 from kalmarek/enh/matrix_groups

af3913d085 more formatting

3cdef72977 format aut_groups

29af9659d9 format MatrixGroups module

Compare 14 commits »

kalmar synced new reference refs/tags/v0.7.5 to kalmar/Groups.jl from mirror 2023-03-15 23:45:33 +01:00

kalmar synced commits to refs/tags/v0.7.5 at kalmar/Groups.jl from mirror 2023-03-15 23:45:33 +01:00

kalmar synced and deleted reference fix/FPGroupElts_thread_safety at kalmar/Groups.jl from mirror 2023-03-15 23:45:33 +01:00