frobeniusPushforward -- compute Frobenius pushforwards

• Usage:

  frobeniusPushforward(e, M)

• Inputs:
  • e, an integer,
  • M, a ring, an ideal, a module, a matrix, a sheaf of rings, a coherent sheaf, or a morphism of sheaves,
• Outputs:
  • a ring,
  • a module,
  • a matrix,
  • a coherent sheaf,
  • a morphism of sheaves,