Newsgroups: comp.lang.apl
Path: watmath!watserv2.uwaterloo.ca!torn!utcsri!geac!itcyyz!yrloc!hui
From: hui@yrloc.ipsa.reuter.COM (Roger Hui)
Subject: Re: Tacit numerical integration?
Message-ID: <1992Nov5.063813.29159@yrloc.ipsa.reuter.COM>
Organization: Iverson Software Inc.
References: <16223@umd5.umd.edu> <1992Oct24.192342.2201@yrloc.ipsa.reuter.COM> <16385@umd5.umd.edu> <qmdbms.720466286@gsusgi1.gsu.edu>
Date: Thu, 5 Nov 92 06:38:13 GMT

Brian Schott writes:
 
> ...  I would like to summarize the forms I have
> deduced from Harrington's thread.  I suspect my summary is
> flawed, but I figure others will correct my mistakes. ...
 
All but one of the rules on bidents and tridents are stated on 
page 10 of the dictionary.  The one exception is the (c1 v c2) form 
which is new since version 5.  c1 v c2 derives a conjunction such that 
x (c1 v c2) y <-> (x c1 y) v (x c2 y).
 
> ... Along the way I learned how linear representation can be used
> to reconvert boxed definitions into implicit definitions
> (lr <'boxed definition'). This probably should have been obvious,
> but it escaped me.
 
It is more accurate to think of a fixed definition with several 
representations.  Thus 5!:2 is the boxed representation (the one used 
in default display); 5!:4 is the tree rep.; 5!:5 is the linear rep.; etc.  
The verb 9!:3 can be used to specify one or more representations to be 
used in display.

------------------------------------
Roger Hui, Iverson Software Inc., 33 Major Street, Toronto, Ontario  M5S 2K9
Phone: (416) 925 6096;  Fax: (416) 488 7559
