>>631
a,b,cがdという文字で統一されているのだから d だけで表すことができるはず（一次元の基底を作れる）
W1 + W2 の方はそれでいいよ。

基底の選び方なんて沢山あるんだから、
同じになるかどうかは別途チェックしないと。
誰もが同じ基底を選んでたら、それはそれで気持ち悪い。