kalmar
/
GroupRings.jl
mirror of https://github.com/kalmarek/GroupRings.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity
320 Commits 12 Branches 2 Tags 284 KiB
Commit Graph

244 Commits

Author SHA1 Message Date
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
kalmar d53051a349 No GroupRingElem without parent is allowed 2017-05-17 11:30:05 +02:00
kalmar 1d5bf641ff abstract AbstractGrouRingElem & GroupRingElem{T} 
triangular dispatch??
 2017-05-17 11:28:47 +02:00
kalmar 917606af53 move the simplest GroupRing constructor to type definition 2017-05-17 11:27:25 +02:00
kalmar 010fdb13a0 import all the necessary stuff 2017-05-17 11:26:35 +02:00
kalmar e862cd92b0 Rename module to GroupRings 2017-05-16 21:06:44 +02:00
kalmar 5f32052560 move GroupAlgebras -> GroupRings 2017-05-16 21:03:21 +02:00
kalmar ab1e827fb0 fix indentation to 3 spaces (Nemo-like) 2017-05-16 18:51:40 +02:00
kalmar bb28b1bc54 add missing end 2017-05-16 18:51:22 +02:00
kalmar b51eb71d56 Headers 2017-05-16 18:47:34 +02:00
kalmar d919826e49 complete(::GroupRing) to complete not fully initalised GroupRing 2017-05-16 18:47:22 +02:00
kalmar 70817a8fbc reverse_dict function for fast basis element lookup 2017-05-16 18:46:30 +02:00
kalmar d13a8b27df rationalize 2017-05-16 18:45:56 +02:00
kalmar fc837ff481 length, norm, augmentation 2017-05-16 18:45:31 +02:00
kalmar 1c340ce008 remove size function, length(::GroupRingElem) is enough 2017-05-16 18:42:52 +02:00
kalmar 7e1f0ebc46 scalar functions for GrouRingElems: -, *, /, // 2017-05-16 18:42:19 +02:00
kalmar ba51f2ba0e multiplication in the GroupRing 2017-05-16 18:38:37 +02:00
kalmar 7204492e53 add, +, - for GroupRingElems 2017-05-16 18:37:55 +02:00
kalmar 955aaf48fa == for GroupRing and GroupRingElem 2017-05-16 18:36:17 +02:00
kalmar ad97e1fab7 deepcopy & hash 2017-05-16 18:35:37 +02:00
kalmar eecba6c5d8 GroupRing coercion (::GroupRing object overloads) 2017-05-16 18:35:20 +02:00
kalmar 5d51146688 elem_type, parent_type, parent 2017-05-16 18:34:43 +02:00
kalmar 6dd130e789 show GroupRing/GroupRingElem 2017-05-16 18:34:21 +02:00
kalmar 82fb401539 constructors for GroupRing 2017-05-16 18:32:12 +02:00
kalmar 84de4de030 exports 2017-05-16 18:31:45 +02:00
kalmar 03de314479 basic constructors of GroupRingElem 2017-05-16 18:31:26 +02:00
kalmar 02eff23d17 remove isequal 2017-05-16 18:30:43 +02:00
kalmar 89c5971cdd GroupAlgebraElement -> GroupRingElem 2017-05-16 18:29:14 +02:00
kalmar 7a23fdb759 GroupRing type definition 2017-05-16 18:28:32 +02:00
kalmar 200e9b429a using Nemo, imports 2017-05-16 18:27:32 +02:00
kalmar 5dcae51b48 Initial Commit 2017-03-13 19:44:26 +01:00
kalmar 5058d27d25 GroupAlgebras.jl generated files. 
license:  MIT
    authors:  kalmar
    years:    2017
    user:     

Julia Version 0.5.1-pre+0 [8d4ef37*]
 2017-03-13 18:03:48 +01:00