Changeset 1404
- Timestamp:
- 2015-06-11T23:48:20-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1403 r1404 264 264 (makelist (normal-form ring-and-order (copy-tree (elt f i)) g nil) 265 265 (i 0 (1- (length f))))))) 266 (unless stat1 (error "~&Buchberger criterion failed ."))266 (unless stat1 (error "~&Buchberger criterion failed, not a grobner basis: ~A" g)) 267 267 (unless stat2 268 268 (error "~&Original polys not in ideal spanned by Grobner.")))
Note:
See TracChangeset
for help on using the changeset viewer.