#17696: bug in polynomial interface to Singular (in special rings)
-------------------------+-------------------------------------------------
Reporter: | Owner:
jakobkroeker | Status: new
Type: defect | Milestone: sage-6.5
Priority: major | Keywords: Singular polynomial interface
Component: | Authors:
interfaces | Report Upstream: N/A
Merged in: | Branch:
Reviewers: | Dependencies:
Work issues: |
Commit: |
Stopgaps: |
-------------------------+-------------------------------------------------
It seems that the interface to Singular has a bug,
see example:
{{{
sage: K0=GF(11)
sage: #K0=QQ
sage: R0.<b>=K0[]
sage: K.<b>=K0.extension(b^5+4)
sage: R1.<zzz>=K[]
sage: L=FractionField(R1)
sage: R.<x>=L[]
sage: f=x^4+1/(b*zzz)
True
sage: f._singular_() # where is the fraction 1/(b*zzz) ?
x^4
sage: g = R(x^4)
sage: f==g
False
}}}
Note that already
{{{
sage: (1/(b*zzz))._singular_()
0
}}}
Remarkable is that {{{f = x^4+1/(b)*(1/zzz) }}} is correctly translated to
Singular:
{{{
sage: K0=GF(11)
sage: #K0=QQ
sage: R0.<b>=K0[]
sage: K.<b>=K0.extension(b^5+4)
sage: R1.<zzz>=K[]
sage: L=FractionField(R1)
sage: R.<x>=L[]
sage: f=x^4+1/(b)*(1/zzz)
sage: f._singular_()
-1/(4*zzz)*b^4+x^4
sage: g = -1/(4*zzz)*b^4+x^4
sage: f == g
True
}}}
Please check if there is a similar issue in other rings than in the
example above.
@Simon, @Martin:
should I Ccing someone else or remove you from Cc?
--
Ticket URL: <http://trac.sagemath.org/ticket/17696>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
