next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Macaulay2Doc :: RingElement ^ ZZ

RingElement ^ ZZ -- power

Synopsis

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
o2 = - x   - x   - x   + 3x   + 3x   - 2x   + 2x   + 3x   + x   - 3x   + 3x  
     ------------------------------------------------------------------------
         31     30    29    28    27     26     25    23     22    21     20
     - 2x   + 2x   + x   - x   + x   - 3x   + 2x   + x   + 3x   - x   - 2x  
     ------------------------------------------------------------------------
         19    18     17     16     15     14    13     12     11    10     9
     - 2x   - x   + 3x   - 3x   - 3x   + 2x   + x   + 2x   - 3x   - x   - 3x 
     ------------------------------------------------------------------------
         8     7     6     5    4     2
     - 2x  + 3x  - 2x  + 3x  - x  + 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

See also