a production system to solve single algebraic equations up to third degree