Typo in CWM builtins web page?

I think this is a typo in [1] (maybe significant as it's a property name):
The subject is a pair of integer numbers. The object is calculated by 
dividing the first number of the pair by the second, ignoring remainder.

[1] http://www.w3.org/2000/10/swap/doc/CwmBuiltins.html

Should be "integerQuotient"?


BTW, do you specify anywhere whether this is truncated (toward zero), or 
entier (greatest integer <= quotient)?

And does the following usual invariant for all numbers :a and :b ?

(:a,:b) math:integerQuotient _:c .
(:a,:b) math:remainder _:d .
(:b,_:c) math:product _:e .
(_:d,_:e) math:sum :a .

(modulo the math: functions appearing in the appropriate part of a 
rule.  I'm exploring an implementation that allows them to also appear as 
ordinary RDF properties.)


Graham Klyne
For email:

Received on Tuesday, 21 October 2003 14:59:09 UTC