蜗牛:简单的nim线性代数lib