Opened 3 years ago

Closed 3 years ago

#26277 closed defect (fixed)

py3: MInor sorting issue with Stanley-Reisner ring

Reported by: jhpalmieri Owned by:
Priority: minor Milestone: sage-8.4
Component: python3 Keywords:
Cc: chapoton, tscrim Merged in:
Authors: John Palmieri Reviewers: Frédéric Chapoton
Report Upstream: N/A Work issues:
Branch: 694fe31 (Commits, GitHub, GitLab) Commit: 694fe31ac3289eb1acac580d15ed984fa5a0a08b
Dependencies: Stopgaps:

Status badges

Description

Fix one doctest in Python 3 by sorting the generators of the polynomial ring used to define the Stanley-Reisner ring of a simplicial complex.

Change History (5)

comment:1 Changed 3 years ago by jhpalmieri

  • Branch set to u/jhpalmieri/stanley-reisner-sorting

comment:2 Changed 3 years ago by jhpalmieri

  • Cc chapoton tscrim added
  • Commit set to 694fe31ac3289eb1acac580d15ed984fa5a0a08b
  • Status changed from new to needs_review

New commits:

694fe31trac 26277: sort the generators in _stanley_reisner_base_ring.

comment:3 Changed 3 years ago by jhpalmieri

By the way, there are other Python 3 failures with Stanley-Reisner rings, of the form

File "src/sage/homology/simplicial_complex.py", line 86, in sage.homology.simplicial_complex
Failed example:
    X.stanley_reisner_ring()
Expected:
    Quotient of Multivariate Polynomial Ring in x0, x1, x2, x3 over Integer Ring by the ideal (x1*x3, x0*x2)
Got:
    Quotient of Multivariate Polynomial Ring in x0, x1, x2, x3 over Integer Ring by the ideal (x0*x2, x1*x3)

These have to do with how ideals for polynomial rings are printed, so it's coming from code in sage.rings.

comment:4 Changed 3 years ago by chapoton

  • Reviewers set to Frédéric Chapoton
  • Status changed from needs_review to positive_review

ok

comment:5 Changed 3 years ago by vbraun

  • Branch changed from u/jhpalmieri/stanley-reisner-sorting to 694fe31ac3289eb1acac580d15ed984fa5a0a08b
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.