Changeset 4401
- Timestamp:
- 2016-06-07T19:03:45-07:00 (9 years ago)
- Location:
- branches/f4grobner
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-division.lisp
r4389 r4401 168 168 (is (universal-equalp fl fl-copy))))) 169 169 170 #+nil171 170 (test buchberger-criterion-full 172 171 (with-fixture buchberger-criterion-context -
branches/f4grobner/infix-printer.lisp
r4400 r4401 36 36 (t 37 37 (dolist (arg lst) 38 ;;(format t "Processing arg: ~S~%" arg) 38 39 (setf true-sep sep) 39 40 (incf count) … … 43 44 (consp arg) 44 45 (eq alt-op (car arg))) 45 (setf arg (cadr arg) 46 true-sep alt-sep)) 46 (setf arg (cadr arg) true-sep alt-sep)) 47 47 (if beg 48 48 (setf beg nil) … … 100 100 ((+ - * /) 101 101 (infix-print-separated-list 102 (cdr expr) 103 (car expr) 102 (cdr expr) 103 (car expr) 104 104 stream 105 (car expr) 106 (1+ print-level) 105 (car expr) 106 (1+ print-level) 107 107 (cond ((eq (car expr) '+) '-) 108 108 ((eq (car expr) '-) '-) -
branches/f4grobner/test5.lisp
r4394 r4401 26 26 (setf sp-rem (normal-form sp fl)) 27 27 (format t "NORMAL-FORM(~A,~A) --> ~A~%" 28 (poly->string sp -rem)28 (poly->string sp) 29 29 (poly->string (cons :[ fl)) 30 30 (poly->string sp-rem))
Note:
See TracChangeset
for help on using the changeset viewer.