249 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
kalmar	c98e853268	use indexing syntax to extract variables from JuMP.model	2017-06-09 11:57:56 +02:00
kalmar	01fbd037c3	no JuMP.name for Ps, to avoid warnings	2017-06-09 11:56:47 +02:00
kalmar	d64ba34407	dispatch sparsify! on the type of matrix	2017-06-09 11:56:17 +02:00
kalmar	0eae65169e	add Validated Numerics if we want to use Interval	2017-06-09 11:56:00 +02:00
kalmar	17ce9ff2fc	better initial logging	2017-06-08 21:44:20 +02:00
kalmar	e76f8f0c60	comment out sparsification	2017-06-08 21:40:35 +02:00
kalmar	7cc0bff40d	better logging	2017-06-08 21:40:13 +02:00
kalmar	529564439f	use args values provided by Settings	2017-06-08 21:39:45 +02:00
kalmar	2f2118a011	use multiplicative group of a Ring by default	2017-06-08 21:38:58 +02:00
kalmar	633f2222c8	rename ProblemData -> OrbitData	2017-06-08 21:38:14 +02:00
kalmar	34cb1c80ab	make ProblemData less specialised	2017-06-08 21:37:15 +02:00
kalmar	8725772d67	produce symmetric generating sets for SL(n, )	2017-06-08 21:36:18 +02:00
kalmar	1f2cadc5e4	names tweaking	2017-06-08 21:35:50 +02:00
kalmar	2859602639	use Settings type to pass arguments	2017-06-08 21:35:27 +02:00
kalmar	e868312a2a	Add SL_orbit.jl	2017-06-08 20:09:36 +02:00
kalmar	67b4bf8551	add AutFN_orbit.jl	2017-06-08 20:09:27 +02:00
kalmar	1b98997815	remove ArgParse	2017-06-08 20:08:05 +02:00
kalmar	1468986b4a	remove Group specific code	2017-06-08 20:07:34 +02:00
kalmar	f9127c59b4	make AutS an argument of compute_orbit_data	2017-06-08 20:06:47 +02:00
kalmar	fbfa968e78	Move Orbit related functions to OrbitDecomposition.jl	2017-06-08 20:04:04 +02:00
kalmar	72ea3f5e0a	group together matrix/C*-representation functions	2017-06-08 20:03:22 +02:00
kalmar	6ee187ec59	Move characters and Projections to a separate file	2017-06-08 20:01:35 +02:00
kalmar	1575aabfa9	Add simple permutation action on Nemo.MatElem	2017-06-08 19:59:18 +02:00
kalmar	762f069cbd	Iterator protocol for elements of Nemo.FinField	2017-06-08 19:51:48 +02:00
kalmar	6d07adabf3	remove the convert override	2017-06-08 19:51:04 +02:00
kalmar	0d45e885f9	remove old comments	2017-06-08 16:49:24 +02:00
kalmar	acae7322aa	no more @showprogress	2017-06-08 16:49:10 +02:00
kalmar	04b7622840	SOutFN_generating_set	2017-06-08 16:48:22 +02:00
kalmar	aaba1a056a	decouple init_orbit_data from Group, S generation	2017-06-08 16:47:50 +02:00
kalmar	c38dcb02ed	cosmetic (better message in throws)	2017-06-07 19:30:40 +02:00
kalmar	49c9151a83	delta, not \Delta, again	2017-06-07 11:07:37 +02:00
kalmar	8b694b6758	final check for the computed lambda and P	2017-06-07 11:07:18 +02:00
kalmar	eee9b3b767	init_data returns, Group, S and the laplacian	2017-06-07 11:06:54 +02:00
kalmar	95b06ccaf5	laplacian is stored as delta, not \Delta	2017-06-07 11:06:08 +02:00
kalmar	6250ccb82e	missing "="	2017-06-06 18:48:25 +02:00
kalmar	f3ec2df97d	logging inside OrbAutFN and OrbitDecomposition	2017-06-06 18:48:15 +02:00
kalmar	8dc5577254	import Group, GroupElem	2017-06-06 18:47:10 +02:00
kalmar	16cbd949be	move Orb_AutF4 to OrbAutFN	2017-06-06 18:04:29 +02:00
kalmar	00c5af2708	rename name -> dirname	2017-06-06 18:02:54 +02:00
kalmar	9d7c499a1d	initialise orbit decomposition if not present	2017-06-06 18:02:33 +02:00
kalmar	8e7d273db2	create dirname from parsed N and radius	2017-06-06 18:01:59 +02:00
kalmar	603ff57a45	parse radius from command line	2017-06-06 18:00:23 +02:00
kalmar	7f65823c2d	parse N from command line	2017-06-06 17:59:59 +02:00
kalmar	413383ad83	init_data = precompute orbit decomposition	2017-06-06 17:54:44 +02:00
kalmar	bcdcb962da	include OrbitDecomposition	2017-06-06 17:54:05 +02:00
kalmar	9692415674	accept parameter N	2017-06-06 17:53:50 +02:00
kalmar	d078eb73b7	dims are stored alongside U\pis	2017-06-06 17:53:33 +02:00
kalmar	5e04690722	externalise Group from compute_orbit_data	2017-06-06 17:53:03 +02:00
kalmar	3059142db0	cleaning	2017-06-06 16:23:36 +02:00
kalmar	39a6b39a2f	no need to save matrix_reps	2017-06-06 16:23:22 +02:00