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     ! 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;