Module disjoint_product

Source

Structsยง

DisjointProduct
Represents a product of two multilinear polynomials over disjoint variables.