Singular

Hello.

Im faced with a little problem:
I want to create an algebraic level n extension over a finite field (say GF(2) for example). At the same time, i want Singular to know about my variables x(1..n). Now i have some polynomial (say n=3 and poly f=x(1)*x^2 + x(2)*x + 1 for example) and i want to do an exponentiation using a relatively high exponent (around 17 or something).
My problem is, that Singular gives me a very big polynomial which has some x(1)^17 in it, which is not what i want, because x(1)^17 is congruent to x(1)^1. So, is it possible to reduce the degree of the variables (modulo 2 in this case)?

THX and kind regards, Fabian Werner

If you want ot identify polynomial w.r.t. a relation, you have to define a qring:

ring r=2,(x(1.....;
ideal relations=x(1)2-x(1),.....;
qring q=r,relations;

and now use reduce to force the normal form:

reduce(f^17,0);