1、根据上面图中的定义，可以写出一个代码，计算模p的所有的p-1个特征。
2、这样，可以写出2关于模17的16个特征。
3、但是，python化简的不够彻底，实际上，应该有下面的式子成立：
exp(7*I*pi/4)==-exp(3*I*pi/4)
但是python似乎不能判断。
4、我们可以把17的所有特征全部化简一下，并去掉重复元素。
不过，我暂时没找到python的化简方法。
5、3关于17的Dirchlet特征是：
6、从网上找到一种化简方法，把指数形式转化为三角形式，再进一步化简：
7、3关于17的特征，各不相同。
8、4关于17的特征，恰有4个。
