Return to drivers_for_scaling.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Homotopy/drivers_for_scaling.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Complex_Vectors;           use Standard_Complex_Vectors;
                      3: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      4:
                      5: package Drivers_for_Scaling is
                      6:
                      7: -- DESCRIPTION :
                      8: --   This package provides driver routines to perform scaling.
                      9:
                     10:   procedure Display_Info;
                     11:
                     12:   -- DESCRIPTION :
                     13:   --   Display information about the scaling procedures on screen.
                     14:
                     15:   procedure Equation_Scaling
                     16:                   ( file : in file_type; p : in out Poly_Sys );
                     17:
                     18:   -- DESCRIPTION :
                     19:   --   Performs equation scaling on the the system p.
                     20:   --   Writes timing information on file.
                     21:
                     22:   procedure Variable_Scaling
                     23:                   ( file : in file_type; p : in out Poly_Sys;
                     24:                     basis : out natural; scvc : out Link_to_Vector );
                     25:
                     26:   -- DESCRIPTION :
                     27:   --   Performs variable scaling on the system p.
                     28:   --   Writes timing information on file.
                     29:
                     30:   procedure Write_Results ( file : in file_type; p : in Poly_Sys;
                     31:                             basis : in natural; scvc : in Link_to_Vector );
                     32:
                     33:   -- DESCRIPTION :
                     34:   --   Writes the results of the scaling procedure on file.
                     35:   --   These results are the scaled system p, and in case basis /= 0,
                     36:   --   the scaling coefficients in the vectors scvc.
                     37:
                     38:   procedure Driver_for_Scaling
                     39:                   ( file : in file_type; p : in out Poly_Sys;
                     40:                     basis : out natural; scvc : out Link_to_Vector );
                     41:
                     42:   -- DESCRIPTION :
                     43:   --   This is an interactive driver for phc running in full mode.
                     44:
                     45:   -- ON ENTRY :
                     46:   --   file         file to write intermediate results and diagnostics on;
                     47:   --   p            a polynomial system.
                     48:
                     49:   -- ON RETURN :
                     50:   --   p            the scaled polynomial system;
                     51:   --   basis        number basis used for scaling, used as flag:
                     52:   --                if basis /= 0, then variable scaling has been applied;
                     53:   --   scvc         scaling coefficients, only /= null when basis /= 0.
                     54:
                     55: end Drivers_for_Scaling;