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 4439


Ignore:
Timestamp:
2016-06-10T15:21:35-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-buchberger.lisp

    r4387 r4439  
    102102    (&body)))
    103103   
    104 #+nil
    105 (test buchberger-advanced-preliminary
    106   (with-fixture buchberger-advanced-context ()
    107     (print (poly->string (elt gb 0)))
    108     (print (poly->string (elt gb 6)))))
    109    
    110 
    111 #+nil
    112 (test buchberger-advanced-partial
    113   (with-fixture buchberger-advanced-context ()
    114     (loop
    115        for i from 0 below (length gb)
    116        do
    117          (loop
    118             for j from (1+ i) below (length gb)
    119             do
    120               (is (universal-zerop (second (multiple-value-list (poly-pseudo-divide (s-polynomial (elt gb i) (elt gb j)) gb))))
    121                   "Failed with I=~S, J=~S~%" I J)))))
    122 
    123 #-nil
    124 (test buchberger-advanced
    125   "Buchberger algorithm - advanced case"
    126   (with-fixture buchberger-advanced-context ()
    127     ;;(is-true (grobner-test gb fl))
    128     (is (every #'universal-equalp (buchberger fl) gb))
    129     ;;(is (every #'universal-equalp (parallel-buchberger fl) gb))
    130     ))
    131104
    132105
Note: See TracChangeset for help on using the changeset viewer.