/usr/share/axiom-20170501/src/algebra/DECIMAL.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 | )abbrev domain DECIMAL DecimalExpansion
++ Author: Stephen M. Watt
++ Date Created: October, 1986
++ Date Last Updated: May 15, 1991
++ Description:
++ This domain allows rational numbers to be presented as repeating
++ decimal expansions.
DecimalExpansion() : SIG == CODE where
SIG ==> QuotientFieldCategory(Integer) with
coerce : % -> Fraction Integer
++ coerce(d) converts a decimal expansion to a rational number.
coerce : % -> RadixExpansion(10)
++ coerce(d) converts a decimal expansion to a radix expansion
++ with base 10.
fractionPart : % -> Fraction Integer
++ fractionPart(d) returns the fractional part of a decimal expansion.
decimal : Fraction Integer -> %
++ decimal(r) converts a rational number to a decimal expansion.
CODE ==> RadixExpansion(10) add
decimal r == r :: %
coerce(x:%): RadixExpansion(10) == x pretend RadixExpansion(10)
|