/usr/share/axiom-20170501/src/algebra/PTFUNC2.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 | )abbrev package PTFUNC2 PointFunctions2
++ Description:
++ This package has no description
PointFunctions2(R1,R2) : SIG == CODE where
R1 : Ring
R2 : Ring
SIG ==> with
map : ((R1->R2),Point(R1)) -> Point(R2)
++ map(f,p) \undocumented
CODE ==> add
import Point(R1)
import Point(R2)
map(mapping,p) ==
point([mapping p.(i::PositiveInteger)_
for i in minIndex(p)..maxIndex(p)])$Point(R2)
|