Opened 20 months ago

Closed 2 months ago

#31153 closed defect (fixed)

Fix latex of elements of multivariate polynomial quotient ring

Reported by: slelievre Owned by:
Priority: major Milestone: sage-9.7
Component: commutative algebra Keywords:
Cc: chapoton, slelievre Merged in:
Authors: Frédéric Chapoton Reviewers: Samuel Lelièvre
Report Upstream: N/A Work issues:
Branch: 56ee208 (Commits, GitHub, GitLab) Commit: 56ee208e59725b45e06d4d0f0bd0e90811e03664
Dependencies: Stopgaps:

Status badges

Description (last modified by slelievre)

Following an initial report by Ask Sage user "Road" at

Define a polynomial ring and its generators:

sage: R = PolynomialRing(QQ, 'a, b, c')
sage: a, b, c = R.gens()

The generators display well:

sage: latex(a)  # good
a

Now define a quotient of that ring modulo an ideal:

sage: I = R.ideal(a**2 + a + 1)
sage: S = R.quotient(I, names=R.variable_names()).fraction_field()
sage: a, b, c = S.gens()

The generators display poorly:

sage: latex(a)  # should be same as above
\text{\texttt{a}}

Adding a _latex_ method in sage/rings/quotient_ring_element.py addresses the issue.

This is done in this ticket.

Change History (10)

comment:1 Changed 15 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Moving to 9.4, as 9.3 has been released.

comment:2 Changed 12 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:3 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6

comment:4 Changed 3 months ago by mkoeppe

  • Milestone changed from sage-9.6 to sage-9.7

comment:5 Changed 2 months ago by slelievre

  • Cc chapoton added

comment:6 Changed 2 months ago by chapoton

  • Authors set to Frédéric Chapoton
  • Branch set to u/chapoton/31153
  • Commit set to 3591620e4da08468cf90afcc099ea3cbe4fccd1f
  • Status changed from new to needs_review

voila


New commits:

7eb6ebcvarious details about typing in combinat
3591620latex for element of quotient rings

comment:7 Changed 2 months ago by git

  • Commit changed from 3591620e4da08468cf90afcc099ea3cbe4fccd1f to 56ee208e59725b45e06d4d0f0bd0e90811e03664

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

56ee208latex for elements of quotient rings

comment:8 Changed 2 months ago by chapoton

green bot, so please review

comment:9 Changed 2 months ago by slelievre

  • Description modified (diff)
  • Reviewers set to Samuel Lelièvre
  • Status changed from needs_review to positive_review

Merci!

comment:10 Changed 2 months ago by vbraun

  • Branch changed from u/chapoton/31153 to 56ee208e59725b45e06d4d0f0bd0e90811e03664
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.