polynomial & poly

The conjunction of two polynomials, i.e., the polynomial that map common labels to the product of their associated weights. Coincides with the intersection in the case of the Boolean semiring.

Preconditions:

• None

Properties:

• associative

See also:

• automaton.conjunction
• expression.conjunction

Examples

import vcsn
a = vcsn.Q.polynomial('<3>a + <2>b')
b = vcsn.Q.polynomial('<4>b + <2>c')

a & b

$\left\langle 8\right\rangle b$