Groups | Search | Server Info | Login | Register
Groups > comp.specification.z > #366
| X-Received | by 10.224.110.68 with SMTP id m4mr11230320qap.2.1364936505287; Tue, 02 Apr 2013 14:01:45 -0700 (PDT) |
|---|---|
| X-Received | by 10.49.30.100 with SMTP id r4mr1451291qeh.32.1364936505251; Tue, 02 Apr 2013 14:01:45 -0700 (PDT) |
| Path | csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!ca1no21288754qab.0!news-out.google.com!v17ni6816qad.0!nntp.google.com!ca1no21288744qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail |
| Newsgroups | comp.specification.z |
| Date | Tue, 2 Apr 2013 14:01:44 -0700 (PDT) |
| In-Reply-To | <kj7g95$vfe$1@dont-email.me> |
| Complaints-To | groups-abuse@google.com |
| Injection-Info | glegroupsg2000goo.googlegroups.com; posting-host=86.132.178.141; posting-account=v7gx3AoAAABfjb9m5b7l_Lt2KVEgQBIe |
| NNTP-Posting-Host | 86.132.178.141 |
| References | <kj7g95$vfe$1@dont-email.me> |
| User-Agent | G2/1.0 |
| MIME-Version | 1.0 |
| Message-ID | <01418bc9-dcb9-4915-9781-1dfd1c2a6c04@googlegroups.com> (permalink) |
| Subject | Re: assertions about parts of schema |
| From | phil.clayton@lineone.net |
| Injection-Date | Tue, 02 Apr 2013 21:01:45 +0000 |
| Content-Type | text/plain; charset=ISO-8859-1 |
| Xref | csiph.com comp.specification.z:366 |
Show key headers only | View raw
On Saturday, March 30, 2013 8:02:31 PM UTC, David Lamb wrote:
> I have a situation that corresponds roughly to:
>
>
>
> \begin{schema}{Small} x1: ...; xn: ... \end{schema}
>
> \begin{schema}{Big}
>
> Small \\
>
> ... \end{schema}
>
>
>
> \begin{schema}{Other}
>
> v1: Big;
>
> v2: Big
>
> \where
>
> % v1's variables defined in Small equal v2's variables defined in small
>
> \end{schema}
>
>
>
> However, I don't know how to write the assertion in the comment. It
>
> seems to me I ought to be able to use \project and perhaps \theta
>
> somehow but I've not understood those portions of Z well enough, and
>
> keep getting syntax errors in fuzz with various things I try. I'd rather
>
> not resort to
>
> v1.x1 = v2.x2 \land ... \land v1.xn = v2.xn
>
>
>
> Any suggestions?
Assuming you meant to say
v1.x1 = v2.x1 \land ... \land v1.xn = v2.xn
^
(note difference indicated by ^) then how about just writing
v1 = v2
Back to comp.specification.z | Previous | Next — Previous in thread | Next in thread | Find similar
assertions about parts of schema David Lamb <dalamb@cs.queensu.ca> - 2013-03-30 16:02 -0400
Re: assertions about parts of schema phil.clayton@lineone.net - 2013-04-02 14:01 -0700
Re: assertions about parts of schema David Lamb <dalamb@cs.queensu.ca> - 2013-04-02 21:17 -0400
Re: assertions about parts of schema phil.clayton@lineone.net - 2013-04-03 14:29 -0700
Re: assertions about parts of schema phil.clayton@lineone.net - 2013-04-03 15:34 -0700
Re: assertions about parts of schema phil.clayton@lineone.net - 2013-04-03 23:41 -0700
Re: assertions about parts of schema David Lamb <dalamb@cs.queensu.ca> - 2013-04-04 17:08 -0400
Re: assertions about parts of schema phil.clayton@lineone.net - 2013-04-04 15:01 -0700
Re: assertions about parts of schema David Lamb <dalamb@cs.queensu.ca> - 2013-04-04 20:37 -0400
csiph-web