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 4176 for branches


Ignore:
Timestamp:
2016-06-03T10:34:34-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/5am-criterion.lisp

    r4175 r4176  
    8282    (is-false (criterion-1 false-pair))))
    8383
     84(def-fixture criterion-2-failure-context ()
     85  (let* ((p1 (string->poly "x^2+2*y" '(x y z)))
     86         (p2 (string->poly "y*z + z^2" '(x y z)))
     87         (pair (make-instance 'critical-pair
     88                                   :first p1
     89                                   :second p2))
     90         (b-done (make-hash-table))
     91         (partial-basis nil))
     92    (&body)))
     93
     94(test criterion-2-failure
     95  "Second Buchberger criterion failure"
     96  (with-fixture criterion-2-failure-context ()
     97    (is-false (criterion-2 pair b-done partial-basis))))
     98
     99
    84100(run! 'criterion-suite)
    85101(format t "All tests done!~%")
Note: See TracChangeset for help on using the changeset viewer.