Changeset 4389
- Timestamp:
- 2016-06-07T09:50:53-07:00 (9 years ago)
- File:
- 
      - 1 edited
 
 - 
          
  branches/f4grobner/5am-division.lisp (modified) (1 diff)
 
Legend:
- Unmodified
- Added
- Removed
- 
      branches/f4grobner/5am-division.lispr4388 r4389 152 152 153 153 154 #+nil155 154 (test buchberger-containment 156 155 "Check ideal containment" 
  Note:
 See   TracChangeset
 for help on using the changeset viewer.
  
