arithmetic/derived/RealCharPolynomial.m3
generated by m3build
MODULE
RealCharPolynomial
=
CharPolynomial
(
RealBasic
,
RealRoot
,
RealMatrix
) END RealCharPolynomial.