/usr/share/axiom-20170501/src/algebra/UFPS1.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 | )abbrev package UFPS1 UnivariateFormalPowerSeriesFunctions
++ Description:
++ This package has no description
UnivariateFormalPowerSeriesFunctions(Coef) : SIG == CODE where
Coef : Ring
UFPS ==> UnivariateFormalPowerSeries Coef
SIG ==> with
hadamard : (UFPS, UFPS) -> UFPS
CODE ==> add
hadamard(f, g) ==
series map((z1:Coef,z2:Coef):Coef +-> z1*z2,
coefficients f, coefficients g)
$StreamFunctions3(Coef, Coef, Coef)
|