Defining Polynomial Basis and Generic Polynomials

asked 2012-04-20 08:17:30 +0200

Prateek_123
1 ●1 ●1

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).

answered 2012-04-20 09:55:39 +0200

Volker Braun
3281 ●11 ●30 ●75

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()
4
sage: I.normal_basis()
[y*z, z, y, 1]

edit flag offensive delete link

Comments

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 ( 2012-05-26 08:39:43 +0200 )edit

add a comment

Your Answer

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

Defining Polynomial Basis and Generic Polynomials

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Defining Polynomial Basis and Generic Polynomials edit

1 Answer

Comments