Return to mainvali.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Main

Annotation of OpenXM_contrib/PHC/Ada/Main/mainvali.ads, Revision 1.1.1.1

1.1       maekawa     1: procedure mainvali ( infilename,outfilename : in string );
                      2:
                      3: -- DESCRIPTION :
                      4: --   This is the routine for validating the solutions of a polynomial system,
                      5: --   as called by the central dispatcher.
                      6: --   The arguments are the names of the input and output file respectively.
                      7:
                      8: -- FUNCTIONALITY :
                      9: --   There are three types of functionality offered:
                     10: --   1. Weeding out the solution sets:
                     11: --     check residuals to separate solutions from path failures;
                     12: --     compute local condition numbers, which solution are regular/singular;
                     13: --     see whether solutions are clustered, eventually multiple solutions;
                     14: --     compute generators of the solution set in case of symmetry.
                     15: --   2. Computation of winding numbers:
                     16: --     this requires a homotopy with solution paths at t < 1.
                     17: --   3. Validation of polyhedral end game:
                     18: --     computation of frequency table of the path directions;
                     19: --     this requires an output file of poco where the path directions
                     20: --     have been computed.