From 3da2110355da20908ee0df276cc3e9d215d89d9d Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Wed, 17 May 2017 11:32:28 +0200
Subject: [PATCH] check on the vector length in GroupRingElem constructor

---
 src/GroupRings.jl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/GroupRings.jl b/src/GroupRings.jl
index 266fd86..948a38d 100644
--- a/src/GroupRings.jl
+++ b/src/GroupRings.jl
@@ -53,7 +53,12 @@ parent{T}(g::GroupRingElem{T}) = g.parent
 #
 ###############################################################################
 
-GroupRingElem{T}(c::AbstractVector{T}, A::GroupRing) = GroupRingElem{T}(c,A)
+function GroupRingElem{T<:Number}(c::AbstractVector{T}, A::GroupRing)
+   length(c) == length(A.basis) || throw("Can't create GroupRingElem -- lengths
+   differ: length(c) = $(length(c)) != $(length(A.basis)) = length(A.basis)")
+
+   GroupRingElem{T}(c,A)
+end
 
 convert{T<:Number}(::Type{T}, X::GroupRingElem) =
    GroupRingElem(parent(X), convert(AbstractVector{T}, X.coeffs))