|
|
9b8c3722b3
|
Allow generation of SL(n,p) (matrices over Z/p)
|
2017-03-13 11:11:09 +01:00 |
|
|
|
48645a7b5c
|
Slightly faster algebra multiplication
|
2017-03-13 10:28:49 +01:00 |
|
|
|
a696205d6e
|
square_as_elt is defined @everywhere;
No need to include the whole property(T).jl @everywhere;
this usually takes a lot of time
|
2017-03-06 12:02:10 +01:00 |
|
|
|
2d90e2bf7c
|
Threaded product_matrix generation (??)
|
2017-03-06 11:57:42 +01:00 |
|
|
|
b9fe32823d
|
check_solution assumes that g≠g^-1 for all g in S
|
2017-03-06 11:57:10 +01:00 |
|
|
|
c6f3d15ef4
|
check_solution reports actual lower bound for kappa
|
2017-03-06 11:55:40 +01:00 |
|
|
|
b7cb142672
|
JuMP: add sum(A)==0 and bound kappa from above
A trick to force solver to better accuracy
|
2017-03-06 11:53:25 +01:00 |
|
|
|
ae1d1d3645
|
move SL(3,Z).jl → SL3Z.jl
|
2017-02-26 13:54:01 +01:00 |
|
|
|
068bfaf29f
|
cosmetics
|
2017-02-26 13:51:20 +01:00 |
|
|
|
35f669595d
|
non :Optimal solution is worth a warning, not error
|
2017-02-26 13:48:31 +01:00 |
|
|
|
f89dd7641c
|
update SL(3,Z) to recent interface
|
2017-02-26 13:47:26 +01:00 |
|
|
|
b0678e0482
|
remove addprocs, rmporcs -- better to call julia -pN
|
2017-02-11 13:53:16 +01:00 |
|
|
|
a40945380a
|
cosmetics
|
2017-02-11 13:52:32 +01:00 |
|
|
|
9612dd7b66
|
meat: compute distance to positive cone
|
2017-02-11 13:48:10 +01:00 |
|
|
|
bebf5dad75
|
pretty rationalize
|
2017-02-11 13:46:22 +01:00 |
|
|
|
aedec8d564
|
func to check solution for particular k, A_sqrt, Delta
|
2017-02-11 13:45:56 +01:00 |
|
|
|
604aa3a6b5
|
cosmetic changes in compute_SOS
|
2017-02-11 13:44:51 +01:00 |
|
|
|
a060b4ed8b
|
remove @everywhere as it is exported twice (producing warnings)
|
2017-02-11 13:43:18 +01:00 |
|
|
|
380b6acf93
|
rework solve_SDP function
|
2017-02-11 13:41:03 +01:00 |
|
|
|
6247f97a56
|
use JuMP explicitly in model generation
|
2017-02-11 13:38:02 +01:00 |
|
|
|
d10e4ca792
|
no need to compute squares in lapacian
|
2017-02-11 13:36:43 +01:00 |
|
|
|
f9f96acb9a
|
make the laplacian generation code more generic
|
2017-02-11 13:34:28 +01:00 |
|
|
|
7f707e60a0
|
generic create_product_matrix function
|
2017-02-11 13:33:35 +01:00 |
|
|
|
9c10c2da76
|
remove old "read GAP output" function
|
2017-02-11 13:32:26 +01:00 |
|
|
|
48b5878339
|
remove SL3Z-specific functions
|
2017-02-11 13:31:53 +01:00 |
|
|
|
c60679874d
|
slight revision of products
|
2017-02-11 13:31:01 +01:00 |
|
|
|
7cc456770d
|
create constraints from pm not the other way round
|
2017-02-11 13:30:17 +01:00 |
|
|
|
c5de9c206f
|
total rewrite with the aim of modularisation
|
2017-02-11 13:28:26 +01:00 |
|
|
|
c59ebe5086
|
beautify rationalize of algebra elt
|
2017-02-11 13:27:14 +01:00 |
|
|
|
9fd48445eb
|
Make algebra elts work with SparseVectors
|
2017-02-11 13:26:30 +01:00 |
|
|
|
e69f5d13b6
|
Splitted into Groups.jl package
|
2017-01-26 10:28:41 +01:00 |
|
|
|
56b63058e3
|
fix printing of GSymbol: No special (id) symbol
|
2017-01-23 11:30:07 +01:00 |
|
|
|
3e4f7a36a2
|
remove comment: ScottPJones advice
|
2017-01-23 11:29:05 +01:00 |
|
|
|
57a54843d4
|
rename reduce! -> freegroup_reduce!
|
2017-01-23 11:25:36 +01:00 |
|
|
|
31fe54b75b
|
change name IDSymbol -> IdSymbol
|
2017-01-23 11:23:36 +01:00 |
|
|
|
6fe2e62836
|
compose consecutive permutation automorphisms
|
2017-01-21 17:24:32 +01:00 |
|
|
|
9eeeb452f0
|
make pow a keyword argument for all primitive AutSymbols
|
2017-01-21 17:22:55 +01:00 |
|
|
|
cb5b70c74d
|
full change_pow function for AutSymbol
|
2017-01-21 17:21:45 +01:00 |
|
|
|
b19d8b7185
|
IdSymbol for AutSymbols
|
2017-01-21 17:20:15 +01:00 |
|
|
|
5572b0c1ce
|
Make AutGroups into standalone module
|
2017-01-21 17:19:08 +01:00 |
|
|
|
cb47c62f5d
|
(==) and hash functions for AutGroups
|
2017-01-21 17:17:45 +01:00 |
|
|
|
bfa1ad73ef
|
better inverse function
|
2017-01-21 17:15:59 +01:00 |
|
|
|
58c90d244d
|
(==) and reduce! functions as suggested by ScottPJones
|
2017-01-21 17:15:33 +01:00 |
|
|
|
1189c38504
|
Separation between Groups, FreeGroups and AutGroups
|
2017-01-19 10:14:37 +01:00 |
|
|
|
cec6f98392
|
move FreeGroups to Groups
|
2017-01-18 17:52:57 +01:00 |
|
|
|
04e72bf17a
|
oh boy, we need a lot of work to make unique work...
|
2017-01-18 17:51:58 +01:00 |
|
|
|
4aa92cda36
|
a better (iterative) reduce
|
2017-01-18 17:50:29 +01:00 |
|
|
|
9c06c9b161
|
Added AutSymbol&AutWord; Sorted out one() as Group identity
|
2017-01-18 17:49:50 +01:00 |
|
|
|
2a0e6ee4fb
|
Parametrising Automorphisms
|
2017-01-17 17:54:56 +01:00 |
|
|
|
c858b77b8c
|
Reshuffling of definitions
|
2017-01-17 17:54:30 +01:00 |
|
