Abstract
Given two polynomials a and b in Fq[x,y] which have no non-trivial common divisors, we prove that a generator of the elimination ideal 〈a,b〉∩Fq[x] can be computed in quasi-linear time. To achieve this, we propose a randomized algorithm of the Monte Carlo type which requires (delogq)1+o(1) bit operations, where d and e bound the input degrees in x and in y respectively.The same complexity estimate applies to the computation of the largest degree invariant factor of the Sylvester matrix associated with a and b (with respect to either x or y), and of the resultant of a and b if they are sufficiently generic, in particular such that the Sylvester matrix has a unique non-trivial invariant factor.Our approach is to exploit reductions to problems of minimal polynomials in quotient algebras of the form Fq[x,y]/〈a,b〉. By proposing a new method based on structured polynomial matrix division for computing with the elements of the quotient, we succeed in improving the best-known complexity bounds.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.