In this context, it doesn't matter that {{ }} may be nested. You have
already contained any inner direct definitions:
{{{{+/y}}y}}
3 : '{{ +/y }}y'
Thanks,
--
Raul
On Fri, Oct 30, 2020 at 2:39 PM Henry Rich <[email protected]> wrote:
>
> You might want to look at unDD() in r.c. It's what I use for converting
> internal DDs inside an explicit definition back to {{ }} form.
>
> I use it for the display of error messages and in the linear rep of an
> explicit definition - just not for the outermost m : 0.
>
> Remember, {{ }} may be nested.
>
> Henry Rich
>
>
> On 10/30/2020 12:58 PM, Raul Miller wrote:
> > Oh, this is interesting -- jsource/test/g5x5.ijt contains an almost
> > working implementation of tree -- which should probably be used to
> > update https://www.jsoftware.com/ioj/iojRep.htm
> >
> > (This code is used to test the 5!:5 implementation.)
> >
> > (I say "almost working" because the verb 'type' needs to be replaced
> > with (3!:0) or it throws a domain error.)
> >
> > FYI,
> >
>
>
> --
> This email has been checked for viruses by AVG.
> https://www.avg.com
>
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
