
From:  Juergen Sauermann 
Subject:  Re: [Bugapl] IOTA 
Date:  Thu, 03 Mar 2016 14:56:59 +0100 
Useragent:  Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 
Hi, I have changed GNU APL so that B ≡ ⊂B if and only if B is a simple scalar. Before the change B ≡ ⊂B also for nonsimple scalar B. Unfortunately Elias' correct observation that (⊂⊂B) ≡ ⊂B in GNU APL was almost an axiom in GNU APL that nows has turned out to be wrong. That  now incorrect  axiom was enforced (or assumed to be valid) in several places in GNU APL and it could be that other functions (or, more likely, operators) are affected as well. Please let me know if you discover other cases where (scalar and nonsimple) values are being incorrectly enclosed or incorrectly not enclosed. SVN 699. /// Jürgen On 03/03/2016 01:26 PM, Juergen
Sauermann wrote:
Hi, 
[Prev in Thread]  Current Thread  [Next in Thread] 