Ask Your Question

Defining Polynomial Basis and Generic Polynomials

asked 2012-04-20 01:17:30 -0500

Prateek_123 gravatar image

Given a Extension Field , say GF(2*4) with modulus polynomial f(x), I would like to a) Define a polynomial basis [1,x,x^2,x^3] for its elements. b) Define a general polynomial as a0 + a1x + a2*x^2 +a^3. Currently for part (a) I am defining the basis as a tuple, but I have an inkling that it is the worst possible fix. Kindly suggest a better alternative and a solution for part (b).

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted

answered 2012-04-20 02:55:39 -0500

Volker Braun gravatar image

Its kind of boring to do it in a univariate polynomial ring. This is what you want:

sage: R.<x,y,z> = PolynomialRing(GF(2*4, 'a'))
sage: I = R.ideal(x^2+y^2+z^2-4, x^2+2*y^2-5, x*z-1)
sage: I.vector_space_dimension()
sage: I.normal_basis()
[y*z, z, y, 1]
edit flag offensive delete link more


This gives an excellent pointer to go about part (a) of the problem. Regarding the second part, if I use the predefined function var to instantiate variables as : var(varname, domain = Fieldname) and then try something like varname * field_generator, sage returns the following error : Unsupported operand parent(s) for '*': 'Symbolic Ring' and 'Multiivariate Quotient Polynomial Ring. Any pointers as to how to proceed with defining a polynomial would be helpful. Thanks.

Prateek_123 gravatar imagePrateek_123 ( 2012-05-26 01:39:43 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2012-04-20 01:17:30 -0500

Seen: 224 times

Last updated: Apr 20 '12