Changeset 22
- Timestamp:
- 2012-06-12T20:42:10-07:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/grobner.lisp
r21 r22 1674 1674 J the polynomial W*H belongs to I." 1675 1675 (cond 1676 ((endp f))1677 1676 ((endp g) 1678 1677 ;;Id(G) consists of 0 only so W*0=0 belongs to Id(F)
Note:
See TracChangeset
for help on using the changeset viewer.