Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Comments on Motion 42 (not 41): Decoration system, revised text



John, Michel

Am 21.12.2012 17:37, schrieb Michel Hack:
Continuing with 20121221DecoSystemCirculatedB.pdf:

8.8.1:  I like the new quality-order description (following table 14)

8.8.6, Note on FTDIA on page 35:  "Briefly, (29) gives..."

      Is that a typo for "(19)", or should it say "(19), or (29) below, "?

8.8.7, last sentence, allowing intersectionDec() and convexHullDec() to be
      a language's (or implementation's, I presume) default:  Should there
      not then be a requirement to provide (in the documentation) a warning
      about possible mis-application that might lead to FTDIA violations?
I think it should! Even more I would support that it should be nade explicit if yiu switch the default
Juergen

Question at the end of 8.8 (last page):

      It seems to me that the natural way to define ANY function or operation
      on compressed intervals that are a decoration dx is to perform it as if
      it were applied to normalInterval(dx).


Michel.
---Sent: 2012-12-21 18:23:50 UTC


--
o Prof. Dr. Juergen Wolff von Gudenberg, Lehrstuhl fuer Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602
  / \  Uni       E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg