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


Ignore:
Timestamp:
2016-06-10T15:19:03-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r4433 r4437  
    162162      (is (universal-equalp fl fl-copy)))))
    163163
    164 (test buchberger-criterion-full
     164(test buchberger-criterion-with-normal-form
     165  "Buchberger criterion using normal form"
    165166  (with-fixture buchberger-criterion-context
    166167      ()
    167     (loop
    168        for i from 0 below (length gb)
    169        do
    170          (loop
    171             for j from (1+ i) below (length gb)
    172             do
    173               (is (universal-zerop (normal-form (s-polynomial (elt gb i) (elt gb j)) gb))
    174                   "Failed with I=~S, J=~S~%" I J)))))
    175 
    176 (test buchberger-criterion
    177   "Buchberger criterion"
     168    (let ((fl-copy (mapcar #'copy-instance fl))
     169          (gb-copy (mapcar #'copy-instance gb)))
     170      (loop
     171         for i from 0 below (length gb)
     172         do
     173           (loop
     174              for j from (1+ i) below (length gb)
     175              do
     176                (is (universal-zerop (normal-form (s-polynomial (elt gb i) (elt gb j)) gb))
     177                    "Failed with I=~S, J=~S~%" I J)))
     178      (is (universal-equalp fl fl-copy))
     179      (is (universal-equalp gb gb-copy)))))
     180
     181(test buchberger-criterion-with-pseudo-division
     182  "Buchberger criterion using pseudo-division"
     183  (with-fixture buchberger-criterion-context ()
     184    (let ((fl-copy (mapcar #'copy-instance fl))
     185          (gb-copy (mapcar #'copy-instance gb)))
     186      (loop
     187         for i from 0 below (length gb)
     188         do
     189           (loop
     190              for j from (1+ i) below (length gb)
     191              do
     192                (is (universal-zerop (second (multiple-value-list (poly-pseudo-divide (s-polynomial (elt gb i) (elt gb j)) gb))))
     193                    "Failed with I=~S, J=~S~%" I J)))
     194      (is (universal-equalp fl fl-copy))
     195      (is (universal-equalp gb gb-copy)))))
     196
     197(test buchberger-criterion-with-grobner-tes
     198  "Buchberger criterion using grobner-test"
    178199  (with-fixture buchberger-criterion-context ()
    179200    (is-true (grobner-test gb fl))
Note: See TracChangeset for help on using the changeset viewer.