degreeOfMap(I)
Let $R$ be the polynomial ring $R=k[x_0,...,x_r]$ and $I$ be the homogeneous ideal $I=(f_0,f_1,...,f_s)$ where $deg(f_i)=d$. We compute the degree of the rational map $\mathbb{F}: \mathbb{P}^r \to \mathbb{P}^s$ defined by $$ (x_0: ... :x_r) \to (f_0(x_0,...,x_r), f_1(x_0,...,x_r), ..... , f_s(x_0,...,x_r)). $$ The degree can be computed by two different strategies and the default one is "Hm1Rees0Strategy".
The following example is a rational map without base points:
|
|
|
|
In the following examples we play with the relations of the Hilbert-Burch presentation and the degree of $\mathbb{F}$ (see Proposition 5.2 and Theorem 5.12):
|
|
|
|
|
|
|
|
|
|
|
|
The following examples are computed with the strategy "SatSpecialFibStrategy".
|
|
|
|
|
To call the method "degreeOfMap(I)", the ideal $I$ should be in a single graded polynomial ring.
The object degreeOfMap is a method function with options.