2c7d968990
embedding constructor of GroupRing produces sparse GroupRingElem
2018-08-15 19:28:14 +02:00
d5e390bce3
don't complete if basis is not defined
2018-08-15 19:27:19 +02:00
607d2b42c0
fix constructor issue
2018-08-14 20:18:34 +02:00
c7115c689e
preserve storage type of X.coeffs
2018-08-14 19:28:24 +02:00
2fee695b51
fix addition/subtraction for different coeff types
2018-08-14 09:47:15 +02:00
6b2cd781c7
general clean-up
2018-08-13 20:55:27 +02:00
68c6d116a9
remove broken divexact
2018-08-13 20:54:15 +02:00
e472a42d09
remove baseless_warn
2018-08-13 20:48:51 +02:00
0180856083
remove rationalize
2018-08-13 20:47:54 +02:00
f6b31ec2c9
don't compare bases when ==(::GroupRing, ::GroupRing)
...
comparing pm should be enough
2018-08-13 19:34:24 +02:00
4dd2c02a4c
simple constructor from support of GroupRingElem
2018-08-13 19:33:19 +02:00
29f5bc1ee7
subtraction allocates once only
2018-08-13 19:31:58 +02:00
86777050b1
don't allocate full(X.coeefs) when computing hash
2018-08-13 19:30:03 +02:00
d2e9688e9f
replace all the // function by a single, simple one
2018-08-13 19:29:10 +02:00
2318128f6d
add supp, rename augmentation -> aug
2018-08-13 19:27:43 +02:00
9f6b7f4236
remove the parent check in setindex!(X::GroupRingElem, v, g)
...
it should be fine as long as we can coerce g to parent(X).group
2018-07-30 19:23:49 +02:00
9a4038e2da
migrate to AbstractAlgebra
2018-07-27 00:23:19 +02:00
725493afc0
Typed reverse Dict
2018-04-09 13:05:31 +02:00
1074d4e849
replace splatting by vec
2018-04-09 13:02:15 +02:00
15a003ab72
broader *(::{}, ::GroupRingElem) to prevent Nemo generic *(::, RingElem)
2017-11-17 15:27:03 +01:00
9a1bb2e707
update eltype
2017-11-17 15:25:42 +01:00
b2ed850bcc
Merge branch 'master' into enh/julia-v0.6
2017-11-15 20:31:03 +01:00
ffffc7134d
make baseless_warn global
2017-11-15 20:30:08 +01:00
a78f6bedce
allow precompilation of the module
2017-11-08 09:07:36 +01:00
2c45b70eac
remove type annotation
2017-11-03 16:39:18 +01:00
8661781c92
changes in docs
2017-11-03 16:39:01 +01:00
8abc77a0c0
override Nemo's *(Rational, ::GroupRingElem)
2017-09-15 19:03:43 +02:00
36be0e000f
parametrise GroupRingElem on the type of parent
2017-09-15 19:02:24 +02:00
505295aa5a
convert directly the elements of X.coeffs
2017-09-14 17:32:31 +02:00
439be34d21
move to the new syntax of v0.6
2017-09-14 17:31:27 +02:00
b0cce16dfa
Merge branch 'master' into enh/julia-v0.6
2017-09-14 11:51:54 +02:00
6061e8c323
fix deprecated warnings
2017-09-13 11:13:53 +02:00
822067b04c
Merge branch 'master' into enh/julia-v0.6
2017-09-13 10:59:27 +02:00
df2e51128d
add baseless_warn global constant to suppress warnings
...
for baseless Group Rings
2017-09-10 21:44:15 +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
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
