1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 02:15:29 +01:00
Commit Graph

622 Commits

Author SHA1 Message Date
53dec056e0 Rationalizing properly done 2017-01-09 00:59:40 +01:00
ce2ebc7284 finally straighten printing of GroupAlgebraElements 2017-01-09 00:54:31 +01:00
723957f415 Rename coordinates to coefficients 2016-12-23 00:51:06 +01:00
2476101af3 Revert "Move parametrising GroupAlgebraElements by the Vector-type"
This reverts commit 0d5a2c0bc5.
2016-12-22 22:12:52 +01:00
0d5a2c0bc5 Move parametrising GroupAlgebraElements by the Vector-type 2016-12-22 20:25:55 +01:00
8d1fbf0f62 A more performant version of SOS decomposition 2016-12-22 02:39:18 +01:00
5bc90f49e1 The performant version of group_star_multiplication 2016-12-22 00:59:06 +01:00
5dc0dff3ff Remove old checks for length of GAE and basis 2016-12-21 23:48:02 +01:00
668fd4e16a GroupAlgebraElements are longer than SDP matrix 2016-12-21 23:45:58 +01:00
c2ba0c170c gitignore 2016-12-21 16:06:59 +01:00
70b6b987ab Remove GAP code for SL(3,Z); we do everything in julia now; 2016-12-21 16:06:01 +01:00
f433ab8e6e Final changes to incorporate full *-product matrix & constraints 2016-12-21 16:03:19 +01:00
5b3f944cd0 Move Generation of Laplacian to julia (for Linear Groups) 2016-12-21 16:02:03 +01:00
9257f57aef GroupAlgebra elements are way longer than the product matrix 2016-12-21 15:58:44 +01:00
d479ebd91c Better printing for Group Algebra elements 2016-12-21 15:41:56 +01:00
267abd9b9f product_matrix and basis for linear groups (in julia) 2016-12-21 10:00:22 +01:00
3a79623c48 DomainError -> ArgumentError as the former don't accept message 2016-12-21 09:57:32 +01:00
cb15964bfd Warn in multiplication of elts of K[G], when discarding a product 2016-12-20 17:57:42 +01:00
6cdc9a980b Be more verbose in SDPGenerateAll 2016-12-20 00:27:47 +01:00
2ebf3060f8 Delete unused USupport; Move IsSupportedOn to avoid GAP warnings 2016-12-20 00:19:08 +01:00
10cf01b0ac GAP code and ipynb for SL(3,Z) 2016-12-19 15:47:41 +01:00
39f0b86af2 Initial (working) code 2016-12-19 15:44:52 +01:00