Preliminary notes:
Abstract
is left out of the type names for conciseness- We need a
Covector
(or alternative name) type for theoretical reasons, i.e. to make dispatch able to distinguish between all of the following operations and to have methods with a different return type for these different operations. - We need a
LazyTranspose
type (andCovector
) for computational efficiency, i.e. to link with BLAS, to replace the currentAc_mul_Bt
etc family. - Alternatives with ?
...
? are not very likely, just to point out the possibility.
Given vectors v
and w
, linear maps with matrix representation A
and B
, and a covector z
abstract operation | julia ascii | julia method | possible alternative or unicode equivalent |
---|