add polynomial-algebra.scm