diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index c970cef..afafe37 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -31143,10 +31143,10 @@ FunctionSpaceUnivariatePolynomialFactor(R, F, UP): UPQ2AN: UPQ -> UPA UPAN2F p == - map(#1::F, p)$UnivariatePolynomialCategoryFunctions2(AN,UPA,F,UP) + map(x+->x::F, p)$UnivariatePolynomialCategoryFunctions2(AN,UPA,F,UP) UPQ2AN p == - map(#1::AN, p)$UnivariatePolynomialCategoryFunctions2(Q,UPQ,AN,UPA) + map(x+->x::AN, p)$UnivariatePolynomialCategoryFunctions2(Q,UPQ,AN,UPA) ffactor p == (pq := anfactor p) case FRA => @@ -31185,7 +31185,7 @@ FunctionSpaceUnivariatePolynomialFactor(R, F, UP): UPQ2F: UPQ -> UP UPQ2F p == - map(#1::F, p)$UnivariatePolynomialCategoryFunctions2(Q,UPQ,F,UP) + map(x+->x::F, p)$UnivariatePolynomialCategoryFunctions2(Q,UPQ,F,UP) ffactor p == (pq := qfactor p) case FRQ => @@ -31204,17 +31204,17 @@ FunctionSpaceUnivariatePolynomialFactor(R, F, UP): ffactor0 p == smp := numer(ep := p(dummy::F)) (q := P2QifCan smp) case "failed" => p::FR - map(UPQ2UP(univariate(#1, dummy), denom(ep)::F), factor(q::PQ + map(x+->UPQ2UP(univariate(x, dummy), denom(ep)::F), factor(q::PQ )$MRationalFactorize(IndexedExponents K, K, Integer, PQ))$FactoredFunctions2(PQ, UP) UPQ2UP(p, d) == - map(PQ2F(#1, d), p)$UnivariatePolynomialCategoryFunctions2(PQ, + map(x+->PQ2F(x, d), p)$UnivariatePolynomialCategoryFunctions2(PQ, SparseUnivariatePolynomial PQ, F, UP) PQ2F(p, d) == - map(#1::F, #1::F, p)$PolynomialCategoryLifting(IndexedExponents K, - K, Q, PQ, F) / d + map((x:K):F+->x::F, (y:Q):F+->y::F, p)_ + $PolynomialCategoryLifting(IndexedExponents K, K, Q, PQ, F) / d qfactor p == (q := UP2ifCan p) case overq => factor(q.overq) @@ -31223,8 +31223,8 @@ FunctionSpaceUnivariatePolynomialFactor(R, F, UP): P2QifCan p == and/[retractIfCan(c::F)@Union(Q, "failed") case Q for c in coefficients p] => - map(#1::PQ, retract(#1::F)@Q :: PQ, - p)$PolynomialCategoryLifting(IndexedExponents K,K,R,PR,PQ) + map(x+->x::PQ, y+->retract(y::F)@Q :: PQ, p)_ + $PolynomialCategoryLifting(IndexedExponents K,K,R,PR,PQ) "failed" @ diff --git a/changelog b/changelog index ea8e39d..fa4d368 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090601 tpd src/axiom-website/patches.html 20090601.04.tpd.patch +20090601 tpd books/bookvol10.4 FSUPFACT +-> conversion 20090601 tpd src/axiom-website/patches.html 20090601.03.tpd.patch 20090601 tpd books/bookvol10.4 FS2UPS +-> conversion 20090601 tpd src/axiom-website/patches.html 20090601.02.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 75d6a32..6c444d6 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1409,5 +1409,7 @@ bookvol10.4 FSPRMELT +-> conversion
bookvol10.4 FS2EXPXP +-> conversion
20090601.03.tpd.patch bookvol10.4 FS2UPS +-> conversion
+20090601.04.tpd.patch +bookvol10.4 FSUPFACT +-> conversion