defining boolean variables in sage
By writing this:
B.<a,b> = BooleanPolynomialRing()
Not only a Boolean Polynomial Ring in 'a' and 'b' is defined, but 'a' and 'b' are also treated as boolean variables.
However, if we write in this manner:
B = BooleanPolynomialRing(names = ['a','b'])
We'll obtain a Boolean Polynomial Ring in 'a' and 'b', but we don't even get 'a' and 'b' as variables.
Is there any way to resolve the issue in the second method, especially, if we have a boolean polynomial ring of >1000 variables? Thanks in advance!