diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index a485cc4..4f39b17 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -60455,7 +60455,7 @@ MPolyCatRationalFunctionFactorizer(E,OV,R,PRF) : C == T ground? f => pushuconst(retract f,x) v:=mainVariable(f)::OV g:=univariate(f,v) - multivariate(map(pushup(#1,x),g),v) + multivariate(map((y:PRF):PRF +-> pushup(y,x),g),v) ---- push x back from the coefficient domain ---- pushuconst(r:F,x:OV):PRF == diff --git a/changelog b/changelog index e49fab2..49a6f6e 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090608 tpd src/axiom-website/patches.html 20090608.06.tpd.patch +20090608 tpd books/bookvol10.4 MPRFF +-> conversion 20090608 tpd src/axiom-website/patches.html 20090608.05.tpd.patch 20090608 tpd books/bookvol10.4 MHROWRED +-> conversion 20090608 tpd src/axiom-website/patches.html 20090608.04.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 5ac69d2..291ff78 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1505,5 +1505,7 @@ tpieazas002.input CATS test added
bookvol10.4 MDDFACT +-> conversion
20090608.05.tpd.patch bookvol10.4 MHROWRED +-> conversion
+20090608.06.tpd.patch +bookvol10.4 MPRFF +-> conversion