Changeset 2889
- Timestamp:
 - 2015-06-21T12:03:05-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
r2876 r2889 156 156 "Monom/term conversion" 157 157 (with-fixture monom/term-conversion-context () 158 (is (r-equalp (change-class term 'monom) monom)) 158 (is (r-equalp (change-class term 'monom) monom))) 159 (with-fixture monom/term-conversion-context () 159 160 (is (r-equalp (change-class monom 'term) promoted-monom))) 160 161 (with-fixture monom/term-conversion-context ()  
  Note:
 See   TracChangeset
 for help on using the changeset viewer.
  