[BACK]Return to READ_ME CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / PHC / Ada / Main
File: [local] / OpenXM_contrib / PHC / Ada / Main / READ_ME (download)

Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:23 2000 UTC (23 years, 6 months ago) by maekawa
Branch: PHC, MAIN
CVS Tags: v2, maekawa-ipv6, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, HEAD
Changes since 1.1: +0 -0 lines 

Import the second public release of PHCpack.

OKed by Jan Verschelde.

Main interactive drivers and dispatcher for the software package PHCv2.

New is this directory is the conversion between symbolic and tableau formats.

The are four parts in this libary :

1. Separate drivers
2. Main drivers and black-box solver
3. PHCPACK as server package and how to use it
4. The main dispatcher

--------------------------------------------------------------------------------
file name                    : short description
--------------------------------------------------------------------------------
driver_for_own_start_system  : driver for submitting start system
driver_for_root_counts       : interactive menu-driver for counting roots
driver_for_root_refining     : calls the root refiners
--------------------------------------------------------------------------------
black_box_root_counting      : performs several root counts
bablroco                     : calls the black-box root counter
mainroco                     : calls interactive root-counting driver
mainvali                     : menu-driver for validating the results
bablvali                     : black-box version of validation
mainphc                      : the main program running in full mode
bablphc                      : black-box version of the program
--------------------------------------------------------------------------------
phcpack                      : PHC with main drivers according to 4 stages
use_phc                      : an example of how to use phcpack
tableau_formats              : input/output for tableau formats of systems
convert_formats              : convert between symbolic and tableau formats
--------------------------------------------------------------------------------
dispatch                     : scans options and arguments and calls drivers
--------------------------------------------------------------------------------

The driver for root refinement are located at this level because symmetry
relations can be used to extract the generators of a list of solutions.

wc *adb counts 2236 lines of Ada code