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

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;