Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Hide nc relations ordering in doctest
Browse files Browse the repository at this point in the history
  • Loading branch information
miguelmarco committed May 9, 2019
1 parent 3d67c5e commit 612cfb3
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/sage/rings/polynomial/multi_polynomial_ideal.py
Expand Up @@ -2945,12 +2945,12 @@ def elimination_ideal(self, variables):
Defining x, y, z
sage: I = H.ideal([y^2, x^2, z^2-H.one()],coerce=False)
sage: I.elimination_ideal([x, z])
Left Ideal (y^2) of Noncommutative Multivariate Polynomial Ring in x, y, z over Rational Field, nc-relations: {z*y: y*z - 2*y, y*x: x*y - z, z*x: x*z + 2*x}
Left Ideal (y^2) of Noncommutative Multivariate Polynomial Ring in x, y, z over Rational Field, nc-relations: {...}
sage: J = I.twostd()
sage: J
Twosided Ideal (z^2 - 1, y*z - y, x*z + x, y^2, 2*x*y - z - 1, x^2) of Noncommutative Multivariate Polynomial Ring in x, y, z over Rational Field, nc-relations: {z*y: y*z - 2*y, y*x: x*y - z, z*x: x*z + 2*x}
Twosided Ideal (z^2 - 1, y*z - y, x*z + x, y^2, 2*x*y - z - 1, x^2) of Noncommutative Multivariate Polynomial Ring in x, y, z over Rational Field, nc-relations: {...}
sage: J.elimination_ideal([x, z])
Twosided Ideal (y^2) of Noncommutative Multivariate Polynomial Ring in x, y, z over Rational Field, nc-relations: {z*y: y*z - 2*y, y*x: x*y - z, z*x: x*z + 2*x}
Twosided Ideal (y^2) of Noncommutative Multivariate Polynomial Ring in x, y, z over Rational Field, nc-relations: {...}
ALGORITHM: Uses Singular's eliminate command
Expand Down

0 comments on commit 612cfb3

Please sign in to comment.