Return to black_mixed_volume_computations.ads CVS log

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

Initial revision

with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;

package Black_Mixed_Volume_Computations is

-- DESCRIPTION :
--   Offers black-box routines to compute mixed volumes and to solve
--   a random coefficient start system.

  procedure Black_Box_Mixed_Volume_Computation
                 ( p : in out Poly_Sys; mix : out Link_to_Vector;
                   lifsup : out Link_to_Array_of_Lists;
                   mixsub : out Mixed_Subdivision; mv : out natural );

  -- DESCRIPTION :
  --   Selects the appropriate algorithm to compute the mixed volume.

  -- ON ENTRY :
  --   p           polynomial system.

  -- ON RETURN :
  --   p           permuted if type of mixture is not fully mixed;
  --   mix         type of mixture;
  --   lifsup      lifted supports of the system;
  --   mixsub      regular mixed-cell configuration;
  --   mv          mixed volume.

  procedure Black_Box_Polyhedral_Continuation
                 ( p : in Poly_Sys; mix : in Vector;
                   lifsup : in Array_of_Lists;
                   mixsub : in Mixed_Subdivision;
                   q : in out Poly_Sys; qsols : in out Solution_List );

  -- DESCRIPTION :
  --   Creates a random coefficient start system, based on the
  --   regular mixed-cell configuration.

  -- ON ENTRY :
  --   p           polynomial system;
  --   mix         type of mixture;
  --   lifsup      lifted supports of the system;
  --   mixsub      regular mixed-cell configuration;
  --   mv          mixed volume.

  -- ON RETURN :
  --   q           random coefficient start system;
  --   qsols       solutions of q.

end Black_Mixed_Volume_Computations;