|
From: | Ayal Pinkus |
Subject: | Re: [Axiom-developer] Some thoughts on CATS |
Date: | Mon, 14 Jul 2003 23:55:25 +0200 |
(VERIFY-POLY-EQUAL (* (+ X 1) (+ X 1) ) (+ (* X X) (* 2 X) 1))
Ehm, that should of course be (VERIFY-POLY-EQUAL (EXPAND (* (+ X 1) (+ X 1) ) ) (+ (* X X) (* 2 X) 1)) And in the case where numeric calculations are performed we might want to specify the number of digits precision as a third argument. Ayal Pinkus
[Prev in Thread] | Current Thread | [Next in Thread] |