1
0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-12-29 11:00:28 +01:00

add zero(RG::GroupRing)

This commit is contained in:
kalmar 2017-07-06 10:09:43 +02:00
parent 19f6906d33
commit db02dbb97c

View File

@ -3,7 +3,7 @@ module GroupRings
using Nemo using Nemo
import Nemo: Group, GroupElem, Ring, RingElem, parent, elem_type, parent_type import Nemo: Group, GroupElem, Ring, RingElem, parent, elem_type, parent_type
import Base: convert, show, hash, ==, +, -, *, //, /, length, norm, rationalize, deepcopy_internal, getindex, setindex!, eltype, one import Base: convert, show, hash, ==, +, -, *, //, /, length, norm, rationalize, deepcopy_internal, getindex, setindex!, eltype, one, zero
############################################################################### ###############################################################################
# #
@ -188,6 +188,7 @@ end
eltype(X::GroupRingElem) = eltype(X.coeffs) eltype(X::GroupRingElem) = eltype(X.coeffs)
one(RG::GroupRing) = RG(RG.group()) one(RG::GroupRing) = RG(RG.group())
zero(RG::GroupRing) = RG()
############################################################################### ###############################################################################
# #