/usr/share/axiom-20170501/src/algebra/BINARY.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 | )abbrev domain BINARY BinaryExpansion
++ Author: Clifton J. Williamson
++ Date Created: April 26, 1990
++ Date Last Updated: May 15, 1991
++ Description:
++ This domain allows rational numbers to be presented as repeating
++ binary expansions.
BinaryExpansion() : SIG == CODE where
SIG ==> QuotientFieldCategory(Integer) with
coerce : % -> Fraction Integer
++ coerce(b) converts a binary expansion to a rational number.
coerce : % -> RadixExpansion(2)
++ coerce(b) converts a binary expansion to a radix expansion with base 2
fractionPart : % -> Fraction Integer
++ fractionPart(b) returns the fractional part of a binary expansion.
binary : Fraction Integer -> %
++ binary(r) converts a rational number to a binary expansion.
++
++X binary(22/7)
CODE ==> RadixExpansion(2) add
binary r == r :: %
coerce(x:%): RadixExpansion(2) == x pretend RadixExpansion(2)
|