- Timestamp:
- 2015-06-22T19:42:36-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/term.lisp
r3217 r3218 63 63 (setf (scalar-coeff new) 1)) 64 64 65 #|66 (defun make-term-variable (nvars pos67 &optional68 (power 1)69 (coeff 1))70 "Construct a term in the polynomial ring RING[X[0],X[1],X[2],...X[NVARS-1]]71 over the ring RING which represents a single variable. It assumes72 number of variables NVARS and the variable is at position73 POS. Optionally, the variable may appear raised to power POWER.74 Optionally, the term may appear with an arbitrary coefficient, which75 defaults to the unit of the RING."76 (declare (type fixnum nvars pos))77 (make-term :monom (make-monom-variable nvars pos power)78 :coeff coeff))79 80 |#81 82 65 (defmethod multiply-by :before ((self term) (other term)) 83 66 "Destructively multiply terms SELF and OTHER and store the result into SELF.
Note:
See TracChangeset
for help on using the changeset viewer.