211.sagews

R.<a,b,c> = PolynomialRing(QQ, 3); R

Multivariate Polynomial Ring in a, b, c over Rational Field

I = ideal(a*a*b-c, b*b*c-a, c*c*a-b); I

Ideal (a^2*b - c, b^2*c - a, a*c^2 - b) of Multivariate Polynomial Ring in a, b, c over Rational Field

G = I.groebner_fan(); G

Groebner fan of the ideal: Ideal (a^2*b - c, b^2*c - a, a*c^2 - b) of Multivariate Polynomial Ring in a, b, c over Rational Field

G.render()

B = G.reduced_groebner_bases(); len(B)

33

P = G.polyhedralfan(); P

Polyhedral fan in 3 dimensions of dimension 3

P.rays()

[[1, 0, 0], [0, 1, 0], [9, 11, 1], [9, 4, 1], [2, 4, 1], [1, 1, 1], [0, 0, 1], [4, 1, 2], [1, 2, 4], [5, 3, 6], [6, 5, 3], [13, 5, 3], [1, 9, 4], [3, 13, 5], [3, 6, 5], [11, 1, 9], [4, 1, 9], [1, 9, 11], [5, 3, 13]]