arithmetic/derived/RealCharPolynomial.i3
generated by m3build
INTERFACE
RealCharPolynomial
=
CharPolynomial
(
RealRoot
,
RealMatrix
) END RealCharPolynomial.