Algebraic Function Domain