#11139: Ideal with no generators for univariate polynomial rings
-----------------------------------+----------------------------------------
Reporter: mraum | Owner: malb
Type: defect | Status: needs_review
Priority: critical | Milestone: sage-4.7.1
Component: commutative algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: John Palmieri | Author: Martin Raum, Jeroen
Demeyer
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Old description:
> Consider the following (Sage 4.7alpha1) :
> {{{
> sage: P.<a> = QQ[]
> sage: P.ideal([])
> Booom!
> }}}
>
> The issue is twofold: The ideal method in rings/rings.py is called and
> does not accept an empty list. But also the univariate polynomial rings
> should call a specialized method just like the multivariate ones do.
>
> I make this a block, as it worked in earlier versions (like 4.2 or so)
> and is a construction that easily comes up as a corner case.
>
> Apply [attachment:11139_alternative.patch].
New description:
Consider the following (Sage 4.7alpha1) :
{{{
sage: P.<a> = QQ[]
sage: P.ideal([])
Booom!
}}}
The issue is twofold: The ideal method in rings/rings.py is called and
does not accept an empty list. But also the univariate polynomial rings
should call a specialized method just like the multivariate ones do.
It worked in earlier versions (like 4.2 or so) and is a construction that
easily comes up as a corner case.
Apply [attachment:11139_alternative.patch].
--
Comment(by jdemeyer):
Any reviewers?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11139#comment:8>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
