昨天在别的地方看到一些代码，语法与 Python 非常相似但是略有不同，自己也没找到，在群里问了叉姐之后告诉我这个是 SageMath 语言于是下载，适合会喜欢 SageMath 的人，是一款内置了很多线性代数功能的语言。

https://www.sagemath.org/ 这个是官网。

https://mirrors.tuna.tsinghua.edu.cn/sagemath/index.html 在这里即可下载。

一些多项式环可以这样设定，比如 QQ 表示有理数， ZZ 表示整数，此时

sage: R = PolynomialRing(QQ, 'z')
sage: R
Univariate Polynomial Ring in z over Rational Field

这样相当于 $R:=\mathbb{Q}[z]$ 。

但是注意，这样其实 z 还是一个字符串，所以有更方便的方式

sage: R.<z> = QQ[]

此时我们相当于令 z 为一个未知元，可以写出如下

sage: z**2+z+1
z^2 + z + 1
sage: factor(z**2+2*z+1)
(z + 1)^2

更多操作可以参考 https://doc.sagemath.org/html/en/tutorial/tour_polynomial.html#section-poly