Some J expressions in the dictionary require
finite numbers and don't necessarily work for
infinities.  For example, the definition for
tolerant equality on the = page applied to _
leads to the result that all finite numbers are 
tolerantly equal to _ , and was incorrect before 
the word "finite" was added.  A similar correction
is required for the | page.



----- Original Message -----
From: Steven Phillips <[EMAIL PROTECTED]>
Date: Tuesday, June 6, 2006 5:00 pm
Subject: [Jbeta] residue and infinity

> One of my students has pointed out a potential inconsistency
> with the definition of residue (|), where the right argument is 
> infinity.
> For example,
>    3 | _
> 0
> 
> But, by the definition
>    3 (4 : 'y-x*<. y % x+0=x') _
> _.
> 
> where indeterminate arises from computing _ - _


----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to