|
|
80ac135f59
|
logging changes
|
2019-01-14 17:46:13 +01:00 |
|
|
|
af009547b5
|
fix: distance_to_positive_cone expects HALF the support radius
|
2019-01-14 17:45:23 +01:00 |
|
|
|
3e6a1dde51
|
rework Settings
|
2019-01-14 17:44:13 +01:00 |
|
|
|
0614bf268d
|
rework loading/saving GroupRingElems
|
2019-01-11 06:33:14 +01:00 |
|
|
|
10d319f48b
|
fix: deprecations for julia-0.7/1.0
|
2019-01-11 06:32:09 +01:00 |
|
|
|
0ee12f76a5
|
rework the Settings once again
|
2019-01-11 04:33:56 +01:00 |
|
|
|
38d80e63ed
|
move application specific code to 1712.07167.jl
|
2019-01-08 04:59:23 +01:00 |
|
