ISSUE-394: Rational definition

numdenom

Rational definition

State:
CLOSED
Product:
TTML IMSC 1.0
Raised by:
Pierre-Anthony Lemieux
Opened on:
2015-06-11
Description:
From:https://lists.w3.org/Archives/Public/public-tt/2015Jun/0001.html

> : numerator denominator // numerator != 0; denominator != 0

can I use "01 01"? (For simplicity, I'd encourage you to say no, and
then fix your grammar)
can I use "00 00"? (00 != 0 in string parsing...)
Related Actions Items:
No related actions
Related emails:
  1. Re: [minutes] TTWG call june 18th 2015 (from silviapfeiffer1@gmail.com on 2015-06-19)
  2. Re: [minutes] TTWG call june 18th 2015 (from silviapfeiffer1@gmail.com on 2015-06-19)
  3. Re: [minutes] TTWG call june 18th 2015 (from silviapfeiffer1@gmail.com on 2015-06-19)
  4. Re: [minutes] TTWG call june 18th 2015 (from glenn@skynav.com on 2015-06-18)
  5. Re: [minutes] TTWG call june 18th 2015 (from glenn@skynav.com on 2015-06-18)
  6. [minutes] TTWG call june 18th 2015 (from tmichel@w3.org on 2015-06-18)
  7. {minutes} TTWG Meeting 2015-06-11 (from nigel.megitt@bbc.co.uk on 2015-06-11)
  8. Re: [imsc] CR: TTML Text and Image Profiles for Internet Media Subtitles and Captions 1.0 (from pal@sandflow.com on 2015-06-11)
  9. ISSUE-394 (numdenom): Rational definition [TTML IMSC 1.0] (from sysbot+tracker@w3.org on 2015-06-11)

Related notes:

Explicit parsing from decimal string representation added at https://dvcs.w3.org/hg/ttml/rev/81908989a5e6

"01 01" is allowed as much as "24000 1000" is allowed.

Pierre-Anthony Lemieux, 11 Jun 2015, 05:32:23

yes, 1 = 01 = 001 = 0001, semantically

there is nothing wrong with the grammar

Glenn Adams, 11 Jun 2015, 07:00:11

Display change log ATOM feed


David Singer <singer@apple.com>, Nigel Megitt <nigel.megitt@bbc.co.uk>, Chairs, Thierry Michel <tmichel@w3.org>, Philippe Le H├ęgaret <plh@w3.org>, Atsushi Shimono <atsushi@w3.org>, Staff Contacts
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: index.php,v 1.326 2018/10/13 17:29:51 vivien Exp $