diff options
Diffstat (limited to 'src/algebra/contfrac.spad.pamphlet')
-rw-r--r-- | src/algebra/contfrac.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/contfrac.spad.pamphlet b/src/algebra/contfrac.spad.pamphlet index 2261d76c..e24d5825 100644 --- a/src/algebra/contfrac.spad.pamphlet +++ b/src/algebra/contfrac.spad.pamphlet @@ -169,12 +169,12 @@ ContinuedFraction(R): Exports == Implementation where x := reducedForm x y := reducedForm y - x.value.whole ^= y.value.whole => false + x.value.whole ~= y.value.whole => false xl := x.value.fract; yl := y.value.fract while not empty? xl and not empty? yl repeat - frst.xl.den ^= frst.yl.den => return false + frst.xl.den ~= frst.yl.den => return false xl := rst xl; yl := rst yl empty? xl and empty? yl @@ -226,7 +226,7 @@ ContinuedFraction(R): Exports == Implementation where genFromSequence apps == lo := first apps; apps := rst apps hi := first apps; apps := rst apps - while eucWhole0 lo ^= eucWhole0 hi repeat + while eucWhole0 lo ~= eucWhole0 hi repeat lo := first apps; apps := rst apps hi := first apps; apps := rst apps wh := eucWhole0 lo @@ -239,7 +239,7 @@ ContinuedFraction(R): Exports == Implementation where mt := recip mt wlo := eucWhole eval(mt, lo) whi := eucWhole eval(mt, hi) - while wlo ^= whi repeat + while wlo ~= whi repeat wlo := eucWhole eval(mt, first apps - wh0); apps := rst apps whi := eucWhole eval(mt, first apps - wh0); apps := rst apps concat([1,wlo], delay genReducedForm(wh0, apps, shift(mt, -wlo::Q))) |