>>623
a[2 1 1 0]+b[2 -1 -3 2] = c[2 1 -2 3]+d[1 1 0 1] から a,b,c,d の関係を求める → W1∩W2

[2 1 1 0]、[2 -1 -3 2], [2 1 -2 3]、[1 1 0 1] が一次独立かどうか調べる → W1 + W2