![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift / black_mixed_volume_computations.ads (download)
Revision 1.1, Sun Oct 29 17:45:28 2000 UTC (23 years, 10 months ago) by maekawa
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;