diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-14 01:23:00 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-14 01:23:00 +0000 |
| commit | 9fb26d710b0b22cc6a7fd27de9cab4552b8e85a3 (patch) | |
| tree | 8858656bb51bebcd2dfb56201852af34885c8f6b /src/algebra/groebf.spad.pamphlet | |
| parent | 486ade17c9938d888d341045260af26148e233fc (diff) | |
| download | open-axiom-9fb26d710b0b22cc6a7fd27de9cab4552b8e85a3.tar.gz | |
Remove explicit call to autoCoerce
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 => |