RE : [eigen] Permuted Matrix

["ESCANDE Adrien 222264" <adrien.escande@xxxxxx>]

Thanks a lot for the quick answers.
I had indeed the intuition a third case was missing in DenseCoeffsBase. I will not have the time right now to try and add one but if I can a bit later I'll let you know (I guess I might first have questions anyway :) ).
I'll make some workarounds meanwhile.

Thanks again,
Adrien  


-------- Message d'origine--------
De: Listengine de la part de Benoit Jacob
Date: mar. 20/07/2010 00:35
À: eigen@xxxxxxxxxxxxxxxxxxx
Objet : Re: [eigen] Permuted Matrix
 
ah, wait, it's going to be a little more tricky than that, because we
are actually relying in a few places on the assumptions that all
lvalues have direct access. Hot places to check:
 - Assign.h
 - products code?
Nothing fundamental though.

Coming back to your particular use case, do note that we have
something very similar already in Eigen: see in PermutationMatrix.h,
ei_permut_matrix_product_retval .

The "trick" is that we didn't try to make it a writable (lvalue) expression.

Benoit

2010/7/19 Benoit Jacob <jacob.benoit.1@xxxxxxxxx>:
> Hi,
>
> You're not missing anything, actually you understood everything very
> well. You really hit a limitation in our design here. Expressions are
> either DirectAccess, which assumes a simple memory layout, or have no
> write support at all. There's no middle ground. These two cases
> correspond to the two cases in DenseCoeffsBase, as you found out.
>
> The fix is to add a third case in DenseCoeffsBase, in between the two
> existing cases in the inheritance diagram. The three cases could be
> called respectively, "direct access", "lvalue without direct access",
> "rvalue-only". Or something like that.
>
> Fortunately for us, this is something completely internal so we can
> fix it later --- so please understand if I don't have much motivation
> to do it right now :) Feel free to send a patch though.
>
> Cheers,
> Benoit
>
>
> 2010/7/19 ESCANDE Adrien 222264 <adrien.escande@xxxxxx>:
>>
>> Hello,
>>
>> I'd like to implement a permuted matrix i.e. a matrix P base on another M, such as P(i,j) = M(r[i], c[j]) for some permutation vectors r and c. It is very similar to the subject of another thread (how to create a "virtual" array or matrix) whose conclusion was to look at the way Minor class is implemented.
>>
>> Based on this Minor example, it is indeed easy to implement a PermutedMatrix class for read-only purpose. It goes like this:
>> template<typename MatrixType> class PermutedMatrix
>>  : public MatrixBase<PermutedMatrix<MatrixType> >
>> {
>>  ctor
>>  overload of coeff and coeffRef
>> }
>>
>> One can then access to coefficients of the matrix, use block expression, triangular view,...
>>
>> Writing in such a matrix is however a problem: PermutedMatrix can't have the DirectAccessBit bit because the "layout of the array of coefficients" is not "exactly the natural one suggested by rows(), cols(), outerStride(), innerStride(), and the RowMajorBit" DirectAccessBit documentation).
>> Thus PermutedMatrix  only derives from DenseCoeffsBase<Derived, false> and not DenseCoeffsBase<Derived, true>. In particular, it does not inherit the good operator() (Index, Index), and the copyCoeffByOuterInner(Index, Index, const DenseBase<OtherDerived>&) methods, the latter being needed in the assignation.
>>
>> Adding these missing methods directly in PermutedMatrix solves part of the problem: one can do P(i,j) = some_value or P = some_matrix, but they are still missing in expression based on PermutedMatrix , thus one can not do P.block(i,j,r,c) = another_matrix, because the copyCoeffByOuterInner of DenseCoeffsBase<Expr<PermutedMatrix<MatrixType> > > (in my example, Expr is Block) is not correctly defined.
>>
>> Do I miss something on this problem ? Any direction I could take, or flag I don't know of ? I'm not very familiar with Eigen internals yet, so any pointers would be welcome.
>>
>> Thank you,
>>
>> Adrien Escande
>>
>>
>>
>

<<winmail.dat>>