Thing /^ ZZ

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

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

     i1 = ZZ/101[x]
     
           ZZ
     o1 = ---[x]
          101
     
     o1 : PolynomialRing

     i2 = x/^3
     
              3
     o2 = 17 x 
     
                ZZ
     o2 : frac(---[x])
               101