Potrzebujesz pomocy w zrozumieniu równania
Zrób równanie Pellx*x - 193 * y*y = 1
w z3py:
x = BitVec('x',64)
y = BitVec('y',64)
solve(x*x - 193 * y*y == 1, x > 0, y > 0)
Wynik:[y = 2744248620923429728, x = 8169167793018974721]
Czemu?
P.S. Prawidłowa odpowiedź: [y = 448036604040, x = 6224323426849]