Library PolTac.RPolTac
Require
Export
RPolS
.
Require
Export
Reals
.
Require
Export
RPolF
.
Require
Export
RPolR
.