Re: [xml-dev] Relating mathematics to XML -- using properties forenablin

[David Carlisle <davidc@nag.co.uk>]

On 25/07/2012 14:00, Costello, Roger L. wrote:
> a @ b = b @ a                                for any a, b
>
> a @ (b @ c) = (a @ b) @ c            for any a, b, c
>
> a @ 0 = 0 @ a = a                          for any a
>
> then you probably understand that I am talking about the addition
> operation.

Not at all: you just have operations from for a commutative semigroup so
@ could be any operation at all where a and b are elements of the group
and 0 is its unit. So it could be multiplication for example, the unit
for multiplicative groups are normally written as 1 but as you noted
"other symbols could be used" and 0 is just as good a symbol.

What does this mean for XML? Not much, other than terms mean what they
are defined to mean in the given context, and if you take them out of
context they don't mean anything:-)

David


________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________