Complement bollean varibale declaration

[Subrata Nandi]

how to declare a complement of a boolean variable in sage. like I wanna use the fucntion 1+comp(x1)*comp(x2)*comp(x3)+x1*x2*x3 this bollean function where comp(x1)=1-x in boolean polynomail ring. I am using sage.crypto.boolean_function module .

[Dima Pasechnik]

this is a wrong group (set up to discuss a particular frontend to sage). I cc to sage-support, which is for questions like this one.