Suppose we have a boolen ring with variable x1,x2,x3,v1,v2 and v3. let f = 1+x1x2v1v2 + x3v1v2 + v1v3 +x1x2v3. now how i find coefficient of v1v2? in this case it will be (x1x2 + x3). how can i find this using sagemath. I try to use f.coefficient(v1*v2). But it not work.