【抽象代数】以奇素数为模的Dirchlet特征

1、根据上面图中的定义，可以写出一个代码，计算模p的所有的p-1个特征。

3、但是，python化简的不够彻底，实际上，应该有下面的式子成立：exp(7*I*pi/4)==-exp(3*I*pi/4)但是python似乎不能判断。

4、我们可以把17的所有特征全部化简一下，并去掉重复元素。不过，我暂时没找到python的化简方法。

6、从网上找到一种化简方法，把指数形式转化为三角形式，再进一步化简：

8、4关于17的特征，恰有4个。