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.

source: branches/f4grobner/test5.lisp@ 4391

Last change on this file since 4391 was 4391, checked in by Marek Rychlik, 9 years ago

* empty log message *
File size: 794 bytes
Line 
1;;poly_grobner([x^3-x^2+2,y-2*x^2+1,z-3*x+5],[x,y,z]);
2;;[x^3-x^2+2,y-2*x^2+1,z-3*x+5,2*z^2+20*z-9*y+41,(-z^3)-12*z^2-45*z-104]
3
4(in-package :5am-buchberger)
5
6
7(setf fl (cdr (string->poly "[x^3-x^2+2,y-2*x^2+1,z-3*x+5]" '(x y z)))
8 ref-gb (cdr (string->poly "[x^3-x^2+2,y-2*x^2+1,z-3*x+5,2*z^2+20*z-9*y+41,(-z^3)-12*z^2-45*z-104]" '(x y z))))
9
10(format t "~S~%" (poly->string (cons :[ fl)))
11(format t "~S~%" (poly->string (cons :[ ref-gb)))
12
13(setf sp-0-1 (s-polynomial (elt fl 0) (elt fl 1)))
14(format t "~S~%" (poly->string sp-0-1))
15
16(setf sp-0-2 (s-polynomial (elt fl 0) (elt fl 2)))
17(format t "~S~%" (poly->string sp-0-2))
18
19(setf sp-1-2 (s-polynomial (elt fl 1) (elt fl 2)))
20(format t "~S~%" (poly->string sp-1-2))
21
22(setf grobner-debug::$poly_grobner_debug t)
23;;(setf gb (buchberger fl))
Note: See TracBrowser for help on using the repository browser.