arithmetic/derived/LongRealRoot.m3
generated by m3build
MODULE
LongRealRoot
=
RootBasic
(
LongRealBasic
,
LongRealPolynomial
) END LongRealRoot.