|Reported by:||was||Owned by:||somebody|
|Report Upstream:||Work issues:|
Description (last modified by )
From David Harvey: Further to our discussion of a few days ago, I found something quite confusing, not sure what the correct behaviour should be. sage: poly_ring1.<gen1> = PolynomialRing(QQ) sage: poly_ring2.<gen2> = PolynomialRing(QQ) sage: huge_ring.<x> = PolynomialRing(poly_ring1) sage: huge_ring(gen1) gen1 sage: huge_ring(gen2) x In the first example gen1 is getting coerced into a constant polynomial because it belongs to the coefficient ring, and in the second example it's "renaming the variable". I suppose that makes sense, although I'm a bit uneasy about the second one. BUT it's not consistent with the behaviour for power series: sage: power_ring1.<gen1> = PowerSeriesRing(QQ) sage: power_ring2.<gen2> = PowerSeriesRing(QQ) sage: huge_power_ring.<x> = PowerSeriesRing(power_ring1) sage: huge_power_ring(gen1) x sage: huge_power_ring(gen2) x Is this a bug? Response: from william: "Yes"
Change History (2)
Note: See TracTickets for help on using tickets.