from brial import *
katan=declare_ring([Block('x',32),Block('k',80)],globals())
r1=x(3)*x(8) + x(7) + x(10)*x(12) + x(18) + x(23) + k(1) + k(16)
r2 = r1.subs({x(3)*x(8)+x(7)+ x(10)*x(12)+ x(18) + x(23) + k(1) + k(16) : 0})
print(r2)
это мудрый код, сделать r1 равным полиному, включить некоторые переменные, затем использовать функцию subs () для исправления некоторой переменной, в этом случае пусть полином равен 0, поэтому ожидаемый результат r20, но мудрец дает результат:
x (7) + x (10) * x (12) + x (18) + x (23) + k (1) + k (16)
я знаю, что-то не так с x (3) * x (8), но я не знаю, как сделать это правильно.