Thing /^ ZZ -- divided power

Thing /^ ZZ -- divided power

Synopsis:

Operator: /^ -- a binary operator

Input:

an instance of class Thing.

an instance of class ZZ.

x /^ n -- computes the n-th divided power of x.

This is implemented naively as x^n/n!.

i1 : ZZ/101[x];

i2 : x/^3



        3

o2 = 17x



           ZZ

o2 : frac(--- [x])

          101

Code:

     -- ../../../Macaulay2/m2/powers.m2:27
     Thing /^ ZZ := (x,n) -> x^n/n!