W3C home > Mailing lists > Public > www-math@w3.org > June 2009

rewrite: apply bvar domainofapplication

From: Andreas Strotmann <andreas.strotmann@ualberta.ca>
Date: Sat, 06 Jun 2009 13:01:52 -0600
Message-ID: <4A2ABD20.1060804@ualberta.ca>
To: David Carlisle <davidc@nag.co.uk>
CC: www-math@w3.org
This rewrite rule changes the arity of H, which is highly unlikely to be correct:

<apply> H 
   D 
  <bind><csymbol cd="fns1">lambda</csymbol>
    <bvar> v1 </bvar>
    ...
    <bvar> vn </bvar>
     A1 
  </bind>
  ...
  <bind><csymbol cd="fns1">lambda</csymbol>
    <bvar> v1 </bvar>
    ...
    <bvar> vn </bvar>
     Am 
  </bind>
</apply>

I suggest replacing this by something like the following, interpreting domainofapplication 
as a restriction on the operator:

<apply> 
  <apply> <csymbol>restrict</csymbol> H D</apply> 
  <bind><csymbol cd="fns1">lambda</csymbol>
    <bvar> v1 </bvar>
    ...
    <bvar> vn </bvar>
     A1 
  </bind>
  ...
  <bind><csymbol cd="fns1">lambda</csymbol>
    <bvar> v1 </bvar>
    ...
    <bvar> vn </bvar>
     Am 
  </bind>
</apply>
Received on Saturday, 6 June 2009 19:02:36 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:13:05 GMT