Commit Graph

Select branches

Hide Pull Requests

1703.09680v1

1712.07167

AutFn

enh/MCG

enh/cleanup_run_main

enh/cmd_line_interface

enh/global_tidying

enh/include_logging

enh/modularize

enh/nemo-modular

enh/radius

enh/symmetries

fix/new_type_system

master

Mono Color

• 2dd747a748 move cpu/multithreading selection to CPUselect.jl kalmarek 2017-11-06 14:24:50 +0100
• d7c8b45090 main() entry to PropertyT kalmarek 2017-11-06 02:01:55 +0100
• f4b0f4aa1d Move groptheoretic stuff to SLN.jl kalmarek 2017-11-06 01:58:50 +0100
• 25fef54e7d Move grouptheoretic stuff to AutFNs module kalmarek 2017-11-06 01:58:16 +0100
• 1bbeca08f4 info on threadcount and workers kalmarek 2017-11-05 21:25:30 +0100
• b5cd481e61 unify iterations default (to 60k) kalmarek 2017-11-05 20:43:35 +0100
• eb88f40ad0 @parallel compute_SOS in PropertyT is done memory efficiently kalmarek 2017-11-05 20:42:31 +0100
• 931189667d add commented-out Mosek solver kalmarek 2017-11-03 16:37:45 +0100
• 096bc5c1c2 ignore all orbit results kalmarek 2017-10-09 20:35:37 +0200
• 19f62c0b3e Changes to accomodate for directory split in PropertyT kalmarek 2017-10-09 19:32:45 +0200
• 84869c14fc add 2 procs to speed-up checking kalmarek 2017-10-04 21:33:20 +0200
• 330319abbc Rename Out -> Aut kalmarek 2017-10-04 21:32:23 +0200
• 106abbe5c1 workaround for Nemo-v0.6.3+: perm is no longer a type, it's a function kalmarek 2017-10-04 21:31:53 +0200
• 66a38d89aa unresolved merge?? kalmarek 2017-09-10 17:37:56 +0200
• 39d7baf1cb next updates to README 1703.09680v1 kalmarek 2017-09-10 17:35:12 +0200
• 62aab2d4b8 Merge branch '1703.09680v1' of git.wmi.amu.edu.pl:kalmar/GroupsWithPropertyT into 1703.09680v1 kalmarek 2017-09-10 17:26:28 +0200
• 1802029df9 Groups.jl were not used in 1703.09680v1 kalmarek 2017-09-10 17:23:17 +0200
• f1b095e518 Add README kalmarek 2017-09-10 15:10:55 +0200
• e761806701 Groups.jl were not used in 1703.09680v1 kalmarek 2017-09-10 17:23:17 +0200
• 1bbee23758 Merge branch 'master' of git.wmi.amu.edu.pl:kalmar/GroupsWithPropertyT kalmarek 2017-09-10 17:11:50 +0200
• a29937ad10 Merge branch 'master' of git.wmi.amu.edu.pl:kalmar/GroupsWithPropertyT kalmarek 2017-09-10 17:10:10 +0200
• 0d2a02982c Revert "fix: G() instead of one(G)" kalmarek 2017-09-10 17:09:20 +0200
• 82da35efdd unify AutFN and AutFN_orbit kalmarek 2017-09-10 16:20:36 +0200
• ec4941823f unify AutFN and AutFN_orbit kalmarek 2017-09-10 16:20:36 +0200
• fa3fffa202 fix: G() instead of one(G) kalmarek 2017-09-10 16:20:12 +0200
• 563c69db28 update SL_orbit.jl kalmarek 2017-09-10 15:41:49 +0200
• 8a022c03e0 update SL.jl kalmarek 2017-09-10 15:40:52 +0200
• a28df98741 Merge branch 'master' of git.wmi.amu.edu.pl:kalmar/GroupsWithPropertyT kalmarek 2017-09-10 15:40:00 +0200
• 08f36ad3ff Add README kalmarek 2017-09-10 15:10:55 +0200
• b6633e51b2 Add README kalmarek 2017-09-10 15:10:55 +0200
• ee11e32030 fix undefined variable kalmarek 2017-09-10 14:32:44 +0200
• 57f92113ac slight tweaks kalmar 2017-04-08 13:48:00 +0200
• da236c32ce fix for 9697bdc (name was not set to variable) kalmar 2017-04-01 12:14:25 +0200
• 2feadb5c20 Merge remote-tracking branch 'origin/enh/radius' into 1703.09680v1 kalmarek 2017-09-10 13:09:26 +0200
• fcccb364bd fix selection of number of BLAS threads kalmarek 2017-09-10 13:01:11 +0200
• 67523717b5 change the defaults to more sane values: tol=1e-14, iterations=200000 kalmar 2017-08-08 19:16:45 +0200
• e78b8dbefd act by perm on a MatElem by native column/row operations kalmar 2017-08-07 19:11:57 +0200
• aa2d0083d3 add -X flag for computations over SL(3,Z[X]) kalmar 2017-08-01 15:07:05 +0200
• 85841c9399 remove SemiDirectProduct.jl kalmar 2017-07-24 21:42:07 +0200
• ab02448238 rename generators -> gens kalmar 2017-07-06 17:36:52 +0200
• 77c3ba1c61 remove DirectProducts and WreathProducts enh/symmetries kalmar 2017-06-22 15:19:08 +0200
• c6a56fcadb integrate with new PropertyT.jl kalmar 2017-06-22 15:18:26 +0200
• 9d33d28bd6 remove old AutF4.jl kalmar 2017-06-22 15:17:36 +0200
• 5fa9c26475 moved orbit-related stuff to PropertyT package kalmar 2017-06-22 15:17:12 +0200
• d4661d762a one liner for Id. TODO: fix by multiple dispatch kalmar 2017-06-22 13:36:15 +0200
• dbc74b212e better printing kalmar 2017-06-22 13:35:22 +0200
• b6cf402260 move reconstruct to OrbitDecomposition.jl kalmar 2017-06-22 13:34:29 +0200
• ee08c52305 move sqrtm out och check_distance_to_positive_cone kalmar 2017-06-22 12:04:24 +0200
• 9c3a1d56c7 correct reconstruction of the original solution kalmar 2017-06-22 12:03:36 +0200
• f2ffc142f7 move include after type definitions kalmar 2017-06-22 12:01:17 +0200
• 1468ac209c Group -> Nemo.Group for easier include kalmar 2017-06-21 16:51:21 +0200
• 1a5a391f60 better printing kalmar 2017-06-21 16:50:02 +0200
• 05ee9989b3 alternative (commented) problem formulation kalmar 2017-06-21 16:49:30 +0200
• 3d99c0aff9 rename cnstrs -> constraints kalmar 2017-06-21 16:46:49 +0200
• c8c75dc1e7 central projection is defined as \Sum\chi(inv(g))g kalmar 2017-06-21 16:46:22 +0200
• b5c069b2a8 remove U\pi_matrices func kalmar 2017-06-21 16:44:55 +0200
• d2e2862ae6 fine-tune orthSVD kalmar 2017-06-21 16:44:14 +0200
• cc0f07bfd2 make orbits into vectors kalmar 2017-06-21 16:43:20 +0200
• 403984e8d2 the default number of constraints is the length of laplacian kalmar 2017-06-21 16:42:09 +0200
• 3c8c3e4e2a remove small_to_zero! kalmar 2017-06-21 16:41:07 +0200
• 0c1c816264 don't sparsify by default kalmar 2017-06-21 16:40:52 +0200
• 806d9c822c sparsify for sparse arrays kalmar 2017-06-21 16:38:57 +0200
• 8ce128d926 fix sparsify for dense matrices kalmar 2017-06-21 16:38:19 +0200
• 1aba4efa21 SCS.Direct solver is faster for those problems kalmar 2017-06-09 22:07:00 +0200
• 044cdb06e8 formatting kalmar 2017-06-09 22:06:25 +0200
• 692a51c53e dirname finally kalmar 2017-06-09 22:05:55 +0200
• 3f33cd69b8 matrix_repr can be computed for any g::GroupElem kalmar 2017-06-09 22:05:02 +0200
• 7510198187 add using DirectProducts, WreathProducts kalmar 2017-06-09 22:04:30 +0200
• 578a75d807 Add action of permutation group on SLn kalmar 2017-06-09 22:03:35 +0200
• 6ac2f02fba fix: SOutFN requires only N kalmar 2017-06-09 22:02:48 +0200
• 7e159f9d3d add action of permutation group on AutFN kalmar 2017-06-09 22:01:51 +0200
• fa2b218449 simplify dirnames kalmar 2017-06-09 12:00:41 +0200
• 0db3200a4c name is stored in ::Settings kalmar 2017-06-09 12:00:15 +0200
• b9cdfb3a97 wlen is no longer a kwarg in check_distance_to_positive_cone kalmar 2017-06-09 11:59:25 +0200
• c6c3cba728 splaplacian is Float64 by default kalmar 2017-06-09 11:58:44 +0200
• 53ea594438 add sparse kwarg to transform kalmar 2017-06-09 11:58:21 +0200
• c98e853268 use indexing syntax to extract variables from JuMP.model kalmar 2017-06-09 11:57:56 +0200
• 01fbd037c3 no JuMP.name for Ps, to avoid warnings kalmar 2017-06-09 11:56:47 +0200
• d64ba34407 dispatch sparsify! on the type of matrix kalmar 2017-06-09 11:56:17 +0200
• 0eae65169e add Validated Numerics if we want to use Interval kalmar 2017-06-09 11:56:00 +0200
• 17ce9ff2fc better initial logging kalmar 2017-06-08 21:44:20 +0200
• e76f8f0c60 comment out sparsification kalmar 2017-06-08 21:40:35 +0200
• 7cc0bff40d better logging kalmar 2017-06-08 21:40:13 +0200
• 529564439f use args values provided by Settings kalmar 2017-06-08 21:39:45 +0200
• 2f2118a011 use multiplicative group of a Ring by default kalmar 2017-06-08 21:38:58 +0200
• 633f2222c8 rename ProblemData -> OrbitData kalmar 2017-06-08 21:38:14 +0200
• 34cb1c80ab make ProblemData less specialised kalmar 2017-06-08 21:37:15 +0200
• 8725772d67 produce symmetric generating sets for SL(n, ) kalmar 2017-06-08 21:36:18 +0200
• 1f2cadc5e4 names tweaking kalmar 2017-06-08 21:35:50 +0200
• 2859602639 use Settings type to pass arguments kalmar 2017-06-08 21:35:27 +0200
• e868312a2a Add SL_orbit.jl kalmar 2017-06-08 20:09:36 +0200
• 67b4bf8551 add AutFN_orbit.jl kalmar 2017-06-08 20:09:27 +0200
• 1b98997815 remove ArgParse kalmar 2017-06-08 20:08:05 +0200
• 1468986b4a remove Group specific code kalmar 2017-06-08 20:07:34 +0200
• f9127c59b4 make AutS an argument of compute_orbit_data kalmar 2017-06-08 20:05:43 +0200
• fbfa968e78 Move Orbit related functions to OrbitDecomposition.jl kalmar 2017-06-08 20:04:04 +0200
• 72ea3f5e0a group together matrix/C*-representation functions kalmar 2017-06-08 20:03:22 +0200
• 6ee187ec59 Move characters and Projections to a separate file kalmar 2017-06-08 20:01:35 +0200
• 1575aabfa9 Add simple permutation action on Nemo.MatElem kalmar 2017-06-08 19:59:18 +0200
• 762f069cbd Iterator protocol for elements of Nemo.FinField kalmar 2017-06-08 19:51:48 +0200