diff options
Diffstat (limited to 'src/algebra/groebf.spad.pamphlet')
| -rw-r--r-- | src/algebra/groebf.spad.pamphlet | 6 |
1 files changed, 4 insertions, 2 deletions
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 => |