Wedge Product of Boolean Polynomials

asked 2023-04-19 16:24:10 +0100

Chase gravatar image

Hey, I'm very new to Sage and would appreciate some help taking wedge products of Boolean polynomials. Here's a simple example of what I'm trying to do:

R.<a1,a2,a3,b1,b2,b3> = BooleanPolynomialRing(6)
monomials = [1] + [R.gen(i)*R.gen(j)*R.gen(k) for i in range(0,5) for j in range (0,5) for k in range (0,5)]
B3 = R.ideal(monomials)

f = a1*b2 + a2*b3
g = a1

f_new = f.wedge(g)

print(f_new)

I want to be able to start with two Boolean polynomials f and g, then take their wedge product (as an element of the second exterior power of B3 here).

The error I'm getting is: AttributeError: 'sage.rings.polynomial.pbori.pbori.BooleanPolynomial' object has no attribute 'wedge'

Thank you so much for any help!

edit retag flag offensive close merge delete

Comments

This simply means that .wedge() method is not defined for boolean polynomials. On a different note, including 1 into set of generators for B3 makes it trivial.

Max Alekseyev gravatar imageMax Alekseyev ( 2023-04-25 16:53:24 +0100 )edit