image(RationalMap,String) -- closure of the image of a rational map using the F4 algorithm (experimental)

• Function: image

• Usage:

  image(Phi,"F4")

  image(Phi,"MGB")

• Inputs:
  • Phi, a rational map
  • a string, "F4" or "MGB"
• Outputs:
  • the ideal defining the closure of the image of Phi; the calculation passes through groebnerBasis(...,Strategy=>"F4") or groebnerBasis(...,Strategy=>"MGB").