Well this one is interesting since in XPath 2 F&O spec
it is said that
[[
Thus, the semantics " $a idiv $b " are equivalent to " ($a div $b)
cast as xs:integer " except for error situations.
]]
A bug in the spec or in Saxon ?
floor(1000000000000000000000000000000001 div
100000000000000000000000000000001),
1000000000000000000000000000000001 idiv 100000000000000000000000000000001,
(1000000000000000000000000000000001 div
100000000000000000000000000000001) cast as xs:integer
gives
10, 9, 10
Xmlizer
On Thu, Nov 6, 2008 at 7:04 PM, David Carlisle
<davidc(_at_)nag(_dot_)co(_dot_)uk> wrote:
not for negative values
and not for some positive values either,
let
$x := 100000000000000000000000000000001,
$y := 1000000000000000000000000000000001
return
(floor($y div $x), $y idiv $x)
saxon8q div.xq
<?xml version="1.0" encoding="UTF-8"?>10 9
not for any values at all if you are a strict typing sort of person, as
floor returns an xs:decimal (as integer div integer is decimal) and idiv
returns an integer.
(oops sorry about the xquery:-)
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.
________________________________________________________________________
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail:
<mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--