Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/drivers_for_symmetric_lifting.ads, Revision 1.1
1.1 ! maekawa 1: with text_io; use text_io;
! 2: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
! 3: with Standard_Complex_Solutions; use Standard_Complex_Solutions;
! 4:
! 5: package Drivers_for_Symmetric_Lifting is
! 6:
! 7: procedure Symmetric_Lifting_Info;
! 8:
! 9: -- DESCRIPTION :
! 10: -- Displays information on symmetric lifting on screen.
! 11:
! 12: procedure Driver_for_Symmetric_Mixed_Volume_Computation
! 13: ( file : in file_type; p : in Poly_Sys; byebye : in boolean;
! 14: q : out Poly_Sys; qsols : out Solution_List;
! 15: mv : out natural );
! 16:
! 17: -- DESCRIPTION :
! 18: -- This procedure presents an interactive driver for the computation
! 19: -- of the mixed volume of a symmetric polynomial system, based on the
! 20: -- construction of a symmetric mixed subdivision.
! 21:
! 22: -- ON ENTRY :
! 23: -- file a file to put useful statistics on;
! 24: -- p a polynomial system;
! 25: -- byebye if true, then a bye-bye message will appear on screen,
! 26: -- if false, then no bye-bye.
! 27:
! 28: -- ON RETURN :
! 29: -- q a start system with randomly choosen coefficients,
! 30: -- which can be used in a coefficient homotopy;
! 31: -- qsols the solutions of q;
! 32: -- mv the BKK bound of p and the number of solutions of q.
! 33:
! 34: end Drivers_for_Symmetric_Lifting;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>