Opened 11 months ago

Closed 11 months ago

#17450 closed defect (fixed)

Fix category for quotients of polynomial rings

Reported by: tscrim Owned by: tscrim
Priority: major Milestone: sage-6.5
Component: categories Keywords: quotients, polynomial rings
Cc: bhutz Merged in:
Authors: Travis Scrimshaw Reviewers: Ben Hutz
Report Upstream: N/A Work issues:
Branch: eaf4c10 (Commits) Commit: eaf4c101e899afb963a84922cf5002d6681d7d6b
Dependencies: Stopgaps:

Description

We currently have the following discrepancy

R.<x> = ZZ[]
S.<t> = R.quo(x^2+5)
S in IntegralDomains()
False
S.is_integral_domain()
True

Change History (3)

comment:1 Changed 11 months ago by tscrim

  • Branch set to public/categories/polynomial_quotient_rings-17450
  • Commit set to eaf4c101e899afb963a84922cf5002d6681d7d6b
  • Status changed from new to needs_review

New commits:

​eaf4c10Put poly quotients domains in the category of IntegralDomains.

comment:2 Changed 11 months ago by bhutz

  • Reviewers set to Ben Hutz
  • Status changed from needs_review to positive_review

This fixes the issue for quotients of polynomial rings.

comment:3 Changed 11 months ago by vbraun

  • Branch changed from public/categories/polynomial_quotient_rings-17450 to eaf4c101e899afb963a84922cf5002d6681d7d6b
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.