Changeset 4052
- Timestamp:
- 2016-05-31T17:52:36-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r4051 r4052 230 230 (universal-ezgcd (leading-coefficient f) (leading-coefficient g)) 231 231 (declare (ignore c)) 232 (poly-sub 233 ring 234 (scalar-times-poly ring cg (monom-times-poly mf f)) 235 (scalar-times-poly ring cf (monom-times-poly mg g)))))) 232 (subtract 233 (multiply cg (monom-times-poly mf f)) 234 (multiply cf (monom-times-poly mg g)))))) 236 235 237 236 (defun buchberger-criterion (g)
Note:
See TracChangeset
for help on using the changeset viewer.