Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/multi_homogeneous_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 Multi_Homogeneous_Start_Systems is
! 5:
! 6: -- DESCRIPTION :
! 7: -- This package contains a routine for the construction
! 8: -- of random product start systems.
! 9:
! 10: procedure RPQ ( p : in Poly_Sys; q : out Poly_Sys;
! 11: sols : in out Solution_List; nl : out natural );
! 12:
! 13: -- DESCRIPTION :
! 14: -- This routine constructs a start system q with the same structure
! 15: -- as the system p.
! 16: -- Solving q happens by factoring all possible linear systems.
! 17:
! 18: -- ON ENTRY :
! 19: -- p a polynomial system.
! 20:
! 21: -- ON RETURN :
! 22: -- q a suitable start system for p;
! 23: -- sols the solutions of the start system;
! 24: -- nl the number of matrices that are factored.
! 25:
! 26: procedure GBQ ( p : in Poly_Sys; q : out Poly_Sys;
! 27: sols : in out Solution_List );
! 28:
! 29: -- DESCRIPTION :
! 30: -- This routine constructs a start system q with the same structure
! 31: -- as the system p.
! 32: -- Solving q happens by factoring only these linear systems that
! 33: -- correspond to admissible products.
! 34:
! 35: -- ON ENTRY :
! 36: -- p a polynomial system.
! 37:
! 38: -- ON RETURN :
! 39: -- q a suitable start system for p;
! 40: -- sols the solutions of the start system.
! 41:
! 42: end Multi_Homogeneous_Start_Systems;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>