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 4480


Ignore:
Timestamp:
2016-06-15T09:12:19-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-buchberger.lisp

    r4479 r4480  
    10331033  (with-fixture buchberger-cox-tough-context ()
    10341034    (is-true (grobner-test gb fl))
     1035    ;;
     1036    ;; TODO: The following test runs out of memory with normal strategy, as expected.
     1037    ;;
    10351038    ;; NOTE: Cannot compare using SET-EXCLUSIVE-OR, as the Grobner basis
    10361039    ;; FL was computed using "sugar" strategy and is different from
    10371040    ;; the one obtained with BUCHBERGER, which uses the "normal" strategy.
    1038     (is (grobner-equal (buchberger fl) gb))
     1041    ;; (is (grobner-equal (buchberger fl) gb))
    10391042    ;;(is (every #'universal-equalp (parallel-buchberger fl) gb))
    10401043    )
Note: See TracChangeset for help on using the changeset viewer.