Algebraic Decompositions

Kernel
extraction

Semi-algebraic
division

Resubstitution

Factoring/Decomposition

[-q]: Two-cube divisors

[-g]: Best divisors

mvsis> fx [-q]
[-g]

mvsis> resub

mvsis> decomp

mvsis> factor

F = a{0,1,2} c{3} + b{1,2,3} c{3}

+ a{0}b{1,2,3} c{0} +a{0} c{1}

= (c{3} +a{0}c{0,1}) (a{0,1,2} c{1,3} +b{1,2,3} c{0,3})

F

M. Gao and R. K. Brayton,
“Multi-valued Multi-level Network Decomposition”, *IWLS, June 2001.*

Example: factoring/

decomposition/resub