Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/interpolating_homotopies_driver.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: with Partitions_of_Sets_of_Unknowns; use Partitions_of_Sets_of_Unknowns;
! 5:
! 6: procedure Interpolating_Homotopies_Driver
! 7: ( file : in file_type; p : in Poly_Sys; z : in Partition;
! 8: b : in out natural; q : out Poly_Sys;
! 9: qsols : in out Solution_List );
! 10:
! 11: -- DESCRIPTION :
! 12: -- This is an interactive driver for the construction of an interpolating
! 13: -- homotopy based on an m-homogeneous Bezout number.
! 14:
! 15: -- ON ENTRY :
! 16: -- file to write diagnostics on;
! 17: -- p the polynomial system;
! 18: -- z partition of the set of unknowns of p;
! 19: -- b an m-homogeneous Bezout number.
! 20:
! 21: -- ON RETURN :
! 22: -- b number of interpolating roots;
! 23: -- q an m-homogeneous start system;
! 24: -- qsols solutions of q.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>