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

197 Commits

Author SHA1 Message Date
81b7aae9d9 trivial fixes in tests 2017-09-10 21:46:36 +02:00
df2e51128d add baseless_warn global constant to suppress warnings
for baseless Group Rings
2017-09-10 21:44:15 +02:00
d14c4ca0e7 add tests checking that comlpetions with 0s work 2017-09-10 21:43:09 +02:00
61bed0f3d0 allow to have 0s in completed pm 2017-09-10 21:42:45 +02:00
e223763b75 add check_pm function to test against zeros;
Since we can not throw from a thread, after introduction of Threading
into create_pm doesn't warn user on the possible not supported product.
Indeed threading quits immediately after first error is thrown, leaving
the pm matrix under-populated;
we check on zeros and warn the user on the situation;
2017-09-10 21:41:36 +02:00
0e8cec9f41 Performance tweaks to mul! 2017-08-27 20:38:02 +02:00
53c1872d0d avoid temporary variable 2017-08-04 21:35:29 +02:00
7bbfe4408c add scalar in-place mul! 2017-08-04 18:25:44 +02:00
50629a762c add threading to create_pm 2017-08-04 15:55:46 +02:00
afaff8cc41 add elem_type(::Type{GroupRing{T,S}}) 2017-08-01 10:31:35 +02:00
8d1604863c RG(::Vector{GroupElem}) method for constructing GroupRingElems 2017-07-27 22:09:48 +02:00
9e09317148 add specialisations for GroupRing over multiplicative Groups of Rings 2017-07-27 22:08:53 +02:00
ddaef73872 add explicit types for keywords 2017-07-25 14:49:41 +02:00
9919652590 replace eachindex() by 1:length() for now 2017-07-25 14:49:17 +02:00
66711a3181 cosmetic 2017-07-25 14:48:48 +02:00
39039f9ec1 no need to parametrize parent by type of coefficients 2017-07-25 14:47:59 +02:00
0d3dad9c4d replace for loop of @test's by @test all(...) 2017-07-25 14:47:06 +02:00
029de0194e move mul! to GroupRing multiplication tests 2017-07-25 14:46:18 +02:00
b874b2d38f accommodate for fastm kw 2017-07-25 14:45:35 +02:00
3e7fed4e41 totally pm-free multiplication! 2017-07-25 14:44:37 +02:00
147cd053e3 make complete! use fastm! 2017-07-25 14:43:37 +02:00
75627514fd replace init kw. by fastm in GroupRing constructor 2017-07-25 14:43:04 +02:00
2c4a7561c4 fix: parent_type, elem_type dispatch after type! 2017-07-25 14:35:09 +02:00
14e9a8505c Merge branch 'master' into enh/pmfree_mul 2017-07-25 00:03:02 +02:00
7188433472 fix: remove remains of the old version 2017-07-25 00:01:23 +02:00
1862868a35 more verbose throws in divexact 2017-07-24 22:50:52 +02:00
c21f9e043b throw if idices of X or Y go beyond size(pm) 2017-07-24 17:27:49 +02:00
b4aa2f3582 Merge branch 'enh/pmfree_mul' 2017-07-21 21:24:50 +02:00
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