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

29 Commits

Author SHA1 Message Date
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
c9f68eee8f
update IntervalArithmetic to 0.21 2024-02-15 22:44:23 +01:00
b23975a627
update and fix versions for dependencies
i.e. PermutationGroups, GroupsCore, SymbolicWedderburn
2024-02-14 11:00:05 +01:00
902be093db
bump to 0.5.0 2023-05-09 12:39:34 +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
1fb324b49a
update constraints to StarAlgebras-0.2 2023-03-20 01:36:40 +01:00
b92f12107f
update SymbolicWedderburn to 0.3.2 2022-11-15 19:36:39 +01:00
ca6a17acca
use ProgressMeter instead of poormans progressbar 2022-11-15 00:27:09 +01:00
ccffa9e7cf
bump to 0.4 2022-11-08 12:00:55 +01:00
633f065488
cleanup Project.toml and fix imports 2022-11-07 18:44:27 +01:00
9511e34de4
replace BlockDecomposition by SymbolicWedderburn 2022-11-07 15:34:30 +01:00
b001afb731
update Project, Manifest 2020-10-17 11:39:49 +02:00
7ab971eb76
update to SCS-0.7.0 2020-10-17 02:08:51 +02:00
6992840899
update Groups to 0.5 2020-10-17 02:04:31 +02:00
7d6d038262
update deps 2020-06-23 16:15:01 +02:00
daa29f5223
update to latest AA, Groups, GroupRings 2020-04-19 21:36:24 +02:00
3712aadbf7
bump to 0.3.1 2019-11-18 14:15:34 +01:00
080aef1eaf
drop support for julia-1.0 2019-10-31 10:19:42 +01:00
70bf9ad74c
perm → Generic.Perm 2019-10-30 23:58:10 +01:00
e3a58fdef0
fix BinaryProvider-0.5.6; IntervalArithmetic-^0.15
Binary Provider 0.5.5 has disappeared,
0.15.2 is the last version of IntervalArithmetic supporting julia-^1.0.0
2019-07-16 15:46:39 +02:00
874881b1ab
remove Nemo, Manifest update, version 0.3 2019-07-05 19:23:38 +02:00
a81dccea38
update Project/Manifest 2019-06-28 01:24:31 +02:00
715d4bf7ab
add JLD 2019-02-23 00:13:48 +01:00
40ee2cfb80
version 0.2.0
* compat GroupRings = "^0.2.0"
* compat Groups = "^0.2.0"
* compat JuMP = "^0.19.0"
2019-02-21 16:32:05 +01:00
2a94cd355f update deps 2019-01-17 08:27:37 +01:00
10d319f48b fix: deprecations for julia-0.7/1.0 2019-01-11 06:32:09 +01:00
ad00c76f68 update Manifest.toml, Project.toml 2019-01-09 11:26:41 +01:00
96336eebbd add Project.toml 2019-01-09 07:58:49 +01:00