Extended real arithmetic (was Re: inf - inf = 0 ??)



OK 

 

IND : bounded ===? 0 x IND = 0 

 

UND : undefined =? 0 x UND = UND 

 

jean 

 

 

De : Richard Hennessy [mailto:rich.hennessy at verizon.net] 
Envoy? : samedi 11 septembre 2010 01:05
? : Stavros Macrakis; Jean Pellegri
Cc : maxima at math.utexas.edu
Objet : Re: [Maxima] Extended real arithmetic (was Re: inf - inf = 0 ??)

 

"Clearly limit(sin(x),x,inf)=>IND and IND-IND must be IND"

 

The first statement is clear, the second is not.  Can you prove it?

 

Rich