1
0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-11-13 05:00:27 +01:00
Commit Graph

139 Commits

Author SHA1 Message Date
b3024a36c6 Merge branch 'enh/mul_addeq' of https://git.wmi.amu.edu.pl/kalmar/GroupRings.jl into enh/mul_addeq 2017-07-17 09:25:31 +02:00
75a83da8cb Type experiment: parametrise GroupRingElem after types of its parent 2017-07-17 09:24:56 +02:00
c1e2d4209a to match e.g. sparse and dense zeros... ugly 2017-07-16 21:45:24 +02:00
8daa86df31 try...catch are slow 2017-07-16 21:44:42 +02:00
a66d7755ae fix copy-paste mistake 2017-07-12 20:56:59 +02:00
fc3cbeb14c preserve type of coerced element 2017-07-12 20:56:38 +02:00
ee3b4e0761 allocation-free multiplication! 2017-07-12 20:43:12 +02:00
6e95eae583 convert only if type of the product and result disagree 2017-07-12 14:31:51 +02:00
b40b9f94eb in mul! promote to the common type only if necessary 2017-07-12 11:34:43 +02:00
4e213c691d throw if dividing by a non-unit 2017-07-11 22:37:53 +02:00
7ce52c6997 GroupRing.star -> GroupRings.star 2017-07-11 18:44:34 +02:00
4cb4d299de small tweaks to printing 2017-07-11 18:44:08 +02:00
f852a6ca8e add tests for the silent failure 2017-07-11 18:43:37 +02:00
ffee54616a critical fix: if g was not in basis setindex! failed silently 2017-07-11 18:28:30 +02:00
eba594b7a4 sanity test mul!(a,a,b) == a*b 2017-07-11 16:18:11 +02:00
51c638fd65 mul! function for GroupRingElems (different coeffs) 2017-07-11 16:16:41 +02:00
b80db52742 deepcopy result if result === X to prevent X from zeroing 2017-07-11 16:02:43 +02:00
5a3e2761a4 change throw message 2017-07-11 16:01:42 +02:00
ed023be1fd zero the array where product of X and Y is stored 2017-07-11 16:00:50 +02:00
8d22162504 implement Array protocol for GroupRingElem 2017-07-11 15:59:15 +02:00
e92a5d72e8 add divexact function 2017-07-11 15:58:45 +02:00
27e0b03b3c move type-related functions to one location 2017-07-11 15:58:02 +02:00
688dfa5062 result is the firs argument of mul! 2017-07-10 19:28:19 +02:00
dd518574ff fix: zero result coeffs before jumping into loopy mul! 2017-07-10 19:27:28 +02:00
8463b928cb add RG(i::Int) = i*(id) function 2017-07-10 19:26:44 +02:00
3b9e405565 use a single zero object to compare 2017-07-10 19:25:52 +02:00
56a0964f30 better printing 2017-07-10 19:21:38 +02:00
5fb131c390 add mul! and addeq! for MatrixSpace construction 2017-07-09 14:56:11 +02:00
e4ed91b473 rename generators(G::Group) -> gens(G::Group) 2017-07-06 17:30:19 +02:00
db02dbb97c add zero(RG::GroupRing) 2017-07-06 10:09:43 +02:00
19f6906d33 add parent_type(::Type{GroupRingElem}) 2017-07-06 10:06:17 +02:00
6a22b91c1e drop 0.5 from julia REQUIRE 2017-07-05 13:25:14 +02:00
35fc74e6f2 fix multiple dispatch of scalar * 2017-06-06 22:29:02 +02:00
962a9e6e73 Revert "reparametrise parent call overloads"
This reverts commit 4b86d5d075.
2017-06-06 22:25:01 +02:00
a726462488 Merge branch 'enh/Nemoification' of git.wmi.amu.edu.pl:kalmar/GroupRings.jl into enh/Nemoification
# Conflicts:
#	src/GroupRings.jl
2017-06-06 18:46:11 +02:00
e61b573642 multiple dispatch of * and mul! 2017-06-06 18:44:53 +02:00
292806db17 multiple dispatch of * instead of scalar mult 2017-06-06 18:44:00 +02:00
61ed1f7870 rename groupring_mult[!] -> mul[!] 2017-06-06 11:46:15 +02:00
fe1f552b26 Merge branch 'enh/Nemoification' of https://git.wmi.amu.edu.pl/kalmar/GroupRings.jl into enh/Nemoification 2017-06-06 00:12:15 +02:00
4b86d5d075 reparametrise parent call overloads 2017-06-06 00:03:38 +02:00
43d78c97f8 parametrise GroupRing by Group and GroupElem
as suggested by thofma
2017-06-05 23:50:15 +02:00
1e75372068 in setindex! perform coercion only when necessary 2017-06-05 21:38:03 +02:00
b2231c44e6 coercion to GroupRing via specified function on underlying groups 2017-06-05 21:37:11 +02:00
7ba59d6508 safer coercion of GroupRingElem to GroupRing 2017-06-05 21:36:31 +02:00
0972cd1fdc tests: fix GroupRingElem printing 2017-06-05 11:14:24 +02:00
a03420e6d3 tests: fix GroupRing initialisation 2017-06-05 11:14:09 +02:00
986dd3dae1 deprecate groupring_mult in favour of multiple dispatch of (*) 2017-06-05 11:03:37 +02:00
2eeb85d2ed Allow limited use of GroupRings without basis 2017-06-05 11:02:38 +02:00
1e990f5896 better show of ::GroupRingElem 2017-05-19 10:32:09 +02:00
6379c76646 change full -> initialise keyword; the default is to initialise by default 2017-05-19 10:00:41 +02:00