Changeset 3571
- Timestamp:
- 2015-09-05T16:55:14-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r3570 r3571 329 329 self)) 330 330 331 (defmethod monom-left-contract ((self monom) k) 332 "Drop the first K variables in monomial M." 333 (declare (fixnum k)) 334 (with-slots (exponents) 335 self 336 (setf exponents (subseq exponents k))) 337 self) 331 (defgeneric left-contract (self k) 332 (:documentation "Drop the first K variables in object SELF.") 333 (:method ((self monom) k) 334 "Drop the first K variables in monomial M." 335 (declare (fixnum k)) 336 (with-slots (exponents) 337 self 338 (setf exponents (subseq exponents k))) 339 self)) 338 340 339 341 (defun make-monom-variable (nvars pos &optional (power 1)
Note:
See TracChangeset
for help on using the changeset viewer.