How to set variable order (not term order) in polynomial ring?

asked 2023-05-28 14:35:59 +0200

r98inver gravatar image

I need to create a PolynomialRing in sage, with an unknown number of variables x0,...,xn. For this I use the following code:

R = PolynomialRing(QQ, 'x', 3, order='degrevlex'); R.inject_variables(verbose=False)

In this case, n = 2. However, I also want x2 to be considered greater than x1.

Instead, I get the following:

sage: x1 < x2; False

How can I set the variable order of my ring to have x0 < x1 < ... < xn?

edit retag flag offensive close merge delete