- Timestamp:
- 2016-05-31T21:35:12-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r4079 r4080 269 269 (stat2 270 270 (every #'universal-zerop 271 (makelist (normal-form (copy -tree(elt f i)) g nil)271 (makelist (normal-form (copy (elt f i)) g nil) 272 272 (i 0 (1- (length f))))))) 273 273 (unless stat1 (error "~&Buchberger criterion failed, not a grobner basis: ~A" g))
Note:
See TracChangeset
for help on using the changeset viewer.