Latex representation of WeylAlgebras omits polynomial parts

[vit-tucek]

R.<x> = QQ[]
W = DifferentialWeylAlgebra(R)
W.inject_variables()
latex(x*dx)

produces

Defining x, dx
\frac{\partial}{\partial x}

CC: @tscrim @darijgr

Component: algebra

Keywords: Weyl Algebra

Author: Vít Tuček

Branch/Commit: 333811a

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/20582

[vit-tucek]

Branch: u/vittucek/latex_representation_of_weylalgebras_omits_polynomial_parts

[vit-tucek]

Commit: 7b2bc21

[vit-tucek]

New commits:

7b2bc21

Fix latex representation for elements of Weyl Algebras

[vit-tucek]

comment:3

Is there a reason for duplicating the functionality of repr_lincomb of sage.misc.misc with repr_from_monomials?

[tscrim]

comment:6

Replying to @vit-tucek:

Is there a reason for duplicating the functionality of repr_lincomb of sage.misc.misc with repr_from_monomials?

IIRC, it had to do with the spacing. The repr_from_monomials was more of a clone of how polynomial rings printed their elements (of which, they do not currently outsource to a separate function), which had more spacing than repr_lincomb.

From looking at the code, your fix looks good. However I want to try to see if I can do some slight cleanup so it is easier to read before I set it to a positive review. (I will need a few days to do so.)

[tscrim]

Changed branch from u/vittucek/latex_representation_of_weylalgebras_omits_polynomial_parts to public/algebras/fix_weyl_algebra_latex-20582

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

comment:7

I have pushed some changes in which I changed the logic to use join and (in my personal opinion) more understandable. If you agree with my changes, then you can set a positive review (with also adding your name to the authors field).

---

New commits:

ab48f85	Merge branch 'u/vittucek/latex_representation_of_weylalgebras_omits_polynomial_parts' of trac.sagemath.org:sage into public/algebras/fix_weyl_algebra_latex-20582
787cf91	Reverting back the conf_sub.py mode.
333811a	Making an attempt at a better latex generating function.

[tscrim]

Changed commit from 7b2bc21 to 333811a

[vit-tucek]

Author: Vít Tuček

[vbraun]

Changed branch from public/algebras/fix_weyl_algebra_latex-20582 to 333811a