Changeset 4088
- Timestamp:
- 2016-06-01T09:23:43-07:00 (9 years ago)
- Location:
- branches/f4grobner
- Files:
-
- 1 added
- 1 deleted
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ngrobner.asd
r3986 r4088 22 22 (:file "priority-queue") 23 23 (:file "pair-queue") 24 ;;(:file "grobner-debug")25 ;;(:file "division")24 (:file "grobner-debug") 25 (:file "division") 26 26 ;;(:file "criterion") 27 27 ;;(:file "buchberger") -
branches/f4grobner/symbolic-polynomial.lisp
r4076 r4088 163 163 (defgeneric poly->string (self &optional vars) 164 164 (:documentation "Render polynomial SELF as a string, using symbolic variables VARS.") 165 (:method ((self list) &optional (vars nil ))165 (:method ((self list) &optional (vars nil vars-p)) 166 166 (assert (eql (car self) :[)) 167 (cons :[ (mapcar #'(lambda (p) (poly->string p vars)) (cdr self)))) 167 (cond (vars-p 168 (cons :[ (mapcar #'(lambda (p) (poly->string p vars)) (cdr self)))) 169 (t 170 (cons :[ (mapcar #'(lambda (p) (poly->string p)) (cdr self)))))) 168 171 (:method ((self poly) &optional (vars nil)) 169 172 ;; Ensure that the number of variables matches the dimension -
branches/f4grobner/test1.lisp
r4084 r4088 21 21 (multiple-value-bind (a r c division-count) 22 22 (step (poly-pseudo-divide f fl)) 23 (format t "Quotients: ~S~%" a)24 (format t "Remainder: ~S~%" (->sexp r ))23 (format t "Quotients: ~S~%" (poly->string (cons :[ a) '(x y))) 24 (format t "Remainder: ~S~%" (->sexp r '(x y))) 25 25 (format t "Coefficient: ~S~%" c) 26 26 (format t "Division count: ~S~%" division-count)))
Note:
See TracChangeset
for help on using the changeset viewer.