I have retaken the work in #16567 to support rings with parameters in libsingular.
The ring creation works, but I am stuck with the conversion of coefficients from sage to singular and back.
The code I have now is cythonized without complains, but then the c compilation fails with an error about a type not being defined in the scope, even if the corresponding header fil (transext.h) is included.
Any clue about what the problem might be?