勒让德符号,或二次特征,是一个由阿德里安-马里·勒让德在1798年尝试证明二次互反律时引入的函数。
勒让德符号定义如下:
即,如果(a|p) = 1,a便称为二次剩余(modp);如果(a|p) = −1,则a称为二次非剩余(mod p)。通常把零视为一种特殊的情况。
legendre符号的计算公式如下:
legendre符号快速计算的参考算法如下:
以下是legendre符号计算的C语言代码实现:
#include <stdio.h>
int ee(int &a){
int e=0;
while(a%2==0){
a=a/2;
e+