如果 A
∪
( B
∖
C ) 线性无关（B
∖
C 代表B中所有不能被A线性基表示的数），则C就是A，B的交线性基。但
问题是 A
∪
( B
∖
C ) 未必线性无关
为什么未必线性无关呢?
还有"
维护一个u值，u一开始等于1
"
u在代码里是哪个变量是tmp吗?
