次元と基底を出すには、まずW1+W2、W1∩W2が必要ですよね。
その出し方が分からないという意味なんですが