Opened 5 years ago

Last modified 2 years ago

#17696 new defect

Polynomials over fraction fields incorrectly converted to Singular

Reported by: jakobkroeker Owned by:
Priority: major Milestone: sage-6.5
Component: interfaces Keywords: Singular polynomial interface
Cc: SimonKing, malb, swewers Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps: #23644

Description (last modified by saraedum)

Currently, we sometimes lose entries in the denominator when converting to Singular:

sage: k.<a> = GF(11^5)
sage: R.<t> = k[]
sage: R.<x> = R.fraction_field()[]
sage: f = x^4 + 1/(a*t)
sage: f._singular_()
x^4
sage: g = x^4 + 1/a * 1/t
sage: f == g
True
sage: g._singular_()
x^4 + (6*a^4 + 5*a)/t

The issue seems to be with elements in the denominator that are subject to a quotient, i.e., an a in the denominator in the above example.

Change History (6)

comment:1 Changed 5 years ago by jakobkroeker

  • Description modified (diff)

comment:2 Changed 5 years ago by jakobkroeker

  • Stopgaps set to todo

comment:3 Changed 2 years ago by saraedum

  • Description modified (diff)
  • Summary changed from bug in polynomial interface to Singular (in special rings) to Polynomials over fraction fields incorrectly converted to Singular

comment:4 Changed 2 years ago by saraedum

  • Cc swewers added

comment:5 Changed 2 years ago by saraedum

  • Stopgaps changed from todo to #23644

comment:6 Changed 2 years ago by saraedum

  • Description modified (diff)
Note: See TracTickets for help on using tickets.