임의의 다항식 A와 양의 소수 p가 있고 이 p로 A의 계수들을 modulo한 다항식을 A mod p라 할 때,


다항식 P, Q가 주어지면



viewimage.php?id=20bcc42e&no=24b0d769e1d32ca73cec84fa11d028316f6e59db3d00f81430124d7066e796571425cb19271ced775de481edff325f963cce8f3831634c87e1ff5fb13fab90


가 성립하는데

viewimage.php?id=20bcc42e&no=24b0d769e1d32ca73cec84fa11d028316f6e59db3d00f81430124d7066e796571425cb19271ced775de481edff325f963cce8f6931371c81b4f90ab13fab90

이것도 저 위에 있는 2개랑 같은 값을 가지려면 어떻게 모듈러를 복원해야 하나요

-2 mod p = p - 2니까 어차피 전부다 Z_p인데 제가 생각한대로 복원이 안되네요

Res(p, q)는 Resultant(p, q)임