/usr/share/axiom-20170501/src/algebra/FRAC2.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 | )abbrev package FRAC2 FractionFunctions2
++ Description:
++ This package extends a map between integral domains to
++ a map between Fractions over those domains by applying the map to the
++ numerators and denominators.
FractionFunctions2(A, B) : SIG == CODE where
A : IntegralDomain
B : IntegralDomain
R ==> Fraction A
S ==> Fraction B
SIG ==> with
map : (A -> B, R) -> S
++ map(func,frac) applies the function func to the numerator
++ and denominator of the fraction frac.
CODE ==> add
map(f, r) == map(f, r)$QuotientFieldCategoryFunctions2(A, B, R, S)
|