- Timestamp:
- 2015-06-11T12:18:56-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1223 r1224 219 219 ;; LM(X^2)=X^2 is divisible by LM(X+Y)=X so the first partial quotient is X. 220 220 ;; Next, X^2 - X*(X+Y) = -X*Y. 221 ;; LM(-X*Y) is divibile by LM(X+Y)=X so the second partial quotient is -Y.221 ;; LM(-X*Y)=X*Y is divibile by LM(X+Y)=X so the second partial quotient is -Y. 222 222 ;; Next, -X*Y-(-Y)*(X+Y) = -Y^2. 223 223 ;; LM(-Y^2)=-Y^2 is not divisible by LM(X+Y)=X or LM(X-2*Y)=X. Hence, division
Note:
See TracChangeset
for help on using the changeset viewer.