mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-09-05 14:46:44 +02:00
parents are always defined for GroupRingElems
This commit is contained in:
parent
20f0734d6f
commit
1393810781
@ -291,7 +291,6 @@ end
|
|||||||
###############################################################################
|
###############################################################################
|
||||||
|
|
||||||
function star(X::GroupRingElem)
|
function star(X::GroupRingElem)
|
||||||
isdefined(X, :parent) || throw("Define parent object for $X first")
|
|
||||||
RG = parent(X)
|
RG = parent(X)
|
||||||
isdefined(RG, :basis) || complete(RG)
|
isdefined(RG, :basis) || complete(RG)
|
||||||
result = RG()
|
result = RG()
|
||||||
|
Loading…
Reference in New Issue
Block a user