Re: cyclic rules


Z cannot fully represent complete cycles. We have included a partially
defined function (evalRuleš) in section 4 that is declared (informally) to
be equivalent to evalRule.  The cycle described in the primer is realized
by the evalTermReference


Harold Solbrig

On 7/10/14, 11:20 AM, "Peter F. Patel-Schneider" <>

>The Shape Expressions 1.0 Primer,
>mentions cyclic rules, but there is no discussion of cyclic rules in the
>Expressions 1.0 Definition,
>I was trying to puzzle through how cyclic rules would work.  It appears
>they depend on how recursive definitions work in Z.  Can anyone tell me
>recursive definitions work in Z, so that I don't have to do an in-depth
>analysis of Z?

Received on Thursday, 10 July 2014 18:33:15 UTC