Re: [Numpy-discussion] A little about XND

2018-06-18 Thread Marten van Kerkwijk
Hi Stefan, Just to clarify: the ? we propose in the NEP is really for matmul - it indicates a true missing dimension (i.e., the array cannot have outer broadcast dimensions as well). For inner loop broadcasting, I'm proposing a "|1" post-fix, which means a dimension could also be missing, but can

Re: [Numpy-discussion] A little about XND

2018-06-18 Thread Stefan Krah
Hi Marten, On Mon, Jun 18, 2018 at 12:34:03PM -0400, Marten van Kerkwijk wrote: > That looks quite nice and expressive. In the context of a discussion we > have been having about describing `matmul/@` and possibly broadcastable > dimensions, I think from your description it sounds like one would

Re: [Numpy-discussion] A little about XND

2018-06-18 Thread Marten van Kerkwijk
Hi Stefan, That looks quite nice and expressive. In the context of a discussion we have been having about describing `matmul/@` and possibly broadcastable dimensions, I think from your description it sounds like one would describe `@` with multiple functions (the multiple dispatch we have been (ar

Re: [Numpy-discussion] A little about XND

2018-06-18 Thread Stefan Krah
On Sun, Jun 17, 2018 at 08:47:02PM -0400, Marten van Kerkwijk wrote: > More of a detailed question, but as we are currently thinking about > extending the signature of gufuncs (i.e., things like `(m,n),(n,p)->(m,p)` > for matrix multiplication), and as you must have thought about this for > libgufu

Re: [Numpy-discussion] A little about XND

2018-06-18 Thread Marten van Kerkwijk
Interesting. If nothing else, it would be a nice way to mark our internal functions, including the loops. It also should not be difficult to have (g)ufunc signatures exported in that way, combining `signature` and `types`. In more detail, I see the grammar clearly allows fixed dimensions in a way

Re: [Numpy-discussion] A little about XND

2018-06-17 Thread Travis Oliphant
On Sun, Jun 17, 2018, 7:48 PM Marten van Kerkwijk wrote: > Hi Travis, > > More of a detailed question, but as we are currently thinking about > extending the signature of gufuncs (i.e., things like `(m,n),(n,p)->(m,p)` > for matrix multiplication), and as you must have thought about this for > li

Re: [Numpy-discussion] A little about XND

2018-06-17 Thread Marten van Kerkwijk
Hi Travis, More of a detailed question, but as we are currently thinking about extending the signature of gufuncs (i.e., things like `(m,n),(n,p)->(m,p)` for matrix multiplication), and as you must have thought about this for libgufunc, could you point me to how one would document the signature in