On 28/04/2015, at 11:26 AM, john skaller wrote:
> However \prod (f,g,h) still can't be defined, i have ravel (f,g,h) in the
> library for up to 5 cases.
I'm giving up: I'm defining it directly in the compiler.
And sum too.
Now, to get the mediating morphism of a product, <f,g> for many n,
we note that
<f,g> = x.dup2.( \prod (f,g) )
So the aim is to now define:
fun dup[N,T] (x:T):T^N => x,x,x,...,x // n times
which is just an array length N filled with x's...
I guess that is already in the library under another name.
(as an array constructor?) The function is also called \diag
printed as a \delta.
The sum version is called \nabla, it takes n x's and produces
a single x.
--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org
------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
