#20146: Bug in computing the Gröner fan
-------------------------+-------------------------------------------------
   Reporter:  stumpc5    |            Owner:
       Type:  defect     |           Status:  new
   Priority:  major      |        Milestone:  sage-7.1
  Component:             |         Keywords:  Gröbner basis, Gröbner fan,
  commutative algebra    |  gfan
  Merged in:             |          Authors:
  Reviewers:             |  Report Upstream:  N/A
Work issues:             |           Branch:
     Commit:             |     Dependencies:
   Stopgaps:             |
-------------------------+-------------------------------------------------
 I get
 {{{
 sage: P =
 
PolynomialRing(QQ,"x11,x12,x13,x14,x15,x21,x22,x23,x24,x25,x31,x32,x33,x34,x35");
 x = P.gens(); M = Matrix(3,x)
 sage: M
 [x11 x12 x13 x14 x15]
 [x21 x22 x23 x24 x25]
 [x31 x32 x33 x34 x35]
 sage: I = P.ideal(M.minors(2))
 sage: gf = I.groebner_fan()
 sage: rgbs = gf.reduced_groebner_bases()
 ---------------------------------------------------------------------------
 RuntimeError                              Traceback (most recent call
 last)
 ...
 RuntimeError: Unknown
 variable:olynomialSequencewith30Polynomialsin15Variable
 gfan_bases: parser.cpp:276: virtual Monomial
 CharacterBasedParser::parseMonomial(const PolynomialRing&): Assertion `0'
 failed.
 }}}
 The same computation with 3 or 4 columns does work.

--
Ticket URL: <http://trac.sagemath.org/ticket/20146>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to