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

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;