50g System RPL list processing

[Han]

(11-02-2014 04:34 PM)Marcus von Cube Wrote:  

(11-02-2014 12:02 PM)Claudio L. Wrote:  The concept of 'one' does have the trouble of having to define the additions of 'one',

You can simply define nil and one as the two elements of a mod2 group. This would lead to one+one=nil.

That seems quite arbitrary. And what if were looking at the product of a list of square matrices (only the list itself is empty)? The 'one' would presumably behave like the identity matrix, but clearly \( I_n + I_n \not= 0_n \)