229 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
kalmar	58521b9c2f	remove "if file exists..."	2017-06-06 16:22:50 +02:00
kalmar	222f0f40b5	add pm, Delta computation	2017-06-06 16:22:05 +02:00
kalmar	e2198623d6	using PropertyT	2017-06-06 16:20:44 +02:00
kalmar	070d7ec8f5	rename main to compute_orbit_data	2017-06-06 16:20:20 +02:00
kalmar	45696aac34	move Cstar_repr	2017-06-06 16:19:46 +02:00
kalmar	8c930a6f7f	move overwritten convert	2017-06-06 16:19:17 +02:00
kalmar	ca2948404b	Solve the orbit decomposed problem	2017-06-06 12:15:30 +02:00
kalmar	6a7b054b9f	code to decompose problem for AutFN into an orbit problem	2017-06-06 12:15:06 +02:00
kalmar	d0b1f65cad	update gitignore	2017-06-06 12:12:23 +02:00
kalmar	5311680a26	add WreathProducts	2017-06-06 12:05:28 +02:00
kalmar	3050446a97	Add DirectProducts	2017-06-06 12:05:14 +02:00
kalmar	c9434a646a	rework AutFN.jl (most functionality is in Groups module)	2017-06-06 12:04:48 +02:00
kalmar	86b8127322	Update SL.jl to the newest GroupRings/PropertyT	2017-06-06 12:03:58 +02:00
kalmar	dc9cd4c9ac	rework balls generation for AutFN	2017-04-10 21:43:56 +02:00
kalmar	88d2e2549b	use version of products from PropertyT	2017-04-10 21:43:15 +02:00
kalmar	b3bc17cba2	Add SOut generating set	2017-04-10 20:02:17 +02:00
kalmar	c090f1d3c5	bring AutFN up to date with PropertyT	2017-04-10 20:01:56 +02:00
kalmar	216a886488	slight tweaks	2017-04-08 13:48:00 +02:00
kalmar	2c621947ef	fix for 9697bdc (name was not set to variable)	2017-04-01 12:14:25 +02:00
kalmar	508a2eaa93	report size of SL(n,p)	2017-03-31 22:41:04 +02:00