Changeset 1388
- Timestamp:
- 2015-06-11T23:10:05-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r1387 r1388 148 148 149 149 ;; Do two Grobner bases yield the same ideal? 150 (defun grobner-equal (ring g1 g2)150 (defun grobner-equal (ring-and-order g1 g2) 151 151 "Returns T if two lists of polynomials G1 and G2, assumed to be Grobner bases, 152 152 generate the same ideal, and NIL otherwise." 153 (and (grobner-subsetp ring g1 g2) (grobner-subsetp ring g2 g1))) 153 (declare (type ring-and-order ring-and-order)) 154 (and (grobner-subsetp ring-and-order g1 g2) (grobner-subsetp ring-and-order g2 g1))) 154 155 155 156 (defun grobner-subsetp (ring g1 g2)
Note:
See TracChangeset
for help on using the changeset viewer.