- Timestamp:
- 2015-06-15T08:26:35-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1734 r1735 413 413 If the representation is not compatible with a polynomial in variables VARS, 414 414 the result is an error." 415 (with-ring-and-order ((vars) :polynomials (p) 416 :value-type :polynomial) 417 p)) 415 (with-ring-and-order ((vars) :polynomials (p) :value-type :polynomial) p)) 418 416 419 417 #|
Note:
See TracChangeset
for help on using the changeset viewer.