is the order of v_pj(x) result in algoritm1 correct ?

[TriLoo]

According to my understanding, the permute order should be (2, 0, 1) but not (2, 1, 0), otherwise, the mul(a, v) calculation may have transposed position correspondings.

Please correct me if i am wrong