kalmar/GroupRings.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-11-15 05:30:28 +01:00
Code Issues Releases Wiki Activity
207 Commits 12 Branches 2 Tags 284 KiB
8abc77a0c0
Commit Graph

181 Commits

Author SHA1 Message Date
kalmar
7390f4699e add check::Bool=true to add(::GroupRingElem, ::GroupRingElem) 2017-07-19 22:15:47 +02:00
kalmar
f939a2ae27 Revert "Type experiment: parametrise GroupRingElem after types of its parent" 
This reverts commit 75a83da8cb.
 2017-07-19 13:33:55 +02:00
kalmar
1a77e8a2bc faster (RG::GroupRing)(i::Int) 2017-07-17 09:32:38 +02:00
kalmar
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
kalmar
75a83da8cb Type experiment: parametrise GroupRingElem after types of its parent 2017-07-17 09:24:56 +02:00
kalmar
c1e2d4209a to match e.g. sparse and dense zeros... ugly 2017-07-16 21:45:24 +02:00
kalmar
8daa86df31 try...catch are slow 2017-07-16 21:44:42 +02:00
kalmar
a66d7755ae fix copy-paste mistake 2017-07-12 20:56:59 +02:00
kalmar
fc3cbeb14c preserve type of coerced element 2017-07-12 20:56:38 +02:00
kalmar
ee3b4e0761 allocation-free multiplication! 2017-07-12 20:43:12 +02:00
kalmar
6e95eae583 convert only if type of the product and result disagree 2017-07-12 14:31:51 +02:00
kalmar
b40b9f94eb in mul! promote to the common type only if necessary 2017-07-12 11:34:43 +02:00
kalmar
4e213c691d throw if dividing by a non-unit 2017-07-11 22:37:53 +02:00
kalmar
4cb4d299de small tweaks to printing 2017-07-11 18:44:08 +02:00
kalmar
ffee54616a critical fix: if g was not in basis setindex! failed silently 2017-07-11 18:28:30 +02:00
kalmar
51c638fd65 mul! function for GroupRingElems (different coeffs) 2017-07-11 16:16:41 +02:00
kalmar
b80db52742 deepcopy result if result === X to prevent X from zeroing 2017-07-11 16:02:43 +02:00
kalmar
5a3e2761a4 change throw message 2017-07-11 16:01:42 +02:00
kalmar
ed023be1fd zero the array where product of X and Y is stored 2017-07-11 16:00:50 +02:00
kalmar
8d22162504 implement Array protocol for GroupRingElem 2017-07-11 15:59:15 +02:00
kalmar
e92a5d72e8 add divexact function 2017-07-11 15:58:45 +02:00
kalmar
27e0b03b3c move type-related functions to one location 2017-07-11 15:58:02 +02:00
kalmar
688dfa5062 result is the firs argument of mul! 2017-07-10 19:28:19 +02:00
kalmar
dd518574ff fix: zero result coeffs before jumping into loopy mul! 2017-07-10 19:27:28 +02:00
kalmar
8463b928cb add RG(i::Int) = i*(id) function 2017-07-10 19:26:44 +02:00
kalmar
3b9e405565 use a single zero object to compare 2017-07-10 19:25:52 +02:00
kalmar
56a0964f30 better printing 2017-07-10 19:21:38 +02:00
kalmar
5fb131c390 add mul! and addeq! for MatrixSpace construction 2017-07-09 14:56:11 +02:00
kalmar
7fb68f8c68 initial @compat changes, works on v0.6 without warnings 2017-07-06 17:29:10 +02:00
kalmar
db02dbb97c add zero(RG::GroupRing) 2017-07-06 10:09:43 +02:00
kalmar
19f6906d33 add parent_type(::Type{GroupRingElem}) 2017-07-06 10:06:17 +02:00
kalmar
35fc74e6f2 fix multiple dispatch of scalar * 2017-06-06 22:29:02 +02:00
kalmar
962a9e6e73 Revert "reparametrise parent call overloads" 
This reverts commit 4b86d5d075.
 2017-06-06 22:25:01 +02:00
kalmar
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
kalmar
e61b573642 multiple dispatch of * and mul! 2017-06-06 18:44:53 +02:00
kalmar
292806db17 multiple dispatch of * instead of scalar mult 2017-06-06 18:44:00 +02:00
kalmar
61ed1f7870 rename groupring_mult[!] -> mul[!] 2017-06-06 11:46:15 +02:00
kalmar
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
kalmar
4b86d5d075 reparametrise parent call overloads 2017-06-06 00:03:38 +02:00
kalmar
43d78c97f8 parametrise GroupRing by Group and GroupElem 
as suggested by thofma
 2017-06-05 23:50:15 +02:00
kalmar
1e75372068 in setindex! perform coercion only when necessary 2017-06-05 21:38:03 +02:00
kalmar
b2231c44e6 coercion to GroupRing via specified function on underlying groups 2017-06-05 21:37:11 +02:00
kalmar
7ba59d6508 safer coercion of GroupRingElem to GroupRing 2017-06-05 21:36:31 +02:00
kalmar
986dd3dae1 deprecate groupring_mult in favour of multiple dispatch of (*) 2017-06-05 11:03:37 +02:00
kalmar
2eeb85d2ed Allow limited use of GroupRings without basis 2017-06-05 11:02:38 +02:00
kalmar
1e990f5896 better show of ::GroupRingElem 2017-05-19 10:32:09 +02:00
kalmar
6379c76646 change full -> initialise keyword; the default is to initialise by default 2017-05-19 10:00:41 +02:00
kalmar
5a26aaa5cb need vector for basis; collect(Base.product) preserves the structure 2017-05-18 21:50:57 +02:00
kalmar
faf1b94bae remove generators (for now) 2017-05-18 21:49:57 +02:00
kalmar
27e9ce254f try to coerce before throwing error 2017-05-18 21:49:12 +02:00
kalmar
ca3ec95ea2 rationalize for Integral Group Rings 2017-05-18 17:58:13 +02:00
kalmar
92daac300b one(GroupRing) returns multiplicative identity 2017-05-18 17:57:15 +02:00
kalmar
e3fa702507 length of GroupRingElem is the size of its support 2017-05-18 17:56:46 +02:00
kalmar
148c8e2611 rational division for integral group rings 2017-05-18 12:19:41 +02:00
kalmar
486f2cff9a add eltype(::GroupRingElem) 2017-05-18 12:19:12 +02:00
kalmar
3c8022b59d export complete, create_pm 2017-05-17 17:45:03 +02:00
kalmar
408c5a34e3 create_pm convenience 2017-05-17 17:44:51 +02:00
kalmar
07cc7eff16 generators of GroupRing (symmetric generating set) 2017-05-17 17:44:36 +02:00
kalmar
396f5b529c check basis equality for (==) of GroupRings 2017-05-17 17:44:13 +02:00
kalmar
4f5f6c685a format 2017-05-17 17:43:37 +02:00
kalmar
bef0b67af6 modify reverse_dict to allow generator arg 
e.g. reverse_dict(elements(G))
 2017-05-17 17:43:11 +02:00
kalmar
e18e90ddaf fix equality of GroupRing elements with different types of coeffs 
eg. SparseVector vs Vector
 2017-05-17 17:41:34 +02:00
kalmar
4491078b9e adapt GroupRing constructors to new type definition 2017-05-17 17:40:32 +02:00
kalmar
203743bb4d hide correctness check of GroupRingElem behind check arg 2017-05-17 17:39:56 +02:00
kalmar
796f04261d rework (RG::GroupRing) overloads, allowing Type argument 2017-05-17 17:39:05 +02:00
kalmar
9b8c2f6b45 rearange fields in GroupRing; second internal constructor (full) 2017-05-17 17:36:29 +02:00
kalmar
15af76f068 formatting 2017-05-17 14:38:00 +02:00
kalmar
0dd23532ac Type-parametrised star(::GroupRingElem) 2017-05-17 14:37:22 +02:00
kalmar
50e54fbe3b division works the other way 2017-05-17 14:36:55 +02:00
kalmar
0c0b3551b2 workaround Nemo-defined (*)(::Integer, RingElem) 2017-05-17 14:36:23 +02:00
kalmar
26abb88b3a get parametrised type constructor finally right 2017-05-17 14:33:49 +02:00
kalmar
7994c2d308 GroupRingElem is just a RingElem 2017-05-17 14:32:17 +02:00
kalmar
1393810781 parents are always defined for GroupRingElems 2017-05-17 12:51:08 +02:00
kalmar
20f0734d6f avoid comparison warnings in show 2017-05-17 12:50:46 +02:00
kalmar
05b7274ee7 rename k to value 2017-05-17 12:49:45 +02:00
kalmar
3176172f23 isdefined(::GroupRing, :basis) safety checks 2017-05-17 12:49:12 +02:00
kalmar
b73aebe33a star-involution using setindex! 2017-05-17 12:34:24 +02:00
kalmar
5913206954 this promotion has no effect 2017-05-17 12:33:37 +02:00
kalmar
6dec41ad18 adapt for groupring_mlt! in-place modification 2017-05-17 12:33:16 +02:00
kalmar
2461d54d8a zeros(T::Type, X::Array) modifies X?? 2017-05-17 12:32:46 +02:00
kalmar
560cfc182a get rid of Group Algebra legacy 2017-05-17 12:31:49 +02:00
kalmar
a62f63178c fix typo 2017-05-17 12:31:16 +02:00
kalmar
82f3ab6c34 pretty print of GroupRingElems 2017-05-17 12:31:04 +02:00
kalmar
192c72a39c isdefined(RG, :basis) for safety 2017-05-17 12:30:33 +02:00
kalmar
caf72ae980 coercion of GroupElem to GroupRingElem 2017-05-17 12:28:59 +02:00
kalmar
cdc2326e06 import getindex, setindex! 2017-05-17 12:28:22 +02:00
kalmar
04257e9054 short-circuting -> proper if...ends 2017-05-17 11:47:59 +02:00
kalmar
3a50399fb0 remove completetion of (::GroupRingElem) 2017-05-17 11:47:13 +02:00
kalmar
8685c25600 format 2017-05-17 11:45:56 +02:00
kalmar
890bde8b82 group_star_multiplication -> groupring_mult 2017-05-17 11:45:37 +02:00
kalmar
04ee0ac659 groupring_mult should preserve type, when possible 2017-05-17 11:44:33 +02:00
kalmar
2c43984e19 groupring_mult! (inplace) 2017-05-17 11:37:48 +02:00
kalmar
679166114e format 2017-05-17 11:37:17 +02:00
kalmar
085c47ddd3 fix not defined S -> Y 2017-05-17 11:36:21 +02:00
kalmar
7cdaeea6e9 getindex, setindex for (::GroupRingElem, n::Int/g::GroupElem) 2017-05-17 11:35:39 +02:00
kalmar
933c578b8f (::GroupRing)() zero elt 2017-05-17 11:34:39 +02:00
kalmar
ab0b6c871a use reverse_dict 2017-05-17 11:34:03 +02:00
kalmar
a7683c6fcc fix order of args 2017-05-17 11:33:01 +02:00
kalmar
3da2110355 check on the vector length in GroupRingElem constructor 2017-05-17 11:32:28 +02:00
kalmar
ec39853e92 type parametrised parent, parent_type 2017-05-17 11:30:35 +02:00