Changeset 4201
- Timestamp:
- 2016-06-04T09:52:57-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-buchberger.lisp
r4198 r4201 54 54 55 55 (defpackage #:5am-buchberger 56 (:use :cl :it.bese.fiveam :monom :polynomial :infix :symbolic-polynomial :division :priority-queue :buchberger ))56 (:use :cl :it.bese.fiveam :monom :polynomial :infix :symbolic-polynomial :division :priority-queue :buchberger :grobner-debug)) 57 57 58 58 (in-package :5am-buchberger) … … 63 63 (in-suite buchberger-suite) 64 64 65 #+nil 66 (setf $poly_grobner_debug t 67 $poly_top_reduction_only nil) 68 69 (def-fixture buchberger-context () 70 (let ((fl (cdr (string->poly "[x+y,x-2*y]" '(x y)))) 71 (gb (cdr (string->poly "[x+y,x-2*y,y]" '(x y))))) 72 (&body))) 73 65 74 66 75 (test buchberger 67 76 "Buchberger algorithm" 68 (let* ((fl (cdr (string->poly "[x+y,x-2*y]" '(x y)))) 69 (gb (cdr (string->poly "[x+y,x-2*y,y]" '(x y))))) 77 (with-fixture buchberger-context () 70 78 (is-true (grobner-test gb fl)) 71 79 (is (every #'universal-equalp (buchberger fl) gb)) … … 75 83 76 84 ;; poly_grobner([x-3*u-3*u*v^2+u^3,y-3*v-3*u^2*v+v^3,z-3*u^2+3*v^2],[u,v,x,y,z]); 77 (test buchberger-advanced 78 "Buchberger algorithm - advanced case" 85 (def-fixture buchberger-advanced-context () 79 86 (let ((fl (cdr (string->poly "[x-3*u-3*u*v^2+u^3,y-3*v-3*u^2*v+v^3,z-3*u^2+3*v^2]" '(u v x y z)))) 80 87 (gb (cdr (string->poly "[x-3*u*v^2+u^3-3*u,y+v^3-3*u^2*v-3*v,z+3*v^2-3*u^2, … … 108 115 +118098*y^4*z^2-118098*x^4*z^2+59049*y^4*z-118098*x^2*y^2*z 109 116 +59049*x^4*z+19683*y^6-59049*x^2*y^4+59049*x^4*y^2-19683*x^6]" '(u v x y z))))) 117 (&body))) 118 119 (test buchberger-advanced 120 "Buchberger algorithm - advanced case" 121 (with-fixture buchberger-advanced-context () 110 122 (is-true (grobner-test gb fl)) 111 123 ;;(is (every #'universal-equalp (buchberger fl) gb)) 112 124 ;;(is (every #'universal-equalp (parallel-buchberger fl) gb)) 113 125 )) 114 126 115 127 116 128
Note:
See TracChangeset
for help on using the changeset viewer.