[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] lemma regarding expansion of terms



Have you tried (grind) ??

Cesar

On Thu, 2005-04-07 at 16:35, Nikhil D. Kikkeri wrote:
> hi--
> 
> is there a lemma already defined in PVS that shows
> 
> (1-a)(1+a) = (1-a^2)
> 
> if not,how do i go about it
> 
> thank you
> 
> -Nikhil
> 
> 
> ---
> http://engr.smu.edu/~nikhil
> 
> _________________________________________________________________
> Expressions unlimited! http://server1.msn.co.in/sp04/messenger/ The all new 
> MSN Messenger!
-- 
Cesar A. Munoz H., Senior Staff Scientist     mailto:munoz@nianet.org
National Institute of Aerospace      mailto://C.A.Munoz@larc.nasa.gov
144 Research Drive                  http://research.nianet.org/~munoz
Hampton, VA 23666, USA   Tel. +1 (757) 766 1539 Fax +1 (757) 766 1855