Commit Graph

403 Commits

Author SHA1 Message Date
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
kalmar 9ac3fa3dfb add subscriptify 2017-04-18 13:17:48 +02:00
kalmar c9c52f3182 New tests to check correctness of sigmas, rhos, lambdas and epsilons 2017-02-10 16:01:19 +01:00
kalmar 31ad7d17eb Changes in test to accommodate change in AutSymbol 2017-02-10 16:00:49 +01:00
kalmar 4bf178ea94 remove old commented stuff 2017-02-10 15:05:47 +01:00
kalmar 2109f63738 fix: inv(flip_AutSymbol) gave incorrect results 2017-02-10 15:04:43 +01:00
kalmar f88d59e7e9 remapping the functionality of AutSymbols 2017-02-09 21:06:10 +01:00
kalmar a745090d0c Merge pull request #3 from abulak/fix/travis-allow-fail-nightly
add missing dash
2017-02-02 14:07:10 +01:00
kalmar 2f5c66aa2b add missing colon 2017-02-02 13:52:18 +01:00
kalmar 78808d2430 modify tests to accomodate changes 2017-02-02 11:47:23 +01:00
kalmar 91189124b3 Simplify perms before join_free_symbol for automorphisms 2017-02-02 11:47:03 +01:00