Re: [Bug-apl] Problem with modulo arithmetic on Gaussian integers redux

2017-06-15 Thread Juergen Sauermann
Hi Leslie, no, it seems like SVN 961 is working. Best Regards, Jürgen On 06/15/2017 03:07 PM, Leslie S Satenstein wrote: is svn 961 recinded?  

Re: [Bug-apl] Problem with modulo arithmetic on Gaussian integers redux

2017-06-15 Thread Jay Foad
Sorry, please ignore that. I had not done an svn update. With the latest svn I get: ¯1J11 | ¯12J10 0 ... so it's looking good! On 15 June 2017 at 13:50, Jay Foad wrote: > I get: > > ¯1J11 | ¯12J10 > computing (-12,10) modulo (-1,11) > ⎕CT is: 1e-13 > the quotient B ÷ A is: (0.

Re: [Bug-apl] Problem with modulo arithmetic on Gaussian integers redux

2017-06-15 Thread Jay Foad
I get: ¯1J11 | ¯12J10 computing (-12,10) modulo (-1,11) ⎕CT is: 1e-13 the quotient B ÷ A is: (0.,0.) the quotient rounded down is: (1,0) ¯11J¯1 On 15 June 2017 at 13:47, Juergen Sauermann wrote: > Hi, > > I have changed the implementation of *ComplexCell::b

Re: [Bug-apl] Problem with modulo arithmetic on Gaussian integers redux

2017-06-15 Thread Juergen Sauermann
Hi, I have changed the implementation of ComplexCell::bif_residue() to use a more intuitive implementation of integral_within(). (the old one used tolerant_floor() with the dubious half-plane definition from the ISO standard). The new ver

Re: [Bug-apl] Problem with modulo arithmetic on Gaussian integers redux

2017-06-15 Thread Juergen Sauermann
Hi Jay, thanks again for the explanation. As a matter of fact, older GNU APL versions did use a more common-sense definition of tolerant floor, but then Fred reported problems with the Gaussian integers and I thought that this may be caused by me not

Re: [Bug-apl] Problem with modulo arithmetic on Gaussian integers redux

2017-06-15 Thread Jay Foad
Another example from Fred: ¯1J11 | ¯12J10 ⍝ should be zero ¯11J¯1 This seems to be a consequence of the ISO standard's curious definition of tolerant-floor. I would naively expect the tolerant floor of A←0.99989J0.99989 to be 1J1, but according to the standard (and h