Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/interpolating_homotopies_driver.ads, Revision 1.1.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>