It would be useful to have the conversion using OpenMath also for
polynomials, in particular, I would like to have at least the conversion
from OpenMath to Yacas of the polynomials generated by Gap (but having
also in the opposite direction would not be bad), see
https://www.gap-system.org/Manuals/pkg/OpenMath-11.5.0/doc/chap2.html#X817CD8387FEDF873
It would be useful to have the conversion using OpenMath also for polynomials, in particular, I would like to have at least the conversion from OpenMath to Yacas of the polynomials generated by Gap (but having also in the opposite direction would not be bad), see https://www.gap-system.org/Manuals/pkg/OpenMath-11.5.0/doc/chap2.html#X817CD8387FEDF873