Kernel: Python 3
expression.conjunction(exp)
Create an expression which denotes the conjunction of both series.
Preconditions:
None
Properties:
associative, in the sense that expressions equivalent modulo associativity generate isomorphic automata
See also:
Examples
In [1]:
In [2]:
In [3]: