numericalImageDegree W
numericalImageDegree(F, I)
This method computes the degree of the image of a variety, by computing a pseudowitness set for the image (cf. pseudowitness set for more on the techniques and options used).
If a pseudowitness set has already been computed, then to avoid repetitive calculation one may run this function with the pseudowitness set as input.
The following example determines the degree of the Grassmannian $Gr(2,4)$ of $P^1$'s in $P^3$, under its Plücker embedding in $P^5$.



The object numericalImageDegree is a method function with options.