                              MGBA 
                           version 1.0 
                     
                            Qiang  Li             
                      University of Tsukuba     
                            Yike Guo               
                Dept. of Computing, Imperial College  
                                           
                      Co-operated under AITEC      
                       research projet 1997      
                                         

This is a solver for IP based on MGBA (Minimised Geometric Buchberger
Algorithm). This solver runs on Sun UltraSparc with SunOS 5.5.1.

User manual:

1.Compile the package:
 
  %gcc -lm mgba.c -o mgba
  
2.Start the solver:

   %mgba
    run mgba, there are following information:
********************************************
*                                          *
*                  MGBA                    *
*               version 1.0                *
*                                          *
*                 Qiang  Li                *
*            University of Tsukuba         *
*                Yike Guo                  *
*   Dept. of Computing, Imperial College   *
*                                          *
*           Co-operated under AITEC        *
*            research projet 1997          *
*                                          *
********************************************

Input messages:

   (1)."Input equations:" 

      you can input equations in special form, for example:

         3 x 1 + x 2 + x 3 = 7 ,
         2 x 1 + 3 x 2 + x 4 = 10 .

   (2)."Input function cx" 
     you can input object function in special form, for example:
    
         2 x 1 + x 2 .

Output messages:

   (1). "Reduced Grobner basis:" 
      the system displays the reduced GB.

   (2). "the optimal solution:"
      the system displays the optimal solution of the IP.
   
See Example-MGBA for some instances.
   







