W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 1756] [FS] editorial: 7.2.3 The fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions

From: <bugzilla@wiggum.w3.org>
Date: Fri, 08 Sep 2006 06:20:16 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GLZiq-0001ho-Dc@wiggum.w3.org>

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


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #3 from jmdyck@ibiblio.org  2006-09-08 06:20 -------
I meant the *inference rule* needs to establish that F denotes one of these
functions. Moreover, 'F' is invalid because it isn't the name of a nonterminal.
So:

-- change 'F' to 'expanded-QName';
-- add a premise: expanded-QName in { (FN-URI,"abs"), (FN-URI,"ceiling"),
(FN-URI,"floor"), (FN-URI,"round"), (FN-URI,"round-half-to-even") };
-- modify (pare down) the preceding sentence accordingly.

(Don't step outside the formalism when you can easily express something within
the formalism.)

And change "is cannot expressed" to "cannot be expressed". Or rather, "is not
expressed", since I'm not convinced that it *can't* be expressed.
Received on Friday, 8 September 2006 06:20:57 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:30 UTC