$SPAD/src/input binary.input

Timothy Daly December 3, 2016

Abstract

Contents

2

1 License

— license —

--Copyright The Numerical Algorithms Group Limited 1991.

———-

— * —

)set break resume
)spool binary.output
)set message test on
)set message auto off
)clear all
--S 1 of 7
r := binary(22/7)
--R
--R
--R           ___
--R   (1)  11.001
--R                                                        Type: BinaryExpansion
--E 1
--S 2 of 7
r + binary(6/7)
--R
--R
--R   (2)  100
--R                                                        Type: BinaryExpansion
--E 2
--S 3 of 7
[binary(1/i) for i in 102..106]
--R
--R
--R   (3)
--R       ___________________________________________________________
--R   [0.000000101, 0.000000100111110001000101100101111001110010010101001,
--R         ________________________
--R    0.000000100111011, 0.000000100111,
--R       ____________________________________________________
--R    0.00000010011010100100001110011111011001010110111100011]
--R                                                  Type: List(BinaryExpansion)
--E 3
--S 4 of 7
binary(1/1007)
--R

--R
--R   (4)
--R   0.
--R     OVERBAR
--R        00000000010000010001010010010111100000111111000010111111001011000111110
--R          100010011100100110011000110010010101011110110100110000000011000011001
--R          111011100011010001011110100100011110110000101011101110011101010111001
--R          100101001011100000001110001111001000000100100100110111001010100111010
--R          001101110110101110001001000001100101101100000010110010111110001010000
--R          010101010110101100000110110111010010101111111010111010100110010000101
--R          0011011000100110001000100001000011000111010011110001
--R                                                        Type: BinaryExpansion
--E 4
--S 5 of 7
p := binary(1/4)*x**2 + binary(2/3)*x + binary(4/9)
--R
--R
--R             2     ________
--R   (5)  0.01x  + 0.10x + 0.011100
--R                                            Type: Polynomial(BinaryExpansion)
--E 5
--S 6 of 7
q := D(p, x)
--R
--R
--R                 __
--R   (6)  0.1x + 0.10
--R                                            Type: Polynomial(BinaryExpansion)
--E 6
--S 7 of 7
g := gcd(p, q)
--R
--R
--R              __
--R   (7)  x + 1.01
--R                                            Type: Polynomial(BinaryExpansion)
--E 7
)spool
)lisp (bye)

———-

References^{[1] nothing}

5