arithmetic/derived/RealPolynomial.m3
generated by m3build
MODULE
RealPolynomial
=
Polynomial
(
RealBasic
) END RealPolynomial.