"\dom" is just a NAME, There are no operator paragraphs for it.

"\dom" is just a NAME, There are no operator paragraphs for it.

Post by Mike » Sat, 18 Mar 2006 02:31:34


I am told that "\dom" is just a NAME, There are no operator paragraphs
for it.

The concrete parse tree of birthday book example in the standard maps
\dom to PRE?

What would happen if was declared it as a PRE and it did parse like the
ISO example?

Would it cause any problems with other declarations?

In your explanation it would mean that \dom is a RefName and birthday
is a RefName. But I think it would be logical that \dom is defended
like in the ISO FigureD.1 "Concrete pare tree of birthday book
example".

This is how I think it work's, see Fig1:

Fig1: parse tree
Application
PrefixApp
PRE (\dom)
Reference expression
RefName
NAME (birthday)

Fig2:
\begin{schema}{BirthdayBook}
known: \power NAME \\
birthday: NAME \pfun DATE
\where
known=\dom birthday
\end{schema}

Fig3:
%%Zpreword \dom dom
\begin{gendef}[X,Y]
\dom : (X \rel Y) \fun \power X
\where
\forall r : X \rel Y @ \dom r = \{~ p : r @ p.1 ~\} \end{gendef}


In Fig1 it looks like \dom is performing an action on birthday which is
how it should work.

The parsing would work like this:

(Going form bottom up)

1) pass birthday into \dom
2) \dom will check if it's declaration can accept birthday's parameters

see Fig1
\dom can accept a set that is a mapping of 2 parameters, see Fig3
(\dom : (X \rel Y))
3) Check to see if the passed set is also a mapping of 2 parameters,
Fig2
(birthday: NAME \pfun DATE)
4) Yes it is
5) Then make sure that what we return will also be a mapping, a
functional mapping of all the X, (\fun \power X)
That holds true for:
\forall r : X \rel Y @ \dom r = \{~ p : r @ p.1 ~\}


Now going back to Fig1, Application contains a set who's constraints
meat a condition that is working on a set called birthday, because
application is the right side of the infix relational predicate "=" and
the left side is DeclName (know) then point know to the set returned by
Application.

If I call \dom NAME and birthday NAME I can't do the above?
 
 
 

1. AM/AM, AM/AM Modeling

2. It's true, it's true, what am I to do.

Jasc did sell out to Corel. What did I say about money, recently? I am
appalled, and not in a talkative mood, but shocked is not too strong a
word. There goes the nice feedback we got from the Jasc folks. I've
never talked to Corel or Adobe, even tho, I wanted to. MS is not worth
mentioning. So, now, how does this explain recent decisions on not
patching 8 or completing 9.(the AM Smear). Guess they'll get their
Painter brushes now,(free) unless, they just concentrate on the
millions of new digi photo folks, who care nothing about art, painting
or good photos, just a few snapshots for grandma. If I was younger, I
would cut off my ear.

real URL
http://www.yqcomputer.com/

3. Am decarcat WLWord2007gratuit dar am uitat codulde25 cifre

4. 6:49:00 AM converted to 00:06:49 AM

5. h:mm:ss AM + h:mm:ss AM converted to minutes?

6. I am using foxpro 6 and am new to forms.

7. I am learning to use frontpage 2003 and I am unable to see my

8. I am writing a screenplay and am wondering about setting margins easier.

9. I am Da Jerk and I am counting

10. I am a flame-boy, and I am not awesome.

11. I AM A NAZI SYMPATHIZER...HITLER WAS MY FATHER AND I AM AN IDIOT!!!

12. I am unable to send mail, but am able to receive...

13. Emails (newsletter) coming noting that I am Chinese when i am not.

14. sir i am using datasocket read ,i am communicating with java...

15. i am using many events structures in my application,but i am...