Commit Graph

  • 0ff0eefbd5 Explain why the linear to AutF4 fails (for low dim reps) kalmar 2017-01-16 21:26:10 +0100
  • f04cd75d73 remove unnecessary function arguments annotations kalmar 2017-01-16 21:25:14 +0100
  • c1bd866dd4 Cosmetics kalmar 2017-01-14 15:25:12 +0100
  • b80e32f3a8 Parallel compute_SOS kalmar 2017-01-14 15:24:16 +0100
  • 2508dba1e4 Initial AutF4 work (naive basis, etc) kalmar 2017-01-13 18:42:43 +0100
  • fb2fa1c3ac SemiDirect Products of matrix groups kalmar 2017-01-13 18:42:07 +0100
  • a61205d7f5 comment solving, results are cached kalmar 2017-01-13 18:41:21 +0100
  • ad6c0a2365 infos kalmar 2017-01-13 18:39:02 +0100
  • 80b2ad0987 Precomputed values for SL(3,Z) kalmar 2017-01-13 18:23:28 +0100
  • deedcf707b Use the norm function; shuffle returns of check_solution kalmar 2017-01-13 18:07:41 +0100
  • bbd3027f95 early unique in basis generation kalmar 2017-01-13 18:05:29 +0100
  • aa184ebb29 initialize product_matrix as zeros kalmar 2017-01-13 18:04:20 +0100
  • a8bf216c7e cosmetic kalmar 2017-01-13 18:03:08 +0100
  • 95618eb0f9 better use of findfirst in create_product_matrix kalmar 2017-01-13 18:02:34 +0100
  • 239521f159 workaround norm(vector,p) type-instability (p=1, Inf) kalmar 2017-01-13 18:00:14 +0100
  • 73500f4931 Augmentation epsilon function kalmar 2017-01-13 17:59:30 +0100
  • 0cf908ee13 Separate GroupAlgebras logic from multiplication kalmar 2017-01-13 17:59:01 +0100
  • e6f3051d83 remove ipnb kalmar 2017-01-13 17:58:02 +0100
  • 91140ce5fa SL(3,Z) specific code kalmar 2017-01-09 01:03:46 +0100
  • 90ef2e2c8c Abstract group-unspecific functions kalmar 2017-01-09 01:01:31 +0100
  • 53dec056e0 Rationalizing properly done kalmar 2017-01-09 00:59:40 +0100
  • ce2ebc7284 finally straighten printing of GroupAlgebraElements kalmar 2017-01-09 00:54:31 +0100
  • 723957f415 Rename coordinates to coefficients kalmar 2016-12-23 00:51:06 +0100
  • 2476101af3 Revert "Move parametrising GroupAlgebraElements by the Vector-type" kalmar 2016-12-22 22:12:52 +0100
  • 0d5a2c0bc5 Move parametrising GroupAlgebraElements by the Vector-type kalmar 2016-12-22 20:25:55 +0100
  • 8d1fbf0f62 A more performant version of SOS decomposition kalmar 2016-12-22 02:39:18 +0100
  • 5bc90f49e1 The performant version of group_star_multiplication kalmar 2016-12-22 00:59:06 +0100
  • 5dc0dff3ff Remove old checks for length of GAE and basis kalmar 2016-12-21 23:48:02 +0100
  • 668fd4e16a GroupAlgebraElements are longer than SDP matrix kalmar 2016-12-21 23:45:58 +0100
  • c2ba0c170c gitignore kalmar 2016-12-21 16:06:59 +0100
  • 70b6b987ab Remove GAP code for SL(3,Z); we do everything in julia now; kalmar 2016-12-21 16:06:01 +0100
  • f433ab8e6e Final changes to incorporate full *-product matrix & constraints kalmar 2016-12-21 16:03:19 +0100
  • 5b3f944cd0 Move Generation of Laplacian to julia (for Linear Groups) kalmar 2016-12-21 16:02:03 +0100
  • 9257f57aef GroupAlgebra elements are way longer than the product matrix kalmar 2016-12-21 15:58:44 +0100
  • d479ebd91c Better printing for Group Algebra elements kalmar 2016-12-21 15:41:56 +0100
  • 267abd9b9f product_matrix and basis for linear groups (in julia) kalmar 2016-12-21 10:00:22 +0100
  • 3a79623c48 DomainError -> ArgumentError as the former don't accept message kalmar 2016-12-21 09:57:32 +0100
  • cb15964bfd Warn in multiplication of elts of K[G], when discarding a product kalmar 2016-12-20 17:57:42 +0100
  • 6cdc9a980b Be more verbose in SDPGenerateAll kalmar 2016-12-20 00:27:47 +0100
  • 2ebf3060f8 Delete unused USupport; Move IsSupportedOn to avoid GAP warnings kalmar 2016-12-20 00:19:08 +0100
  • 10cf01b0ac GAP code and ipynb for SL(3,Z) kalmar 2016-12-19 15:46:05 +0100
  • 39f0b86af2 Initial (working) code kalmar 2016-12-19 15:44:52 +0100