- Timestamp:
- 2015-06-17T22:18:33-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ring.lisp
r2173 r2174 57 57 "R-EQUALP" 58 58 "R-DEPENDS-P" 59 "R-TENSOR-MUL"60 "R-CONTRACT"61 59 "R-ELT" 62 "R->LIST")) 60 "R->LIST" 61 "R-DIVISIBLE-BY-P" 62 "R-REL-PRIME-P" 63 "R-DEPENDS-P" 64 "R-TENSOR-PRODUCT" 65 "R-CONTRACT" 66 )) 63 67 64 68 (in-package :ring)
Note:
See TracChangeset
for help on using the changeset viewer.