A PACKAGE OF PROCEDURES AND FUNCTIONS FOR CONSTRUCTIONS AND INVERSION OF ANALYTIC MAPPINGS WITH UNIT JACOBIAN

The set of polynomial mappings of n-dimensional complex space into itself the Jacobian matrix of which has a constant nonzero determinant is known to be very vast in any dimension that exceeds one. The well-known Jacobian conjecture states that any such mapping is polynomially invertible. Even though the computation of the determinant of the Jacobian matrix is very well supported in modern computer algebra systems, the algorithmic inversion of a polynomial mapping is still a problem of considerable computational complexity. In this paper, we present a Mathematica package JC that can be used for construction and inversion of polynomial mappings and more general analytic mappings with the unit determinant of the Jacobian matrix. The package includes functions that allow one to algorithmically construct these mappings for a given dimension of the space of variables and a given degree of mapping components. The package, together with a library of datasets for testing it and results of computational experiments, is available for free public use at https://www.researchgate.net/publication/358409332_JC_Package_and_Datasets.