[Bug 1700] New: [FS] most arithmetic operations are not monomorphic

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1700

           Summary: [FS] most arithmetic operations are not monomorphic
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: trivial
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org


4.4 Arithmetic expressions
Under "normalization" it uses the undefined term "monomorphic
function".  The term is not defined in Functions and Operators either.
As I recall from abstract algebra, a monomorphism is a one-to-one
homomorphism.  While unary plus and minus are one-to-one,
most of these operators are not.  For example, 1+0 = 0+1, so
addition is many-to-one.
The simplest solution is to drop the use of the term, which adds
nothing to the discussion anyway.  

In prior drafts he term also appears in
4.5.1 "Value comparisons",
Appendix B.2, "Mapping of overloaded internal functions".
I haven't scanned the latest version for all occurrences.

Received on Sunday, 17 July 2005 23:12:35 UTC