From 9fb26d710b0b22cc6a7fd27de9cab4552b8e85a3 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 14 Feb 2011 01:23:00 +0000
Subject: Remove explicit call to autoCoerce

---
 src/algebra/groebf.spad.pamphlet | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/algebra/groebf.spad.pamphlet')

diff --git a/src/algebra/groebf.spad.pamphlet b/src/algebra/groebf.spad.pamphlet
index f4b7c397..9d7c70a3 100644
--- a/src/algebra/groebf.spad.pamphlet
+++ b/src/algebra/groebf.spad.pamphlet
@@ -212,8 +212,10 @@ GroebnerFactorizationPackage(Dom, Expon, VarSet, Dpol): T == C where
              stopDividing := false
              until stopDividing repeat
                nPq := nP exquo q
-               stopDividing := (nPq case "failed")
-               if not stopDividing then nP := autoCoerce nPq
+               if nPq case Dpol then
+                 nP := nPq@Dpol
+               else
+                 stopDividing := true
                stopDividing := stopDividing or zero? degree nP
 
            zero? degree nP =>
-- 
cgit v1.2.3