This example from Genya Zaytman: sage: F1.<u> = NumberField(x^6 + 6*x^5 + 124*x^4 + 452*x^3 + 4336*x^2 + 8200*x + 42316) sage: reduct_id = F1.factor_integer(47)[0][0] sage: Rf = F1.residue_field(reduct_id) # = GF(47^3) sage: R1.<X,Y> = PolynomialRing(Rf) sage: ubar = Rf(u) sage: I = ideal([ubar*X+Y]) sage: I.groebner_basis() [boom]
Is this supposed to work? It's just a multivariate poly over a finite field. I've put it up at: http://trac.sagemath.org/sage_trac/ticket/2789 david --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---