Description
i1 : R = ZZ/7[x]/(x^46-x-1);
|
i2 : (x+4)^(7^100)
45 43 42 41 38 37 36 35 34 33 32 31 30 29 28 27 26 25 23
o2 = - x - x - x + 3x + 3x - 2x + 2x + 3x + x - 3x + 3x - 2x + 2x + x - x + x - 3x + 2x + x
----------------------------------------------------------------------------------------------------------------------------
22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4
+ 3x - x - 2x - 2x - x + 3x - 3x - 3x + 2x + x + 2x - 3x - x - 3x - 2x + 3x - 2x + 3x - x +
----------------------------------------------------------------------------------------------------------------------------
2
2x - 3x + 3
o2 : R
|
If the ring allows inverses, negative values may be used.
i3 : S = ZZ[t,Inverses=>true,MonomialOrder=>RevLex];
|
i4 : t^-1
-1
o4 = t
o4 : S
|
i5 : T = frac(ZZ[a,b,c]);
|
i6 : (a+b+c)^-1
1
o6 = ---------
a + b + c
o6 : T
|