kalmar/GroupRings.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-12-29 11:00:28 +01:00
Code Issues Releases Wiki Activity
274 Commits 12 Branches 2 Tags 284 KiB
fbot/deps
Commit Graph

229 Commits

Author SHA1 Message Date
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