Return to black_mixed_volume_computations.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/black_mixed_volume_computations.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             2: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             3: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
        !             4: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
        !             5: with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;
        !             6:
        !             7: package Black_Mixed_Volume_Computations is
        !             8:
        !             9: -- DESCRIPTION :
        !            10: --   Offers black-box routines to compute mixed volumes and to solve
        !            11: --   a random coefficient start system.
        !            12:
        !            13:   procedure Black_Box_Mixed_Volume_Computation
        !            14:                  ( p : in out Poly_Sys; mix : out Link_to_Vector;
        !            15:                    lifsup : out Link_to_Array_of_Lists;
        !            16:                    mixsub : out Mixed_Subdivision; mv : out natural );
        !            17:
        !            18:   -- DESCRIPTION :
        !            19:   --   Selects the appropriate algorithm to compute the mixed volume.
        !            20:
        !            21:   -- ON ENTRY :
        !            22:   --   p           polynomial system.
        !            23:
        !            24:   -- ON RETURN :
        !            25:   --   p           permuted if type of mixture is not fully mixed;
        !            26:   --   mix         type of mixture;
        !            27:   --   lifsup      lifted supports of the system;
        !            28:   --   mixsub      regular mixed-cell configuration;
        !            29:   --   mv          mixed volume.
        !            30:
        !            31:   procedure Black_Box_Polyhedral_Continuation
        !            32:                  ( p : in Poly_Sys; mix : in Vector;
        !            33:                    lifsup : in Array_of_Lists;
        !            34:                    mixsub : in Mixed_Subdivision;
        !            35:                    q : in out Poly_Sys; qsols : in out Solution_List );
        !            36:
        !            37:   -- DESCRIPTION :
        !            38:   --   Creates a random coefficient start system, based on the
        !            39:   --   regular mixed-cell configuration.
        !            40:
        !            41:   -- ON ENTRY :
        !            42:   --   p           polynomial system;
        !            43:   --   mix         type of mixture;
        !            44:   --   lifsup      lifted supports of the system;
        !            45:   --   mixsub      regular mixed-cell configuration;
        !            46:   --   mv          mixed volume.
        !            47:
        !            48:   -- ON RETURN :
        !            49:   --   q           random coefficient start system;
        !            50:   --   qsols       solutions of q.
        !            51:
        !            52: end Black_Mixed_Volume_Computations;