Changeset 2316 for branches/f4grobner
- Timestamp:
 - 2015-06-18T19:39:55-07:00 (10 years ago)
 - File:
 - 
      
- 1 edited
 
- 
          
  branches/f4grobner/5am-monom.lisp (modified) (1 diff)
 
 
Legend:
- Unmodified
 - Added
 - Removed
 
- 
      
branches/f4grobner/5am-monom.lisp
r2315 r2316 73 73 (is (r-equalp (r* m n) m*n)) 74 74 (is (r-equalp (r/ n m) n/m)) 75 (is (r-equalp (r/ n m) n/m))76 75 (is (r-equalp (r-tensor-product m n) m-tensor-n)))) 77 76 (signals  
  Note:
 See   TracChangeset
 for help on using the changeset viewer.
  