aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/prs.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-10-17 23:15:18 +0000
committerdos-reis <gdr@axiomatics.org>2008-10-17 23:15:18 +0000
commite5310ade6942ed3028e2f3cbae831a751aefba9e (patch)
treef1a1f28fe4381b4b076d7b31d7022dad15fe0fc4 /src/algebra/prs.spad.pamphlet
parent3c30d3680a1310bf570c0ae65d5ff6c8d4b9e62e (diff)
downloadopen-axiom-e5310ade6942ed3028e2f3cbae831a751aefba9e.tar.gz
Fix AW/413, AW/414
* src/algebra/fr.spad.pamphlet: Fix missing returns in loops. * src/algebra/gdpoly.spad.pamphlet: Likewise. * src/algebra/lmdict.spad.pamphet: Likewise. * src/algebra/plot3d.spad.pamphlet: Likewise. * src/algebra/prs.spad.pamphlet: Likewise. * src/algebra/sups.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/prs.spad.pamphlet')
-rw-r--r--src/algebra/prs.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/prs.spad.pamphlet b/src/algebra/prs.spad.pamphlet
index f3662063..14a68daf 100644
--- a/src/algebra/prs.spad.pamphlet
+++ b/src/algebra/prs.spad.pamphlet
@@ -295,7 +295,7 @@ PseudoRemainderSequence(R, polR) : Specification == Implementation where
old_cf1 : polR := 1 ; cf1 : polR := 0
old_cf2 : polR := 0 ; cf2 : polR := 1
repeat
- zero?(Q) => construct(0::polR, 0::polR, 0::R)
+ zero?(Q) => return construct(0::polR, 0::polR, 0::R)
(degP, degQ) := (degree(P), degree(Q))
if odd?(degP) and odd?(degQ) then a := -a
if zero?(degQ) then
@@ -313,7 +313,7 @@ PseudoRemainderSequence(R, polR) : Specification == Implementation where
a : R := 1
old_cf2 : polR := 0 ; cf2 : polR := 1
repeat
- zero?(Q) => construct(0::polR, 0::R)
+ zero?(Q) => return construct(0::polR, 0::R)
(degP, degQ) := (degree(P), degree(Q))
if odd?(degP) and odd?(degQ) then a := -a
if zero?(degQ) then