13 Commits

Author	SHA1	Message	Date
kalmar	620b970f62	merge Binary operators and Inversion as Group operations	2017-07-21 14:33:53 +02:00
kalmar	354da78769	clean-up show	2017-07-21 14:31:05 +02:00
kalmar	68df946c81	don't construct parent(::WreatProductElem) when not necessary	2017-07-21 14:30:48 +02:00
kalmar	7c1a96b64e	don't compare parents when parents are constructable	2017-07-21 14:29:38 +02:00
kalmar	89b89f13a5	there is no parent field	2017-07-21 14:23:47 +02:00
kalmar	b89e60e508	standard outer constructors for WreathProduct{Elem}	2017-07-21 13:40:54 +02:00
kalmar	06a4e50a2d	don't compute G.N(p.n) and G.P(g.p) twice when coercing	2017-07-21 13:37:28 +02:00
kalmar	4fa7d744c2	parent(WreathProductElem) is now computed on the fly ==> slow	2017-07-21 13:36:39 +02:00
kalmar	a6f0685313	concrete updates to elem_type, parent_type	2017-07-21 13:36:04 +02:00
kalmar	fa996d68fb	make WreathProduct{Elem} concrete & immutable ... parametrize by WreathProduct{Elem} by T<:Group{Elem}	2017-07-21 13:34:57 +02:00
kalmar	a78e4ccea2	spacing	2017-07-16 21:43:43 +02:00
kalmar	9626d16da9	merge modules DirectProducts, WreathProducts into Groups	2017-06-22 15:04:51 +02:00
kalmar	00f5fc1f23	add DirectProducts and WreathProducts	2017-06-22 14:21:25 +02:00