Changes between Version 16 and Version 17 of PolynomialExpansion

Timestamp:

01/26/16 13:33:35 (10 years ago)

Author:

sili

Comment:

--

PolynomialExpansion

@@ -48 +48 @@
   x[1] = (-X1*X3[0] + X0*X3[1]) / (X0*X2 - X1^2^)
 
+assertion:
+  bncg[0] = X3[0]
+  bncg[1] = X3[1]
+
+  b[0] = X3[0]
+  b[1] = X3[1]
+
 END