Changeset 1387
- Timestamp:
- 2015-06-11T23:09:05-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r1386 r1387 145 145 ring 146 146 (funcall (ring-lcm ring) f-cont g-cont) 147 (poly-primitive-part ring (car (ideal-intersection ring (list f) (list g) nil)))))))))147 (poly-primitive-part ring (car (ideal-intersection ring-and-order (list f) (list g) nil))))))))) 148 148 149 149 ;; Do two Grobner bases yield the same ideal?
Note:
See TracChangeset
for help on using the changeset viewer.