Changeset 1281
- Timestamp:
- 2015-06-11T20:09:36-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1251 r1281 220 220 ;; Next, X^2 - X*(X+Y) = -X*Y. 221 221 ;; LM(-X*Y)=X*Y is divibile by LM(X+Y)=X so the second partial quotient is -Y. 222 ;; Next, -X*Y-(-Y)*(X+Y) = -Y^2.223 ;; LM( -Y^2)=-Y^2 is not divisible by LM(X+Y)=X or LM(X-2*Y)=X. Hence, division224 ;; ends. The list of quotients is [X-Y,0]. The remainder is -Y^2222 ;; Next, -X*Y-(-Y)*(X+Y) = Y^2. 223 ;; LM(Y^2)=Y^2 is not divisible by LM(X+Y)=X or LM(X-2*Y)=X. Hence, division 224 ;; ends. The list of quotients is [X-Y,0]. The remainder is Y^2 225 225 (test division 226 226 "Division in polynomial ring"
Note:
See TracChangeset
for help on using the changeset viewer.