This seems related:
http://en.wikipedia.org/wiki/Semigroup_action
But I'm not entirely sure.
Sjoerd
On Nov 7, 2009, at 7:57 PM, Neil Brown wrote:
Hi,
We have names for properties of operators/functions. For example,
if this holds:
a % b = b % a
for some operator %, we say that % is com
Hi,
Thanks for the replies so far. If it helps, after I sent my post, I
spotted a couple of arithmetic examples:
Neil Brown wrote:
2: (a % b) % c = (a % c) % b
Division (on rationals) obeys this property (a / b) / c = (a / c) / b --
which is actually equal to a / (b * c), but that doesn't m
Hi Neil,
You wrote:
> [...] Is there a name for this property, which
> I'm numbering 1, (where (%) :: a -> b -> b; i.e. the operator is
> potentially, but not necessarily, asymmetrically typed):
>
> 1: a % (b % c) = b % (a % c)
I don't know any snappy names for this, but the following might he
No, they aren't rings, because rings are distributive...
2009/11/8 Thomas Danecker :
> 1. and 2. are called left- and right-commutative.
> And I think that 3. and 4. are left- and right-commutative rings
> (please correct me if I'm wrong here).
>
> Cheers, Thomas
>
> 2009/11/7 Neil Brown :
>> Hi,
1. and 2. are called left- and right-commutative.
And I think that 3. and 4. are left- and right-commutative rings
(please correct me if I'm wrong here).
Cheers, Thomas
2009/11/7 Neil Brown :
> Hi,
>
> We have names for properties of operators/functions. For example, if this
> holds:
>
> a % b =
