update test
add math fac
add fork gate
add fork test
add simplify super gate convention
cleanup