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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>