isBiratMap(I)
Let $R$ be the multi-homogeneous polynomial ring $R=k[x_{1,0},x_{1,1},...,x_{1,r_1}, x_{2,0},x_{2,1},...,x_{2,r_2}, ......, x_{m,0},x_{m,1},...,x_{m,r_m}]$ and $I$ be the multi-homogeneous ideal $I=(f_0,f_1,...,f_s)$ where the polynomials $f_i$'s have the same multi-degree. We compute the degree of the rational map $\mathbb{F}: \mathbb{P}^{r_1} \times \mathbb{P}^{r_2} \times ... \times \mathbb{P}^{r_m} \to \mathbb{P}^s$ defined by $$ (x_{1,0} : ... : x_{1,r_1}; ...... ;x_{m,0} : ... : x_{m,r_m}) \to (f_0(x_{1,0},...,x_{1,r_1}, ...... ,x_{m,0},...,x_{m,r_m}), ..... , f_0(x_{1,0},...,x_{1,r_1}, ...... ,x_{m,0},...,x_{m,r_m})). $$ This method calls "jacobianDualRank" in order to obtain the full Jacobian dual rank and then it tests the birationality of $\mathbb{F}$ (see Theorem 4.4 in Degree and birationality of multi-graded rational maps).
First, we compute some examples in the bigraded setting.
|
|
|
|
|
|
|
|
|
|
Next, we test some rational maps over three projective spaces.
|
|
|
|
|
|
The object isBiratMap is a method function.