On May 4, 1:07 pm, gtg <yih0siang0l...@gmail.com> wrote: > Hi I'm new to sage. Can you tell me how to construct finite fields > using quotient of poly ring? For instance suppose I want to construct > GF(5^2) using a GF(5) poly ring mod out by x^2 + x + 1 how do I do > that? I can construct the quotient like this: > > p = 5 > F = GF(p) > R.<x> = F['x'] > f = x * x + x + 1 > S = R.quotient(f, 'a') > > How do I force S to a field so that I can use it with elliptic curves?
Can't you just do it? sage: S.is_field() True sage: EllipticCurve(S, [2, 4]) Elliptic Curve defined by y^2 = x^3 + 2*x + 4 over Univariate Quotient Polynomial Ring in a over Finite Field of size 5 with modulus x^2 + x + 1 What exactly are you trying to do, and where are you having problems? --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---