Python编写一个程序，输入9位整数，分解为3个3位整数
a = "123456789"
b = [a[i:i + 3] for i in range(0, len(a), 3)]
c=,.join(b)
print(c)
最后输出为str类型的格式
123,456,789
而不是
[123,456,789]
基础解系可以是0吗，比如Ax=0的系数矩阵为（1，0，0；0，1，0；0，0，0；）
齐次线性方程组Ax=0的解可以是零向量，但基础解系中不能有零向量。基础解系是所有解向量的一个极大无关组，而包含零向量的向量组一定是线性相关的。