/usr/share/axiom-20170501/src/algebra/UTS2.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 | )abbrev package UTS2 UnivariateTaylorSeriesFunctions2
++ Author: Clifton J. Williamson
++ Date Created: 9 February 1990
++ Date Last Updated: 9 February 1990
++ Description:
++ Mapping package for univariate Taylor series.
++ This package allows one to apply a function to the coefficients of
++ a univariate Taylor series.
UnivariateTaylorSeriesFunctions2(Coef1,Coef2,UTS1,UTS2) : SIG == CODE where
Coef1 : Ring
Coef2 : Ring
UTS1 : UnivariateTaylorSeriesCategory Coef1
UTS2 : UnivariateTaylorSeriesCategory Coef2
ST2 ==> StreamFunctions2(Coef1,Coef2)
SIG ==> with
map : (Coef1 -> Coef2,UTS1) -> UTS2
++\spad{map(f,g(x))} applies the map f to the coefficients of
++ the Taylor series \spad{g(x)}.
CODE ==> add
map(f,uts) == series map(f,coefficients uts)$ST2
|