Substitution and quotient of the isotropy group action

Abstract

Given a solution of the Brent equations, a partial solution can be substituted into the Brent equations which makes it a reduced polynomial system. Then the reduced polynomial system can be solved by symbolic software, and a parameterized solution set can often be found. However, the solution set admits a positive-dimensional isotropy group action. The parameterized solution set may lie entirely in a single isotropy group orbit. In this paper, we give a geometric explanation of making the substitution. Considering the foliation structure of the solution set, a method on choosing the partial solution is proposed. By the proposed method, parameterized solution sets that intersect distinct isotropy group orbits can be efficiently determined. In particular, the rational solution found by Dumas, Pernet and Sedoglavic is parameterized. In the parameterized solution set, we can find infinitely many inequivalent 48-multiplication algorithms with only rational coefficients.

The second version, many typos have been changed