[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This document applies to version 0.166-9 of the program named Kronecker.
1.1 Overview Kronecker in brief. 1.2 Credits Authors 1.3 Copying Your rights and freedoms. 2. Blackbox polynomials Input data structure 3. Lifting fiber Output data structure. 4. Lifting Lifting functions. 5. Equidimensional decomposition Dealing with components. 6. Geometric Solve Main solving functions. Function Index
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Kronecker is a package for the Magma computer algebra system to solve polynomial systems of equations and inequations. It is a prototype resulting of a long term research by many people organized around the TERA project.
This version of Kronecker has been tested with Magma 2.9-2.
To begin smoothly with Kronecker read Getting Started with Kronecker.
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
The present package has been originally designed by M. Giusti, G. Lecerf and B. Salvy, and written in Magma by G. Lecerf. The current main algorithm is the one presented in G. Lecerf's Phd thesis. The code contains contributions from E. Schost and L. Lehmann. A. Steel improved the basic arithmetic for bivariate polynomials in the Magma kernel. X. Suraud contributed to the MathML support.
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
The program Kronecker currently being distributed is to be used within the Magma computer algebra system distributed by the University of Sydney (Australia).
The Kronecker related packages are "free"; this means that everyone is free to use them and free to redistribute them on a free basis. The Kronecker related programs are not in the public domain, they belong to the CNRS (Centre National de la Recherche Scientifique).
*** THIS PACKAGE COMES WITH NO WARRANTY ***
[ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |