On Friday 12 January 2024 at 14:30:06 UTC-5 Martin R wrote: I made a tiny bit of progress, and now face the following problem:
sage: I.<F> = InfinitePolynomialRing(QQ) sage: P.<z, q> = I[] sage: e = z*q sage: Q.<z, q> = QQ[] sage: z*e z*z*q Is this correct behaviour? I don't think it's desperately wrong. To sage, these structures look like: sage: P.construction() (MPoly[z,q], Infinite polynomial ring in F over Rational Field) sage: Q.construction() (MPoly[z,q], Rational Field) sage: parent(z*e).construction() (MPoly[z,q], Infinite polynomial ring in F over Multivariate Polynomial Ring in z, q over Rational Field) Note that an "infinite polynomial ring" is a different object than an MPoly, and obviously it has different rules/priorities for finding common overstructures. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/de2e4b15-54d8-46e7-b10e-0e5eacd39aean%40googlegroups.com.