\(\mathrm{GL}_2(\mathbb C)\)-orbits of binary rational forms (Q694393)

Let \(V_n=\mathcal S^n(\mathbb C^2)^*\) be a space of binary forms of degree \(n\) over field \(\mathbb C\). Consider an action of group \(\mathrm{GL}_2(\mathbb C)\) on space \(V_n\) such that subgroup \(\mathrm{SL}_2(\mathbb C)\subset \mathrm{GL}_2(\mathbb C)\) acts by linear coordinate transformations, and center \(\mathbb C^*\subset GL_2(\mathbb C)\) acts by homotheties \(f\mapsto \lambda f\), where \(f\in V_n\) and \(\lambda\in\mathbb C^*\). In the article under review the authors suggest a method which classifies \(\mathrm{GL}_2(\mathbb C)\)-orbits of binary forms of any degree. This method is based on the interpretation of space \(V_n\) as the space of smooth solutions of the Euler differential equation \(xu_x+yu_y=nu\) and consideration of the \(\mathrm{GL}_2(\mathbb C)\)-action on the solution space of this equation. This interpretation makes it possible to use differential invariants instead of polynomial ones. The authors also provide a computer program in Maple which solves the question ``are two given regular rational forms \(f\) and \(g\) equivalent?''.