/usr/share/axiom-20170501/src/algebra/EQ2.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 | )abbrev package EQ2 EquationFunctions2
++ Date Last Updated: June 3, 1991
++ Description:
++ This package provides operations for mapping the sides of equations.
EquationFunctions2(S, R) : SIG == CODE where
S : Type
R : Type
SIG ==> with
map : (S ->R ,Equation S) -> Equation R
++ map(f,eq) returns an equation where f is applied to the sides of eq
CODE ==> add
map(fn, eqn) == equation(fn lhs eqn, fn rhs eqn)
|