From: Graham Klyne <gk@ninebynine.org>

Date: Tue, 21 Oct 2003 14:51:52 +0100

Message-Id: <5.1.0.14.2.20031021144945.02002440@127.0.0.1>

To: Tim Berners-Lee <timbl@w3.org>

Cc: www-archive+n3bugs@w3.org

Date: Tue, 21 Oct 2003 14:51:52 +0100

Message-Id: <5.1.0.14.2.20031021144945.02002440@127.0.0.1>

To: Tim Berners-Lee <timbl@w3.org>

Cc: www-archive+n3bugs@w3.org

I think this is a typo in [1] (maybe significant as it's a property name): [[ intgerQuotient 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.) #g -- ------------ Graham Klyne For email: http://www.ninebynine.org/#ContactReceived on Tuesday, 21 October 2003 14:59:09 UTC

*
This archive was generated by hypermail 2.3.1
: Wednesday, 7 January 2015 14:42:32 UTC
*