OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]
Re: [xml-dev] Relating mathematics to XML -- using properties forenabling understanding

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:-)


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. 

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]

News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 1993-2007 XML.org. This site is hosted by OASIS