/usr/share/axiom-20170501/src/algebra/QFCAT2.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 | )abbrev package QFCAT2 QuotientFieldCategoryFunctions2
++ Description:
++ This package extends a function between integral domains
++ to a mapping between their quotient fields.
QuotientFieldCategoryFunctions2(A, B, R, S) : SIG == CODE where
A : IntegralDomain
B : IntegralDomain
R : QuotientFieldCategory(A)
S : QuotientFieldCategory(B)
SIG ==> with
map : (A -> B, R) -> S
++ map(func,frac) applies the function func to the numerator
++ and denominator of frac.
CODE ==> add
map(f, r) == f(numer r) / f(denom r)
|