diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index 9c2e98f..37a6736 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -62286,21 +62286,25 @@ NewSparseMultivariatePolynomial(R,VarSet) : Exports == Implementation where localDeepestInitial leadingCoefficient(p.ts)$D deepestInitial p == - p case R => error"Error in deepestInitial from NSMP : #1 has no variables." + p case R => + error"Error in deepestInitial from NSMP : #1 has no variables." localDeepestInitial leadingCoefficient(p.ts)$D mainMonomial p == - zero? p => error"Error in mainMonomial from NSMP : the argument is zero" + zero? p => + error"Error in mainMonomial from NSMP : the argument is zero" p case R => 1$$ monomial(1$$,p.v,degree(p.ts)$D) leastMonomial p == - zero? p => error"Error in leastMonomial from NSMP : the argument is zero" + zero? p => + error"Error in leastMonomial from NSMP : the argument is zero" p case R => 1$$ monomial(1$$,p.v,minimumDegree(p.ts)$D) mainCoefficients p == - zero? p => error"Error in mainCoefficients from NSMP : the argument is zero" + zero? p => + error"Error in mainCoefficients from NSMP : the argument is zero" p case R => [p] coefficients(p.ts)$D @@ -62317,7 +62321,7 @@ NewSparseMultivariatePolynomial(R,VarSet) : Exports == Implementation where mM: $ if a.v > b.v then - m : D := map(localMonicModulo(#1,b),a.ts)$SUP2 + m : D := map((a1:%):% +-> localMonicModulo(a1,b),a.ts)$SUP2 else m : D := monicModulo(a.ts,b.ts)$D if ground?(m)$D @@ -62547,13 +62551,13 @@ NewSparseMultivariatePolynomial(R,VarSet) : Exports == Implementation where -- one? b => a (b = 1) => a a case R => (a::R quo$R b)::$ - ([a.v, map(exactQuotient(#1,b),a.ts)$SUP2]$VPoly)::Rep + ([a.v, map((a1:%):% +-> exactQuotient(a1,b),a.ts)$SUP2]$VPoly)::Rep exactQuotient! (a:$,b:R) == -- one? b => a (b = 1) => a a case R => (a::R quo$R b)::$ - a.ts := map(exactQuotient!(#1,b),a.ts)$SUP2 + a.ts := map((a1:%):% +-> exactQuotient!(a1,b),a.ts)$SUP2 a else @@ -62562,13 +62566,13 @@ NewSparseMultivariatePolynomial(R,VarSet) : Exports == Implementation where -- one? b => a (b = 1) => a a case R => ((a::R exquo$R b)::R)::$ - ([a.v, map(exactQuotient(#1,b),a.ts)$SUP2]$VPoly)::Rep + ([a.v, map((a1:%):% +-> exactQuotient(a1,b),a.ts)$SUP2]$VPoly)::Rep exactQuotient! (a:$,b:R) == -- one? b => a (b = 1) => a a case R => ((a::R exquo$R b)::R)::$ - a.ts := map(exactQuotient!(#1,b),a.ts)$SUP2 + a.ts := map((a1:%):% +-> exactQuotient!(a1,b),a.ts)$SUP2 a if R has GcdDomain @@ -62598,7 +62602,8 @@ NewSparseMultivariatePolynomial(R,VarSet) : Exports == Implementation where zero? p => p p case R => 1$$ cp := content(p) - p.ts := unitCanonical(map(exactQuotient!(#1,cp),p.ts)$SUP2)$D + p.ts := + unitCanonical(map((a1:%):% +-> exactQuotient!(a1,cp),p.ts)$SUP2)$D p @ diff --git a/changelog b/changelog index a4753cc..fc30a0f 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090514 tpd src/axiom-website/patches.html 20090514.06.tpd.patch +20090514 tpd books/bookvol10.3 NSMP +-> conversion 20090514 tpd src/axiom-website/patches.html 20090514.05.tpd.patch 20090514 tpd books/bookvol10.4 DBLRESP +-> conversion 20090514 tpd src/axiom-website/patches.html 20090514.04.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 27b43c7..7c464e5 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1298,5 +1298,7 @@ bookvol10.4 DFINTTLS +-> conversion
bookvol10.3 MYUP +-> conversion
20090514.05.tpd.patch bookvol10.4 DBLRESP +-> conversion
+20090514.06.tpd.patch +bookvol10.3 NSMP +-> conversion