Changes between Version 27 and Version 28 of PolynomialExpansion

Timestamp:

01/26/16 15:02:25 (10 years ago)

Author:

sili

Comment:

--

PolynomialExpansion

@@ -44 +44 @@
 
 Step 9: x[i] = x + alpha*p[i]
-  x0] = (a,,2,,*b,,0,, - a,,1,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^)
+  x[0] = (a,,2,,*b,,0,, - a,,1,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^)
 
-  x1] = (-a,,1,,*b,,0,, + a,,0,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^)
+  x[1] = (-a,,1,,*b,,0,, + a,,0,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^)
 
 assertion:  
-  bncg[0] = A[0][0]*X[0] + A[0][1]*x[1] = a,,0,,*(a,,2,,*b,,0,, - a,,1,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^) + a,,1,,*(-a,,1,,*b,,0,, + a,,0,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^) = b,,0,,*(a,,0,,*a,,2,, - a,,1,,^2^) / (a,,0,,*a,,2,, - a,,1,,^2^) = b,,0,,
+  bncg[0] = A[0][0]*x[0] + A[0][1]*x[1] = a,,0,,*(a,,2,,*b,,0,, - a,,1,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^) + a,,1,,*(-a,,1,,*b,,0,, + a,,0,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^) = b,,0,,*(a,,0,,*a,,2,, - a,,1,,^2^) / (a,,0,,*a,,2,, - a,,1,,^2^) = b,,0,,
 
-  bncg[1] = A[1][0]*X[0] + A[1][1]*x[1] = a,,1,,*(a,,2,,*b,,0,, - a,,1,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^) + a,,2,,*(-a,,1,,*b,,0,, + a,,0,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^) = b,,1,,*(a,,0,,*a,,2,, - a,,1,,^2^) / (a,,0,,*a,,2,, - a,,1,,^2^) = b,,1,,
+  bncg[1] = A[1][0]*x[0] + A[1][1]*x[1] = a,,1,,*(a,,2,,*b,,0,, - a,,1,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^) + a,,2,,*(-a,,1,,*b,,0,, + a,,0,,*b,,1,,) / (a,,0,,*a,,2,, - a,,1,,^2^) = b,,1,,*(a,,0,,*a,,2,, - a,,1,,^2^) / (a,,0,,*a,,2,, - a,,1,,^2^) = b,,1,,
 
   b[0] = b,,0,,