26 Mar
2012
26 Mar
'12
4:17 a.m.
Le 26/03/2012 02:41, Chris Smith a écrit :
Of course there are rings for which it's possible to represent the elements as lists. Nevertheless, there is definitely not one that defines (+) = zipWith (+), as did the one I was responding to. What?
The additive structure does not define a ring. The multiplication can be a Legion, all different. Over. Jerzy K