>>692
与式の右辺のような積は
B[a,b,c,d] = (b1↑,b2↑)[a,b,c,d] = (a b1↑+c b2↑, b b1↑+d b2↑)
のように 1*2 行列 と 2*2 行列の積と思って計算してよい。