 kalmar
|
0891f28c6f
|
include FPGroups.jl in Groups
|
2017-05-11 18:30:03 +02:00 |
|
kalmar
|
2a3baab61a
|
indentation
|
2017-05-11 18:28:29 +02:00 |
|
kalmar
|
f256f60ca3
|
headers
|
2017-05-11 18:28:00 +02:00 |
|
kalmar
|
9570b8c84a
|
remove unused
|
2017-05-11 18:27:05 +02:00 |
|
kalmar
|
0c699894fa
|
FreeGroup utility function
|
2017-05-11 18:26:37 +02:00 |
|
kalmar
|
8dd4d96b6f
|
actually (<) and (<=) for FPSymbols were never used
|
2017-05-11 18:25:23 +02:00 |
|
kalmar
|
5f90c0c7b1
|
add_rel! and quotientgroup for the future
|
2017-05-11 18:24:05 +02:00 |
|
kalmar
|
1c638e296c
|
FPSymbol inversion
|
2017-05-11 18:23:01 +02:00 |
|
kalmar
|
e2585b5733
|
(==), (<) and (<=) for FPSymbols
|
2017-05-11 18:22:37 +02:00 |
|
kalmar
|
6d8f244ee8
|
show for FPSymbol
|
2017-05-11 18:22:04 +02:00 |
|
kalmar
|
48a80760fd
|
add_gen! was never used
|
2017-05-11 18:21:40 +02:00 |
|
kalmar
|
1e8c9468de
|
G.gens return parentless symbols; use generators(G);
|
2017-05-11 18:21:05 +02:00 |
|
kalmar
|
6c312cfef3
|
hash, isone, change_pow, length for FPSymbol
|
2017-05-11 18:19:59 +02:00 |
|
kalmar
|
31cb855c9c
|
FPGroup type overloads
|
2017-05-11 18:18:06 +02:00 |
|
kalmar
|
f3c36f132b
|
parent_type, elem_type
|
2017-05-11 18:17:42 +02:00 |
|
kalmar
|
71c2367cae
|
exports
|
2017-05-11 18:17:08 +02:00 |
|
kalmar
|
2d72393292
|
constructors
|
2017-05-11 18:16:51 +02:00 |
|
kalmar
|
6a29797557
|
the new definition of FPGroup <: Group
|
2017-05-11 18:16:21 +02:00 |
|
kalmar
|
de6f6bc52d
|
introduce FPSymbol as concrete type of GSymbol, parentless
|
2017-05-11 18:14:59 +02:00 |
|
kalmar
|
cbfc3979bb
|
remove free_groups.jl
|
2017-05-11 18:13:11 +02:00 |
|
kalmar
|
a54ebbcede
|
docs and headers
|
2017-05-11 18:10:46 +02:00 |
|
kalmar
|
34f93e0a6e
|
cosmetics
|
2017-05-11 18:09:55 +02:00 |
|
kalmar
|
038ece45c5
|
no arithmetic of GSymbols;
|
2017-05-11 18:09:39 +02:00 |
|
kalmar
|
b5139306f7
|
GSymbol has str fieldname, not gen
|
2017-05-11 18:09:09 +02:00 |
|
kalmar
|
3d9b27756f
|
move the exports
|
2017-05-11 18:08:18 +02:00 |
|
kalmar
|
3077ec0e8b
|
cosmetic changes to (*) and (^=power_by_squaring)
|
2017-05-11 18:07:57 +02:00 |
|
kalmar
|
d3adfdb8b6
|
GWord is never equal to GSymbol as == requires parent
|
2017-05-11 18:05:03 +02:00 |
|
kalmar
|
9b48932ab4
|
add doc to reduce function
|
2017-05-11 18:03:46 +02:00 |
|
kalmar
|
f9ccff01a8
|
deepcopy_internal override to protect ParentObject from duplication
|
2017-05-11 18:03:06 +02:00 |
|
kalmar
|
a3db7ab92c
|
add parent; move GWord constructor and GSymbol -> GWord conversion
|
2017-05-11 18:01:55 +02:00 |
|
kalmar
|
4718c40bd1
|
move hash
|
2017-05-11 18:00:46 +02:00 |
|
kalmar
|
cf4529dce6
|
add doc and parent namefield to GWord
|
2017-05-11 17:59:37 +02:00 |
|
kalmar
|
a7c91bf858
|
no arithmetic on GSymbols is allowed
|
2017-05-11 17:58:19 +02:00 |
|
kalmar
|
c03f7bb895
|
one is no more
|
2017-05-11 17:57:18 +02:00 |
|
kalmar
|
6ae234cabb
|
move deletion of identities into free_reduce
|
2017-05-11 17:52:14 +02:00 |
|
kalmar
|
12cf72b476
|
rename join_free_symbol to free_reduce
|
2017-05-11 17:51:16 +02:00 |
|
kalmar
|
7b564d5e89
|
but it makes more sense to define word for abstract GWords
|
2017-05-11 17:49:56 +02:00 |
|
kalmar
|
711d7dec12
|
define length and change_pow only for concrete subtypes of GSymbol
|
2017-05-11 17:47:15 +02:00 |
|
kalmar
|
1c7113932d
|
no multiplication of GSymbols -- no Words without parents allowed
|
2017-05-11 17:45:00 +02:00 |
|
kalmar
|
528228e46e
|
move inv and add parent inheritance
|
2017-05-11 17:43:33 +02:00 |
|
kalmar
|
ae1dac76fc
|
IdSymbol, one, etc. are now replaced by overloading parent object
|
2017-05-11 17:40:49 +02:00 |
|
kalmar
|
ba3ca8a0ba
|
show should be implemented for concrete subtypes of GSymbol
|
2017-05-11 17:38:07 +02:00 |
|
kalmar
|
eb71dfe26e
|
doc for GSymbol
|
2017-05-11 17:36:59 +02:00 |
|
kalmar
|
fd04c2ba86
|
Word type is no more, its GroupElem
|
2017-05-11 17:36:33 +02:00 |
|
kalmar
|
e08a5c71b3
|
FPGroups is imported in Groups.jl, no need to import
|
2017-05-11 17:35:15 +02:00 |
|
kalmar
|
6795693ce8
|
temporary uses and imports
|
2017-05-11 17:34:07 +02:00 |
|
kalmar
|
68e5e8e3ea
|
add FPGroups.jl
|
2017-05-09 17:46:52 +02:00 |
|
kalmar
|
aecfcbab0e
|
require Nemo
|
2017-05-09 17:46:41 +02:00 |
|
kalmar
|
8dfe9ec8f3
|
simplify change_pow
|
2017-04-18 13:19:04 +02:00 |
|
kalmar
|
38da5b4e98
|
simplify symmetric_AutSymbol
|
2017-04-18 13:18:29 +02:00 |