http://www.jsoftware.com/jwiki/System/Interpreter/Requests
is a place for submitting interpreter requests
and not a place for extended discussions.



----- Original Message -----
From: [EMAIL PROTECTED]
Date: Tuesday, November 28, 2006 8:47 am
Subject: [Jprogramming] redefinition of u"v

> I introduce the idea of redefining  u"v  such that:
> 
>       u"v y   <==>     u"(  v y) y
> 
> and
> 
>     x u"v y   <==>   x u"(x v y) y
> 
> An alternative is to define a gerundial form of  u"m  .  Right now 
> u"m  
> for non-numeric m is a domain error (i.e. is meaningless).  It 
> could  
> be defined analogously to  u^:m  (or  m}  ).
> 
> I've put more detail at:
> 
> http://www.jsoftware.com/jwiki/System/Interpreter/Requests#head-
> 8addaa5a93f632d809b613aa601c878dfb1b6e74
> If you're interested, please read that and discuss there.


----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to