close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4212


Ignore:
Timestamp:
2016-06-04T13:09:09-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-division.lisp

    r4172 r4212  
    8484    (is-false (buchberger-criterion fl))))
    8585
     86(test normal-form-easy
     87  "An easy normal form"
     88  (is (normal-form (string->poly "3*x^2*y-x*y-1" '(x y)) (cdr (string->poly "[x-y,x+y]" '(x y))))
     89      (string->poly "3*y^3-y^2-1" '(x y))))
     90
    8691(def-fixture exact-division-context ()
    8792  (let* ((f (string->poly "x^2-4*y^2" '(x y)))
Note: See TracChangeset for help on using the changeset viewer.