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 /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/MultiprojectiveVarieties.m2:3049:0.