Return to multi_homogeneous_start_systems.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/multi_homogeneous_start_systems.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             2: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
        !             3:
        !             4: package Multi_Homogeneous_Start_Systems is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   This package contains a routine for the construction
        !             8: --   of random product start systems.
        !             9:
        !            10:   procedure RPQ ( p : in Poly_Sys; q : out Poly_Sys;
        !            11:                   sols : in out Solution_List; nl : out natural );
        !            12:
        !            13:   -- DESCRIPTION :
        !            14:   --   This routine constructs a start system q with the same structure
        !            15:   --   as the system p.
        !            16:   --   Solving q happens by factoring all possible linear systems.
        !            17:
        !            18:   -- ON ENTRY :
        !            19:   --   p          a polynomial system.
        !            20:
        !            21:   -- ON RETURN :
        !            22:   --   q          a suitable start system for p;
        !            23:   --   sols       the solutions of the start system;
        !            24:   --   nl         the number of matrices that are factored.
        !            25:
        !            26:   procedure GBQ ( p : in Poly_Sys; q : out Poly_Sys;
        !            27:                   sols : in out Solution_List );
        !            28:
        !            29:   -- DESCRIPTION :
        !            30:   --   This routine constructs a start system q with the same structure
        !            31:   --   as the system p.
        !            32:   --   Solving q happens by factoring only these linear systems that
        !            33:   --   correspond to admissible products.
        !            34:
        !            35:   -- ON ENTRY :
        !            36:   --   p          a polynomial system.
        !            37:
        !            38:   -- ON RETURN :
        !            39:   --   q          a suitable start system for p;
        !            40:   --   sols       the solutions of the start system.
        !            41:
        !            42: end Multi_Homogeneous_Start_Systems;