|
|
1393810781
|
parents are always defined for GroupRingElems
|
2017-05-17 12:51:08 +02:00 |
|
|
|
20f0734d6f
|
avoid comparison warnings in show
|
2017-05-17 12:50:46 +02:00 |
|
|
|
05b7274ee7
|
rename k to value
|
2017-05-17 12:49:45 +02:00 |
|
|
|
3176172f23
|
isdefined(::GroupRing, :basis) safety checks
|
2017-05-17 12:49:12 +02:00 |
|
|
|
b73aebe33a
|
star-involution using setindex!
|
2017-05-17 12:34:24 +02:00 |
|
|
|
5913206954
|
this promotion has no effect
|
2017-05-17 12:33:37 +02:00 |
|
|
|
6dec41ad18
|
adapt for groupring_mlt! in-place modification
|
2017-05-17 12:33:16 +02:00 |
|
|
|
2461d54d8a
|
zeros(T::Type, X::Array) modifies X??
|
2017-05-17 12:32:46 +02:00 |
|
|
|
560cfc182a
|
get rid of Group Algebra legacy
|
2017-05-17 12:31:49 +02:00 |
|
|
|
a62f63178c
|
fix typo
|
2017-05-17 12:31:16 +02:00 |
|
|
|
82f3ab6c34
|
pretty print of GroupRingElems
|
2017-05-17 12:31:04 +02:00 |
|
|
|
192c72a39c
|
isdefined(RG, :basis) for safety
|
2017-05-17 12:30:33 +02:00 |
|
|
|
caf72ae980
|
coercion of GroupElem to GroupRingElem
|
2017-05-17 12:28:59 +02:00 |
|
|
|
cdc2326e06
|
import getindex, setindex!
|
2017-05-17 12:28:22 +02:00 |
|
|
|
04257e9054
|
short-circuting -> proper if...ends
|
2017-05-17 11:47:59 +02:00 |
|
|
|
3a50399fb0
|
remove completetion of (::GroupRingElem)
|
2017-05-17 11:47:13 +02:00 |
|
|
|
8685c25600
|
format
|
2017-05-17 11:45:56 +02:00 |
|
|
|
890bde8b82
|
group_star_multiplication -> groupring_mult
|
2017-05-17 11:45:37 +02:00 |
|
|
|
04ee0ac659
|
groupring_mult should preserve type, when possible
|
2017-05-17 11:44:33 +02:00 |
|
|
|
2c43984e19
|
groupring_mult! (inplace)
|
2017-05-17 11:37:48 +02:00 |
|
|
|
679166114e
|
format
|
2017-05-17 11:37:17 +02:00 |
|
|
|
085c47ddd3
|
fix not defined S -> Y
|
2017-05-17 11:36:21 +02:00 |
|
|
|
7cdaeea6e9
|
getindex, setindex for (::GroupRingElem, n::Int/g::GroupElem)
|
2017-05-17 11:35:39 +02:00 |
|
|
|
933c578b8f
|
(::GroupRing)() zero elt
|
2017-05-17 11:34:39 +02:00 |
|
|
|
ab0b6c871a
|
use reverse_dict
|
2017-05-17 11:34:03 +02:00 |
|
|
|
a7683c6fcc
|
fix order of args
|
2017-05-17 11:33:01 +02:00 |
|
|
|
3da2110355
|
check on the vector length in GroupRingElem constructor
|
2017-05-17 11:32:28 +02:00 |
|
|
|
ec39853e92
|
type parametrised parent, parent_type
|
2017-05-17 11:30:35 +02:00 |
|
|
|
d53051a349
|
No GroupRingElem without parent is allowed
|
2017-05-17 11:30:05 +02:00 |
|
|
|
1d5bf641ff
|
abstract AbstractGrouRingElem & GroupRingElem{T}
triangular dispatch??
|
2017-05-17 11:28:47 +02:00 |
|
|
|
917606af53
|
move the simplest GroupRing constructor to type definition
|
2017-05-17 11:27:25 +02:00 |
|
|
|
010fdb13a0
|
import all the necessary stuff
|
2017-05-17 11:26:35 +02:00 |
|
|
|
b0b27051cd
|
add Nemo to REQUIRE
|
2017-05-16 21:06:59 +02:00 |
|
|
|
e862cd92b0
|
Rename module to GroupRings
|
2017-05-16 21:06:44 +02:00 |
|
|
|
5f32052560
|
move GroupAlgebras -> GroupRings
|
2017-05-16 21:03:21 +02:00 |
|
|
|
ab1e827fb0
|
fix indentation to 3 spaces (Nemo-like)
|
2017-05-16 18:51:40 +02:00 |
|
|
|
bb28b1bc54
|
add missing end
|
2017-05-16 18:51:22 +02:00 |
|
|
|
b51eb71d56
|
Headers
|
2017-05-16 18:47:34 +02:00 |
|
|
|
d919826e49
|
complete(::GroupRing) to complete not fully initalised GroupRing
|
2017-05-16 18:47:22 +02:00 |
|
|
|
70817a8fbc
|
reverse_dict function for fast basis element lookup
|
2017-05-16 18:46:30 +02:00 |
|
|
|
d13a8b27df
|
rationalize
|
2017-05-16 18:45:56 +02:00 |
|
|
|
fc837ff481
|
length, norm, augmentation
|
2017-05-16 18:45:31 +02:00 |
|
|
|
1c340ce008
|
remove size function, length(::GroupRingElem) is enough
|
2017-05-16 18:42:52 +02:00 |
|
|
|
7e1f0ebc46
|
scalar functions for GrouRingElems: -, *, /, //
|
2017-05-16 18:42:19 +02:00 |
|
|
|
ba51f2ba0e
|
multiplication in the GroupRing
|
2017-05-16 18:38:37 +02:00 |
|
|
|
7204492e53
|
add, +, - for GroupRingElems
|
2017-05-16 18:37:55 +02:00 |
|
|
|
955aaf48fa
|
== for GroupRing and GroupRingElem
|
2017-05-16 18:36:17 +02:00 |
|
|
|
ad97e1fab7
|
deepcopy & hash
|
2017-05-16 18:35:37 +02:00 |
|
|
|
eecba6c5d8
|
GroupRing coercion (::GroupRing object overloads)
|
2017-05-16 18:35:20 +02:00 |
|
|
|
5d51146688
|
elem_type, parent_type, parent
|
2017-05-16 18:34:43 +02:00 |
|
