Updated answer, Re: [sc34wg3] TMRM v6.0 comments

[Nikita Ogievetsky]

Patrick,

Thank you, - how did not I see "l" :-)

However, I still have hard time with these formulas: (9) and (10).
It is not clear what is the significance of the result, what did we try to
prove? It is also not clear how did we arrive from (9) to (10). 
In any case if it is correct, it means that the product between two tuple
sequences (or ordered sets :-)) is not a symmetrical operation, which I
really doubt. May be I am just missing something very obvious. 
I would greatly appreciate if you or Robert could help clarify this
confusion.

Thanks,

--Nikita

! -----Original Message-----
! From: sc34wg3-admin@isotopicmaps.org [mailto:sc34wg3-
! admin@isotopicmaps.org] On Behalf Of Patrick Durusau
! Sent: Tuesday, July 26, 2005 10:23 AM
! To: sc34wg3@isotopicmaps.org
! Subject: Updated answer, Re: [sc34wg3] TMRM v6.0 comments
! 
! Nikita,
! 
! An updated answer to your third question:
! 
! Nikita Ogievetsky wrote:
! 
! > Dear Steve, Patrick, Robert, and all,
! >
! >
! <snip>
! 
! > 3) It is not clear what is in (.) between (v1j, v2j,.,v1j) in
! > expression (9) on p11
! >
! Actually not a typo, just poor editorial practice.
! 
! Using capital letters will make it plain:
! 
! (v1j, v2j,...,vLj)
! 
! The text uses a lower case "L" in the last term, which with a fairly
! good magnifying glass is different from the number "1" in the subscript
! for v at the beginning of the sequence.
! 
! Same is true for the second sequence in that equation.
! 
! That also happens in expression (12) on page 12, expressions (18), (19),
! and (20), on page 13, and expression (21) on page 14.
! 
! Note that p_m is used in (13) on page 12, despite P_M being defined as
! the set of all path expressions. In (13) it simply marks the last in a
! sequence of path expressions.
! 
! The usage of p_m is also inconsistent with p_n which you will find in
! 4.2, condition #3.
! 
! There are others I am sure I have not noticed yet so please feel free to
! point them out. Consistency and good editorial practice (like not using
! graphically similar characters to mean different things) would go a long
! way to making the formalism easier to read.
! 
! Sorry 'bout that!
! 
! Hope you are having a great day!
! 
! Patrick
! 
! --
! Patrick Durusau
! Patrick@Durusau.net
! Chair, V1 - Text Processing: Office and Publishing Systems Interface
! Co-Editor, ISO 13250, Topic Maps -- Reference Model
! Member, Text Encoding Initiative Board of Directors, 2003-2005
! 
! Topic Maps: Human, not artificial, intelligence at work!
! 
! 
! _______________________________________________
! sc34wg3 mailing list
! sc34wg3@isotopicmaps.org
! http://www.isotopicmaps.org/mailman/listinfo/sc34wg3