-
ec787e9d21
Tests for WreathProducts
kalmar
2017-07-23 17:09:50 +0200
-
8335001397
add minimal internal arithmetic for Freesymbols
kalmar
2017-07-23 17:08:32 +0200
-
2e6372576e
argument name is not used in elem_type
kalmar
2017-07-23 17:07:21 +0200
-
f8dfa91980
update FreeGroupsSymbols manipulation
kalmar
2017-07-23 17:06:34 +0200
-
cac6305852
trivial changes in docs
kalmar
2017-07-23 17:04:22 +0200
-
93d380094e
define GG, FF globally for inner testsets
kalmar
2017-07-23 17:03:28 +0200
-
166c4c217b
parent_type dispatches after Type of element
kalmar
2017-07-23 17:01:11 +0200
-
8a8d2237c5
Add tests for DirectProductGroups
kalmar
2017-07-23 03:27:03 +0200
-
b04a472063
combine * and inv under "Group Operations" label
kalmar
2017-07-23 03:24:40 +0200
-
251fdd4afa
fix setindex!
kalmar
2017-07-23 03:24:05 +0200
-
eedc7c2b71
don't allow failures on julia-v0.6
kalmar
2017-07-21 23:38:05 +0200
-
7328e24137
trivial updates to the latest version of PkgDev
kalmar
2017-07-21 23:37:30 +0200
-
cb649333a8
checkout the master of Nemo
kalmar
2017-07-21 23:36:19 +0200
-
aad2907c51
fix: WreathProductElem is typed only after GroupElem
kalmar
2017-07-21 17:14:55 +0200
-
b7151d1fc2
docs
kalmar
2017-07-21 16:05:49 +0200
-
6fa01d87ef
faster versions of * and inv for products of rings
kalmar
2017-07-21 16:04:45 +0200
-
6f08259466
Don't multiply if not necessary -> directly create element
kalmar
2017-07-21 16:04:11 +0200
-
d668574805
parent is constructable, don't use it in hash
kalmar
2017-07-21 16:03:26 +0200
-
c60e5a8c5c
reworked inv + doc
kalmar
2017-07-21 16:02:44 +0200
-
70a8a9b72d
get rid of the old parent stuff
kalmar
2017-07-21 16:02:07 +0200
-
0519d06baa
add check argument to WreathProductElem constructor
kalmar
2017-07-21 16:00:19 +0200
-
36a0e8593d
new multiplication
kalmar
2017-07-21 15:59:47 +0200
-
620b970f62
merge Binary operators and Inversion as Group operations
kalmar
2017-07-21 14:33:53 +0200
-
354da78769
clean-up show
kalmar
2017-07-21 14:31:05 +0200
-
68df946c81
don't construct parent(::WreatProductElem) when not necessary
kalmar
2017-07-21 14:30:48 +0200
-
7c1a96b64e
don't compare parents when parents are constructable
kalmar
2017-07-21 14:29:38 +0200
-
89b89f13a5
there is no parent field
kalmar
2017-07-21 14:23:47 +0200
-
b89e60e508
standard outer constructors for WreathProduct{Elem}
kalmar
2017-07-21 13:40:54 +0200
-
06a4e50a2d
don't compute G.N(p.n) and G.P(g.p) twice when coercing
kalmar
2017-07-21 13:37:28 +0200
-
4fa7d744c2
parent(WreathProductElem) is now computed on the fly ==> slow
kalmar
2017-07-21 13:36:39 +0200
-
a6f0685313
concrete updates to elem_type, parent_type
kalmar
2017-07-21 13:36:04 +0200
-
fa996d68fb
make WreathProduct{Elem} concrete & immutable
kalmar
2017-07-21 13:33:40 +0200
-
125e4a5263
remove eye
kalmar
2017-07-21 13:32:34 +0200
-
16f3b6b44e
update elements, order
kalmar
2017-07-21 13:31:42 +0200
-
83f9ed61b8
multiple dispatch style solutions for * and inv for rings
kalmar
2017-07-21 13:30:35 +0200
-
ca23485b5e
trivial updates to show, ==
kalmar
2017-07-21 13:28:19 +0200
-
610defe354
update hash according to changes in type
kalmar
2017-07-21 13:27:54 +0200
-
7989967cc4
vararg version of overload -- with mandatory checking
kalmar
2017-07-21 13:27:27 +0200
-
10022fd31c
DirectProductGroup overloads: with vector and GroupElem
kalmar
2017-07-21 13:27:00 +0200
-
ba4400efbb
optionally coerce to G when called G(a::Vector)
kalmar
2017-07-21 13:25:34 +0200
-
ae97c20e62
update \times outer constructor
kalmar
2017-07-21 13:23:16 +0200
-
6820274f65
handled by inner constructor
kalmar
2017-07-21 13:22:47 +0200
-
7f67a68176
compute parent of element as needed ==> avoid calling parent(g)
kalmar
2017-07-21 13:21:38 +0200
-
7f1b6f61d0
fine tuned elem_type, parent_type
kalmar
2017-07-21 13:20:31 +0200
-
d02c5afc65
store only single factor and multiplicity in DirectProductGroup
kalmar
2017-07-21 13:19:56 +0200
-
9cab1dd236
comment the standard script lines
kalmar
2017-07-17 20:17:59 +0200
-
-
a78e4ccea2
spacing
kalmar
2017-07-16 21:43:43 +0200
-
d2cb646119
use additive group for objects involving Rings
kalmar
2017-07-12 21:11:50 +0200
-
a5a67bd7d3
operations field is no more
kalmar
2017-07-12 21:11:12 +0200
-
674fa9f9d3
never access parent filed directly
kalmar
2017-07-12 21:10:31 +0200
-
a3eeee0728
AbstractVector interface for DirectProductGroupElem
kalmar
2017-07-12 21:10:01 +0200
-
799878ded5
Brave new constructors
kalmar
2017-07-12 21:07:05 +0200
-
6b84254416
typed elem_type
kalmar
2017-07-12 21:06:07 +0200
-
78eded0124
construct parent object on the fly
kalmar
2017-07-12 21:05:55 +0200
-
8631e5d16b
type DirectProductGroup/Elems after type of single factor
kalmar
2017-07-12 21:05:21 +0200
-
b07550cd37
email me on failures
kalmar
2017-07-11 16:36:28 +0200
-
331143ad42
no need to pull Permutations.jl anymore
kalmar
2017-07-11 16:36:15 +0200
-
c2f23644a0
update .travis.yml for julia 0.6
kalmar
2017-07-11 16:33:38 +0200
-
4492c4451e
fix skipped tests
kalmar
2017-07-11 16:26:26 +0200
-
2b59b5c89f
Merge branch 'enh/FPGroups'
kalmar
2017-07-06 17:30:56 +0200
-
-
df19042de6
initial @compat changes, works on v0.6 without warnings
kalmar
2017-07-06 17:27:56 +0200
-
32f07e1315
git fix typealias
kalmar
2017-07-06 10:04:39 +0200
-
b61c06cd96
Merge branch 'enh/FPGroups'
kalmar
2017-07-06 09:55:40 +0200
-
-
-
ff7bbe8e21
allow for different group operation in generate_balls/products
kalmar
2017-07-06 09:45:14 +0200
-
02c1022846
use @compat for types, etc
kalmar
2017-07-06 09:22:56 +0200
-
-
-
4bb3c9df4f
don't export generators, it's been replaced by gens
kalmar
2017-07-06 09:20:43 +0200
-
e0af8ded6e
adjust to changes in replace_all
kalmar
2017-07-06 09:19:15 +0200
-
18ad0a04b6
replace_all! returns if any modification has been performed
kalmar
2017-07-06 09:18:53 +0200
-
95ac3940d7
FreeGroup and AutGroup are AbstractFPGroups
kalmar
2017-07-06 09:17:17 +0200
-
5baa5935c3
fix for tests
kalmar
2017-07-06 09:13:36 +0200
-
8e9b9d5603
include the FPGroups.jl file
kalmar
2017-07-06 09:12:35 +0200
-
345e066664
change in doc
kalmar
2017-07-06 09:11:56 +0200
-
04b07eb260
define gens(::AbstractFPGroup)
kalmar
2017-07-06 09:11:27 +0200
-
ffa9cc4cd2
add_rel! and quotientgroup are implemented in FPGroups.jl
kalmar
2017-07-06 09:10:32 +0200
-
f395af242b
add FPGroups.jl file
kalmar
2017-07-06 09:09:49 +0200
-
ab31d8fca1
add AbstractFPGroup <: Group abstract type
kalmar
2017-07-06 09:09:24 +0200
-
-
4b68fe745f
docstring for gens function
kalmar
2017-07-06 09:05:24 +0200
-
392214b697
fix: don't shadow gens function
kalmar
2017-07-06 09:04:48 +0200
-
acbaa148bf
fix tests
kalmar
2017-07-05 16:26:35 +0200
-
5d51855d17
add unified gens(G::FPGroup) function
kalmar
2017-07-05 16:26:14 +0200
-
08ebec118f
formatting
kalmar
2017-07-05 16:22:50 +0200
-
2df2dd7bd6
add tests catching the problems
kalmar
2017-07-05 16:21:16 +0200
-
cc1d662814
fix non-parametrised dispatch of replace_all
kalmar
2017-07-05 16:18:37 +0200
-
6c8591b1d4
fix the replace! function in case length(toreplace)= 1
kalmar
2017-07-05 16:18:04 +0200
-
5a9d4b4bb6
add missing cases for find first (length =0, 1)
kalmar
2017-07-05 16:16:47 +0200
-
613ec172bd
add xor for 0.5 compatibility
kalmar
2017-07-05 13:56:01 +0200
-
1bfbd574ee
use xor(,) instead of $
kalmar
2017-07-04 17:16:06 +0200
-
9626d16da9
merge modules DirectProducts, WreathProducts into Groups
kalmar
2017-06-22 15:04:51 +0200
-
00f5fc1f23
add DirectProducts and WreathProducts
kalmar
2017-06-22 14:21:25 +0200
-
17888437ff
specialise generate_balls, products
kalmar
2017-06-05 17:32:20 +0200
-
1d3017389f
add quotes in docstring
kalmar
2017-05-19 10:35:29 +0200
-
64d5466aa7
rename variables to less confusing names
kalmar
2017-05-18 12:21:31 +0200
-
3776e947a3
extend parent_type, elem_type from Nemo (i.e. import)
kalmar
2017-05-17 17:47:13 +0200
-
c03882ae69
add Misc category with: products, generate_balls
kalmar
2017-05-17 17:46:30 +0200
-
40fb5566d7
uncomment FreeGroup-tests.jl
kalmar
2017-05-15 17:30:38 +0200
-
ab16d05b94
update AutGroup-tests
kalmar
2017-05-15 17:30:18 +0200
-
f505b00502
deepcopy_internal is handled in Groups.jl
kalmar
2017-05-15 17:29:47 +0200
-
7db7119a29
show for AutGroup
kalmar
2017-05-15 17:29:12 +0200
-
9395c8e2f0
more accurate show for FreeGroup
kalmar
2017-05-15 17:28:58 +0200
-
d3a9f8d3f6
perm_autsymbol(::Vector{Int}) convenience function
kalmar
2017-05-15 17:23:49 +0200