[Bug 6316] New: An error should be raised if second argument to op:numeric-integer-divide is INF or -INF

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

           Summary: An error should be raised if second argument to
                    op:numeric-integer-divide is INF or -INF
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Platform: PC
               URL: http://www.w3.org/TR/xpath-functions/#func-numeric-
                    integer-divide
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P4
         Component: Functions and Operators
        AssignedTo: mike@saxonica.com
        ReportedBy: zongaro@ca.ibm.com
         QAContact: public-qt-comments@w3.org


The third paragraph of section 6.2.6 of F&O states, "If the divisor is
(positive or negative) zero, then an error is raised [err:FOAR0001]. If either
operand is NaN or if $arg1 is INF or -INF then an error is raised
[err:FOAR0002]."

I think we need to prohibit the second operand from being positive or negative
infinity as well.  If $a is finite, but $b is not finite, there is no value of
type xs:integer that could be delivered as the result of ($a idiv $b) so that
the following relation is true.

   (($a idiv $b) * $b) + ($a mod $b) = $a

I believe the second sentence should read, "If either operand is NaN, positive
infinity or negative infinity, then an error is raised [err:FOAR0002]."


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Tuesday, 16 December 2008 16:56:41 UTC