Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix casing in show(::PBWAlgebra) and friends #4315

Merged
merged 4 commits into from
Nov 15, 2024

Conversation

lgoettgens
Copy link
Member

and similar for PBWAlgQuo and PBWAlgOppositeMap.

This does not implement the modes of printing yet, but is intended to keep changes in output minimal. But it required to completely rewrite the show methods in question. And while at it, I also made use of @show_special.

from pBW-algebra over Rational field in x, y, z with relations y*x = -x*y, z*x = -x*z, z*y = -y*z
to (PBW-algebra over Rational field in x, y, z with relations y*x = -x*y, z*x = -x*z, z*y = -y*z)/two_sided_ideal(x^2, y^2, z^2)
from PBW-algebra over rational field in x, y, z with relations y*x = -x*y, z*x = -x*z, z*y = -y*z
to (PBW-algebra over rational field in x, y, z with relations y*x = -x*y, z*x = -x*z, z*y = -y*z)/two_sided_ideal(x^2, y^2, z^2)
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

these two lines show all fixes to the casing in one place

@lgoettgens lgoettgens changed the title Overhaul show(::PBWAlgebra), fix casing issues Fix casing in show(::PBWAlgebra) and friends Nov 14, 2024
@@ -35,13 +35,13 @@ If `I` is an ideal of a PBW-algebra `A`, then

```jldoctest
julia> D, (x, y, dx, dy) = weyl_algebra(QQ, ["x", "y"])
(Weyl-algebra over Rational field in variables (x, y), PBWAlgElem{QQFieldElem, Singular.n_Q}[x, y, dx, dy])
(Weyl-algebra over rational field in variables (x, y), PBWAlgElem{QQFieldElem, Singular.n_Q}[x, y, dx, dy])
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Orthogonal to this PR (and not a change request for it): it really also should be Weyl algebra and PBW algebra (without the -)

@lgoettgens lgoettgens merged commit ed67b2f into oscar-system:master Nov 15, 2024
26 checks passed
@lgoettgens lgoettgens deleted the lg/show-PBWAlgebra branch November 15, 2024 18:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants