Re: [Haskell-cafe] Names for properties of operators

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 matter for my

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: property.

4: (a % b) ~ c = (a ~ c) % b Division and multiplication on rationals obey this property: (a / b) * c = (a * c) / b.

Thanks, Neil.