|
de72253e90
|
export complete! and star-involution
|
2017-07-21 20:36:48 +02:00 |
|
|
13fa9962a9
|
input similar directly into mul!
|
2017-07-21 17:33:29 +02:00 |
|
|
bce92ef278
|
change collect(a) -> [a...]: we need vector of elements for GroupRing
|
2017-07-21 17:17:38 +02:00 |
|
|
24312ee972
|
slowly update RG.pm as multiplication happens
|
2017-07-21 17:16:38 +02:00 |
|
|
9a35d1f6ae
|
always return result from mul!
|
2017-07-21 17:15:38 +02:00 |
|
|
2763a9c9cc
|
test updates for the new constructor of GroupRings
|
2017-07-19 23:01:53 +02:00 |
|
|
afac7de06d
|
doc strings for mul!s
|
2017-07-19 23:00:44 +02:00 |
|
|
d80cee5df5
|
when completing RG.pm compute only missing products
|
2017-07-19 22:57:59 +02:00 |
|
|
9470d31e95
|
rename A -> RG
|
2017-07-19 22:56:41 +02:00 |
|
|
170903b430
|
new versions of * : for those with and those without basis
|
2017-07-19 22:55:44 +02:00 |
|
|
9d5790d6d3
|
allow for pm to be slowly filled when computing products
|
2017-07-19 22:54:18 +02:00 |
|
|
acb05e7a85
|
better text of throws
|
2017-07-19 22:53:19 +02:00 |
|
|
bd300d83a5
|
compare GroupRing's pms only if basis is not available
|
2017-07-19 22:52:35 +02:00 |
|
|
4707cdf40a
|
restrict methods to GroupRings with basis
|
2017-07-19 22:51:56 +02:00 |
|
|
e8eaabc5d2
|
minimal constructor for GroupRing with no initialisation
|
2017-07-19 22:49:57 +02:00 |
|
|
10ab783844
|
pairing outer constructors
|
2017-07-19 22:48:59 +02:00 |
|
|
5b128cd146
|
brave new inner constructors for GroupRing
|
2017-07-19 22:48:17 +02:00 |
|
|
f2ad7c8045
|
new version of *, with optional check::Bool=true
|
2017-07-19 22:43:46 +02:00 |
|
|
f586cb5146
|
remove mul functions: * should call mul! directly
|
2017-07-19 22:41:40 +02:00 |
|
|
5c2fabfb08
|
make another version of mul! for GroupRingElts
|
2017-07-19 22:38:17 +02:00 |
|
|
4c275460cc
|
indentation
|
2017-07-19 22:19:58 +02:00 |
|
|
3166c588b1
|
remove checks from addeq!
|
2017-07-19 22:17:06 +02:00 |
|
|
7390f4699e
|
add check::Bool=true to add(::GroupRingElem, ::GroupRingElem)
|
2017-07-19 22:15:47 +02:00 |
|
|
f939a2ae27
|
Revert "Type experiment: parametrise GroupRingElem after types of its parent"
This reverts commit 75a83da8cb .
|
2017-07-19 13:33:55 +02:00 |
|
|
1a77e8a2bc
|
faster (RG::GroupRing)(i::Int)
|
2017-07-17 09:32:38 +02:00 |
|
|
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 |
|