Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/random_product_start_systems.ads, Revision 1.1
1.1 ! maekawa 1: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
! 2: with Standard_Complex_Solutions; use Standard_Complex_Solutions;
! 3:
! 4: package Random_Product_Start_Systems is
! 5:
! 6: -- DESCRIPTION :
! 7: -- This package constructs a random product start
! 8: -- product system for a given polynomial system.
! 9:
! 10: procedure Build_Set_Structure ( p : in Poly_Sys );
! 11:
! 12: -- DESCRIPTION :
! 13: -- This is a heuristic procedure for constructing a supporting
! 14: -- set structure of the system p.
! 15:
! 16: procedure Build_Random_Product_System ( n : in natural );
! 17:
! 18: -- DESCRIPTION :
! 19: -- Based on the set structure, a random linear-product system
! 20: -- will be constructed. The result is stored in the internal
! 21: -- data manage by the package Random_Product_System.
! 22:
! 23: -- REQUIRED :
! 24: -- The set structure may not be empty.
! 25:
! 26: procedure Construct ( p : in Poly_Sys; q : in out Poly_Sys;
! 27: sols : in out Solution_List );
! 28:
! 29: -- DESCRIPTION :
! 30: -- Constructs a start system q, with more or less the same
! 31: -- structure as p. A heuristic procedure will be used for
! 32: -- constructing a supporting set structure.
! 33:
! 34: end Random_Product_Start_Systems;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>