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