aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/radix.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/radix.spad.pamphlet')
-rw-r--r--src/algebra/radix.spad.pamphlet8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/algebra/radix.spad.pamphlet b/src/algebra/radix.spad.pamphlet
index 02fd8169..7cee785e 100644
--- a/src/algebra/radix.spad.pamphlet
+++ b/src/algebra/radix.spad.pamphlet
@@ -9,8 +9,14 @@
\eject
\tableofcontents
\eject
+
\section{domain RADIX RadixExpansion}
+
<<domain RADIX RadixExpansion>>=
+import Integer
+import Fraction
+import List
+import Stream
)abbrev domain RADIX RadixExpansion
++ Author: Stephen M. Watt
++ Date Created: October 1986
@@ -128,7 +134,7 @@ RadixExpansion(bb): Exports == Implementation where
n0 := 0
for r in a.int repeat n0 := bb*n0 + r
a.sgn*n0
- fractionPart a ==
+ fractionPart(a: %): Fraction Integer ==
n0 := 0
for r in a.pfx repeat n0 := bb*n0 + r
null a.cyc =>