/usr/share/axiom-20170501/src/algebra/ESTOOLS2.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 | )abbrev package ESTOOLS2 ExpertSystemToolsPackage2
++ Author: Brian Dupee
++ Date Created: February 1995
++ Date Last Updated: July 1996
++ Description:
++ \axiom{ExpertSystemToolsPackage2} contains some useful functions for use
++ by the computational agents of Ordinary Differential Equation solvers.
ExpertSystemToolsPackage2(R1,R2) : SIG == CODE where
R1 : Ring
R2 : Ring
SIG ==> with
map : (R1->R2,Matrix R1) -> Matrix R2
++ map(f,m) applies a mapping f:R1 -> R2 onto a matrix
++ \spad{m} in R1 returning a matrix in R2
CODE ==> add
map(f:R1->R2,m:Matrix R1):Matrix R2 ==
matrix([[f u for u in v] for v in listOfLists(m)$(Matrix R1)])_
$(Matrix R2)
|