- Timestamp:
- 2015-06-11T23:48:58-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1405 r1406 266 266 (unless stat1 (error "~&Buchberger criterion failed, not a grobner basis: ~A" g)) 267 267 (unless stat2 268 (error "~&Original poly s not in ideal spanned by Grobner basis: ~A" f)))268 (error "~&Original polynomials not in ideal spanned by Grobner basis: ~A" f))) 269 269 (debug-cgb "~&GROBNER CHECK END") 270 270 t)
Note:
See TracChangeset
for help on using the changeset viewer.