Algebraic decision tree

Summary