Changeset 1896
- Timestamp:
- 2015-06-15T17:51:35-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r1895 r1896 120 120 121 121 (defun monom-total-degree (m &optional (start 0) (end (monom-dimension m))) 122 (declare (type monom m) (type fixnum start end))123 122 "Return the todal degree of a monomoal M. Optinally, a range 124 123 of variables may be specified with arguments START and END." 124 (declare (type monom m) (type fixnum start end)) 125 125 (reduce #'+ m :start start :end end)) 126 126 127 127 (defun monom-sugar (m &aux (start 0) (end (monom-dimension m))) 128 (declare (type monom m) (type fixnum start end))129 128 "Return the sugar of a monomial M. Optinally, a range 130 129 of variables may be specified with arguments START and END." 130 (declare (type monom m) (type fixnum start end)) 131 131 (monom-total-degree m start end)) 132 132 133 133 (defun monom-div (m1 m2 &aux (result (copy-seq m1))) 134 "Divide monomial M1 by monomial M2." 134 135 (declare (type monom m1 m2 result) 135 "Divide monomial M1 by monomial M2."136 136 (map-into result #'- m1 m2)) 137 137
Note:
See TracChangeset
for help on using the changeset viewer.