From 5b49ae0ca058b00db6abcb3dcfa29bdf07fcd3e5 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Wed, 7 Jun 2017 00:22:06 +0200
Subject: [PATCH] groupring_mult -> mul

---
 src/checksolution.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/checksolution.jl b/src/checksolution.jl
index 2db075e..06d8907 100644
--- a/src/checksolution.jl
+++ b/src/checksolution.jl
@@ -13,7 +13,7 @@ end
 function groupring_square(vect, elt)
     zzz = zeros(eltype(vect), elt.coeffs)
     zzz[1:length(vect)] = vect
-    return GroupRings.groupring_mult(zzz, zzz, parent(elt).pm)
+    return GroupRings.mul(zzz, zzz, parent(elt).pm)
 end
 
 function compute_SOS(sqrt_matrix, elt)