Open Access Open Access  Restricted Access Subscription or Fee Access

Verifying KSY Condition By Elementary Matrix Transformations

Jinao He, Lei Huang

Abstract


Dixon’s method is a practical approach for computing the multivariate resultant in the quantifier elimination. The method is found to be quite restrictive as the Dixon matrix is singular always, and the Dixon resultant vanishes identically yielding no information about solutions for many algebraic and geometry problems. Kapur-Saxena-Yang extended Dixon’s method
for the case when the Dixon matrix is singular with the KSY condition. While the KSY condition is very difficult to be verified, so there has not any practical algorithm to do it yet. In this paper, we propose a new method to verify KSY condition by elementary matrix transformations directly.

Keywords


Singular Dixon Matrix, KSY Condition,Elementary Matrix Transformation, Dixon resultant.

Full Text:

PDF


Disclaimer/Regarding indexing issue:

We have provided the online access of all issues and papers to the indexing agencies (as given on journal web site). It’s depend on indexing agencies when, how and what manner they can index or not. Hence, we like to inform that on the basis of earlier indexing, we can’t predict the today or future indexing policy of third party (i.e. indexing agencies) as they have right to discontinue any journal at any time without prior information to the journal. So, please neither sends any question nor expects any answer from us on the behalf of third party i.e. indexing agencies.Hence, we will not issue any certificate or letter for indexing issue. Our role is just to provide the online access to them. So we do properly this and one can visit indexing agencies website to get the authentic information. Also: DOI is paid service which provided by a third party. We never mentioned that we go for this for our any journal. However, journal have no objection if author go directly for this paid DOI service.