axiom-developer
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Some thoughts on CATS

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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]