/usr/share/axiom-20170501/src/algebra/FFCAT2.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 | )abbrev package FFCAT2 FunctionFieldCategoryFunctions2
++ Author: Manuel Bronstein
++ Date Created: May 1988
++ Date Last Updated: 26 Jul 1988
++ Description:
++ Lifts a map from rings to function fields over them.
FunctionFieldCategoryFunctions2(R1, UP1, UPUP1, F1, R2, UP2, UPUP2, F2):
SIG == CODE where
R1 : UniqueFactorizationDomain
UP1 : UnivariatePolynomialCategory R1
UPUP1: UnivariatePolynomialCategory Fraction UP1
F1 : FunctionFieldCategory(R1, UP1, UPUP1)
R2 : UniqueFactorizationDomain
UP2 : UnivariatePolynomialCategory R2
UPUP2: UnivariatePolynomialCategory Fraction UP2
F2 : FunctionFieldCategory(R2, UP2, UPUP2)
SIG ==> with
map : (R1 -> R2, F1) -> F2
++ map(f, p) lifts f to F1 and applies it to p.
CODE ==> add
map(f, f1) ==
reduce(map(f, lift f1)$MultipleMap(R1, UP1, UPUP1, R2, UP2, UPUP2))
|