From db02dbb97cde44752c10766cd6daa858f41b486e Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 6 Jul 2017 10:09:43 +0200 Subject: [PATCH] add zero(RG::GroupRing) --- src/GroupRings.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index 4959921..9bcf7ce 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -3,7 +3,7 @@ module GroupRings using Nemo 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) one(RG::GroupRing) = RG(RG.group()) +zero(RG::GroupRing) = RG() ############################################################################### #