# What is the meaning of the ouptput:Polynomial Sequence with 634 Polynomials in 35 Variables

I am doing calculations of finding Groebner basis of a toric ideal associated with one matrix. At the end I am getting output as Polynomial Sequence with 634 Polynomials in 35 Variables . I want a complete output which involves all these polynomials. Is there any command to do this?

edit retag close merge delete

Sort by ยป oldest newest most voted

The documentation for polynomial sequences is here:

http://doc.sagemath.org/html/en/reference//polynomial_rings/sage/rings/polynomial/multi_polynomial_sequence.html

It says

We call a finite list of polynomials a Polynomial Sequence.

To see all the polynomials in the sequence, you can use the list command.

Example.

sage: sr = mq.SR(2,1,2,4,gf2=True,polybori=True)
sage: F,s = sr.polynomial_system()
sage: F
Polynomial Sequence with 112 Polynomials in 64 Variables
sage: list(F)


This outputs the list of all polynomials in the polynomial sequence.

Note that the representation of F is a string of the list itself if the sequence F has less than 20 elements, while if F has 20 elements or more, a summary is printed.

Example: compare

sage: P = PolynomialRing(GF(127), 2, names='a')
sage: I = sage.rings.ideal.Katsura(P)
sage: F = Sequence([I.gens(),I.gens()], I.ring())
sage: len(F)
4
sage: F
[a0 + 2*a1 - 1, a0^2 + 2*a1^2 - a0, a0 + 2*a1 - 1, a0^2 + 2*a1^2 - a0]


and

sage: P = PolynomialRing(GF(127), 10, names='a')
sage: I = sage.rings.ideal.Katsura(P)
sage: F = Sequence([I.gens(),I.gens()], I.ring())
sage: len(F)
20
sage: F
Polynomial Sequence with 20 Polynomials in 10 Variables


Note that this information is in the documentation for the _repr_ method of F, which you can access by typing

sage: F._repr_?


sage: F._repr_??

more

Dear Sir, I had again done sage computations for finding a Groebner basis of an ideal in polynomial ring in 35 variables with coefficients from finite field with 2 elements. This time as soon as I enter a command I.groebner_basis() No output is coming. Why this is so? What to do , to get an output?

( 2016-12-04 06:51:41 -0600 )edit

It could be that the computation is taking a long time. Please ask this as a separate question. Be sure to provide code to define the ideal in question.

( 2016-12-05 00:25:49 -0600 )edit

Dear Sir, as per your suggestion I asked this as a separate question.Please go through it. Thanks.

( 2016-12-05 04:08:09 -0600 )edit