matlab证明多项行列式