/usr/share/axiom-20170501/src/algebra/MPC3.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 27 28 29 30 31 | )abbrev package MPC3 MPolyCatFunctions3
++ Description:
++ This package has no description
MPolyCatFunctions3(Vars1,Vars2,E1,E2,R,PR1,PR2) : SIG == CODE where
E1 : OrderedAbelianMonoidSup
E2 : OrderedAbelianMonoidSup
Vars1: OrderedSet
Vars2: OrderedSet
R : Ring
PR1 : PolynomialCategory(R,E1,Vars1)
PR2 : PolynomialCategory(R,E2,Vars2)
SIG ==> with
map : (Vars1 -> Vars2, PR1) -> PR2
++ map(f,x) \undocumented
CODE ==> add
map(f:Vars1 -> Vars2, p:PR1):PR2 ==
(x1 := mainVariable p) case "failed" =>
c:R:=(retract p)
c::PR2
up := univariate(p, x1::Vars1)
x2 := f(x1::Vars1)
ans:PR2 := 0
while up ^= 0 repeat
ans := ans + monomial(map(f,leadingCoefficient up),x2,degree up)
up := reductum up
ans
|