formal Directory Reference

Files
	formal-monomial.h
	Implementation in C++ of arithmetic between formal polynomials with rational coefficients.
	formal-polynomial.h
	Implementation in C++ of arithmetic between formal polynomials with rational coefficients.