image Phi
Note that, instead, the image of a standard rational map is the defining ideal of the image (this is done mainly for efficiency reasons).
|
|
|
|
|
|
Alternatively, the calculation can be performed using the Segre embedding as follows:
|
|
The source of this document is in MultiprojectiveVarieties.m2:3049:0.