eqn lib