Changeset 4484
- Timestamp:
- 2016-06-15T20:04:03-07:00 (9 years ago)
- Location:
- branches/f4grobner
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r4483 r4484 110 110 c (multiply-by c c1) 111 111 p (grobner-op c2 c1 m p (car fl))) 112 (setf (car b) (add (car b) 112 (setf (car b) (add (car b) 113 113 (change-class m 'term :coeff c2)))) 114 114 t)))) -
branches/f4grobner/test5.lisp
r4434 r4484 4 4 5 5 (in-package :5am-buchberger) 6 (proclaim '(special fl ref-gb sp sp-rem ))6 (proclaim '(special fl ref-gb sp sp-rem gb)) 7 7 8 8 (setf grobner-debug::$poly_grobner_debug nil) … … 34 34 35 35 ;;(setf gb (buchberger fl)) 36 ;;(print (mapcar #'->sexp gb))
Note:
See TracChangeset
for help on using the changeset viewer.