arithmetic/derived/RealRoot.m3
generated by m3build
MODULE
RealRoot
=
RootBasic
(
RealBasic
,
RealPolynomial
) END RealRoot.