Return to drivers_for_reduction.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Homotopy/drivers_for_reduction.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             3:
        !             4: package Drivers_for_Reduction is
        !             5:
        !             6: -- DESCRIPTION:
        !             7: --   This package collects driver routines for reducing a polynomial
        !             8: --   system w.r.t. its total degree.
        !             9:
        !            10:   procedure Display_Info;
        !            11:
        !            12:   -- DESCRIPTION :
        !            13:   --   Displays information about reduction on screen.
        !            14:
        !            15:   procedure Driver_for_Linear_Reduction
        !            16:                ( file : in file_type; p : in out Poly_Sys; d : out natural );
        !            17:
        !            18:   -- DESCRIPTION :
        !            19:   --   The coefficient matrix of the system is triangulated.
        !            20:
        !            21:   procedure Driver_for_Sparse_Linear_Reduction
        !            22:                ( file : in file_type; p : in out Poly_Sys; d : out natural );
        !            23:
        !            24:   -- DESCRIPTION :
        !            25:   --   The coefficient matrix of the system is diagonalized.
        !            26:
        !            27:   procedure Driver_for_Nonlinear_Reduction
        !            28:                ( file : in file_type; p : in out Poly_Sys; d : out natural );
        !            29:
        !            30:   -- DESCRIPTION :
        !            31:   --   Combinations of S-polynomials are used to lower the total degree.
        !            32:
        !            33:   procedure Driver_for_Overconstrained_Reduction
        !            34:                ( file : in file_type; p : in out Poly_Sys );
        !            35:
        !            36:   -- DESCRIPTION :
        !            37:   --   Random combinations are added.
        !            38:
        !            39:   procedure Driver_for_Reduction
        !            40:                ( file : in file_type; p : in out Poly_Sys; d : out natural;
        !            41:                  exit_option : in boolean );
        !            42:
        !            43:   -- DESCRIPTION :
        !            44:   --   This is an interactive driver for the reduction procedures.
        !            45:
        !            46:   -- ON ENTRY :
        !            47:   --   file         a file to write intermediate results and diagnostics on;
        !            48:   --   p            a polynomial system;
        !            49:   --   exit_option  if true, then the leave-option will be shown.
        !            50:
        !            51:   -- ON RETURN :
        !            52:   --   p            the system in a reduced form;
        !            53:   --   d            total degree of the new system.
        !            54:
        !            55: end Drivers_for_Reduction;