Subject: Re: [proto] Defining the result domain of a proto operator
From: Joel Falcou (joel.falcou_at_[hidden])
Date: 2011-08-26 10:56:20
On 26/08/2011 16:45, Eric Niebler wrote:
> Before I answer, can you tell me why you've decided to put vector and
> matrix operations into separate domains? This seems like an artificial
> and unnecessary separation to me.
We have a system of specialisation where being able to make this
distinction allowed us to replace sub proto tree by a pregenerated call
to some BLAS functions or to apply some other Linear Algebra math based
simplification.
We also have a covector domain which allow us to know that : covector *
vector is a dot product while vector * covector generate a matrix. In
the same way, covector * matrix and matrix * vector can be recognized
and handled in a proper way.