diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-14 03:30:48 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-14 03:30:48 +0000 |
| commit | 775f2c3cca11ab64df713afb7f35363afe5d4ce0 (patch) | |
| tree | aec69a68ef31a45f12368475b501841bada1f010 /src/algebra/contfrac.spad.pamphlet | |
| parent | 1734e62de427defcd090a95bc8b3b879c67d3fbf (diff) | |
| download | open-axiom-775f2c3cca11ab64df713afb7f35363afe5d4ce0.tar.gz | |
* interp/compiler.boot (compRepeatOrCollect): Set $loopKind directly.
(complainIfShadowing): Don't complain when collecting.
* algebra/contfrac.spad.pamphlet: Remove capsule-level declaration
of local variables.
* algebra/cycles.spad.pamphlet: Likewise.
* algebra/cyclotom.spad.pamphlet: Likewise.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/fortpak.spad.pamphlet: Likewise.
* algebra/lingrob.spad.pamphlet: Likewise.
* algebra/numode.spad.pamphlet: Likewise.
* algebra/numquad.spad.pamphlet: Likewise.
* algebra/out.spad.pamphlet: Likewise.
* algebra/perman.spad.pamphlet: Likewise.
* algebra/view2D.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/contfrac.spad.pamphlet')
| -rw-r--r-- | src/algebra/contfrac.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/contfrac.spad.pamphlet b/src/algebra/contfrac.spad.pamphlet index c1adc3ea..6b0b598e 100644 --- a/src/algebra/contfrac.spad.pamphlet +++ b/src/algebra/contfrac.spad.pamphlet @@ -294,7 +294,6 @@ ContinuedFraction(R): Exports == Implementation where c, d: % a: R q: Q - n: Integer 0 == (0$R) :: % 1 == (1$R) :: % @@ -305,7 +304,7 @@ ContinuedFraction(R): Exports == Implementation where c * d == genFromSequence map(#1 * #2, apx c, apx d) a * d == genFromSequence map( a * #1, apx d) q * d == genFromSequence map( q * #1, apx d) - n * d == genFromSequence map( n * #1, apx d) + n: Integer * d == genFromSequence map( n * #1, apx d) c / d == genFromSequence map(#1 / #2, apx c, rest apx d) recip c ==(c = 0 => "failed"; genFromSequence map( 1 / #1, rest apx c)) |