Changeset 3604 for branches/f4grobner/5am-monom.lisp
- Timestamp:
- 2015-09-05T18:45:27-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r3603 r3604 161 161 (is-true (divides-p m n)) 162 162 (is-false (divides-p n m)) 163 (is ( r-equalp (universal-gcd m n) m))164 (is ( r-equalp (universal-lcm m n) n))163 (is (universal-equalp (universal-gcd m n) m)) 164 (is (universal-equalp (universal-lcm m n) n)) 165 165 (is-true (depends-p m 0)) 166 166 (signals
Note:
See TracChangeset
for help on using the changeset viewer.