- Timestamp:
- 2015-06-21T18:27:47-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r3075 r3076 319 319 320 320 321 #|322 321 (defun polysaturation-extension (ring f plist 323 322 &aux … … 335 334 :coeff (funcall (ring-uminus ring) (funcall (ring-unit ring)))))) 336 335 (append f (list plist))) 336 337 #| 338 337 339 338 340 (defun saturation-extension-1 (ring f p)
Note:
See TracChangeset
for help on using the changeset viewer.