#6581: Groebner basis not working over symbolic ring
-----------------------------------+----------------------------------------
Reporter: rhinton | Owner: tbd
Type: defect | Status: new
Priority: major | Milestone: sage-5.0
Component: commutative algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Comment(by malb):
If you only want symbolic variables, wouldn't this work:
{{{
sage: P.<a,b,c> = QQ[]
sage: K = Frac(P)
sage: P.<x,y> = PolynomialRing(K)
sage: P
Multivariate Polynomial Ring in x, y over Fraction Field of Multivariate
Polynomial Ring in a, b, c over Rational Field
}}}
This gets mapped to a Singular ring with parameters, i.e., to this one:
{{{
> ring r = (0,a,b,c),(x,y,z),dp;
> r;
// characteristic : 0
// 3 parameter : a b c
// minpoly : 0
// number of vars : 3
// block 1 : ordering dp
// : names x y z
// block 2 : ordering C
}}}
So, this works:
{{{
sage: singular(P)
// characteristic : 0
// 3 parameter : a b c
// minpoly : 0
// number of vars : 2
// block 1 : ordering dp
// : names x y
// block 2 : ordering C
sage: I = Ideal([P.random_element(), P.random_element()])
sage: %time gb = I.groebner_basis()
}}}
but it's slow.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6581#comment:5>
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.
