[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1. Introduction

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] [ ? ]

1.1 Overview

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] [ ? ]

1.2 Credits

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] [ ? ]

1.3 Copying

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] [ ? ]

This document was generated by Grégoire Lecerf on June, 25 2002 using texi2html