libsingular polynomial ring over Frac(ZZ[...]) #41337
Description
Problem Description
sage: singular(PolynomialRing(Frac(ZZ['x,y']), 'z'))
polynomial ring, over a field, global ordering
// coefficients: QQ(x, y) considered as a field
// number of vars : 1
// block 1 : ordering lp
// : names z
// block 2 : ordering C
sage: singular(PolynomialRing(Frac(QQ['x,y']), 'z'))
polynomial ring, over a field, global ordering
// coefficients: QQ(x, y) considered as a field
// number of vars : 1
// block 1 : ordering lp
// : names z
// block 2 : ordering C
sage: PolynomialRing(Frac(QQ['x,y']), 'z', implementation="singular")
Multivariate Polynomial Ring in z over Fraction Field of Multivariate Polynomial Ring in x, y over R
ational Field
sage: PolynomialRing(Frac(ZZ['x,y']), 'z', implementation="singular")
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call last)
Reason: a CubicHeckeAlgebra doctest uses it. For feature parity with singular (interface) / can_convert_to_singular.
https://github.com/sagemath/sage/actions/runs/20356279181/job/58492378252#step:15:1951
Proposed Solution
The last one should work (with the correct .base_ring())
First step is likely to define a coercion from Frac(QQ[x]) to Frac(ZZ[x]), which can be induced from the coercion from QQ[x] to Frac(ZZ[x])...
Alternatives Considered
Additional Information
No response
Is there an existing issue for this?
- I have searched the existing issues for a bug report that matches the one I want to file, without success.