| Singular https://www.singular.uni-kl.de/forum/ |
|
| Problem concerning rings/exponentiation https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1629 |
Page 1 of 1 |
| Author: | fw [ Tue Feb 13, 2007 9:22 pm ] |
| Post subject: | Problem concerning rings/exponentiation |
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 |
|
| Author: | hannes [ Mon Apr 23, 2007 2:37 pm ] |
| Post subject: | Re: Problem concerning rings/exponentiation |
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); |
|
| Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|