Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/total_degree_start_systems.ads, Revision 1.1
1.1 ! maekawa 1: with Standard_Complex_Vectors; use Standard_Complex_Vectors;
! 2: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
! 3: with Standard_Complex_Solutions; use Standard_Complex_Solutions;
! 4:
! 5: package Total_Degree_Start_Systems is
! 6:
! 7: -- DESCRIPTION :
! 8: -- This package constructs the start system based on the total degree.
! 9:
! 10: procedure Total_Degree_Info;
! 11:
! 12: -- DESCRIPTION :
! 13: -- Displays information about the total degree on screen.
! 14:
! 15: procedure Start_System
! 16: ( p : in Poly_Sys; q : in out Poly_Sys; c : in Vector;
! 17: qsols : in out Solution_List);
! 18:
! 19: -- ON ENTRY :
! 20: -- p the polynomial system that has to be solved;
! 21: -- c a vector with constants.
! 22:
! 23: -- ON RETURN :
! 24: -- q the start system, with for i in q'range :
! 25: -- q(i) = x_i^Degree(p(i)) - c(i);
! 26: -- qsols the solutions of the start system.
! 27:
! 28: procedure Start_System
! 29: ( p : in Poly_Sys; q : in out Poly_Sys;
! 30: qsols : in out Solution_List );
! 31:
! 32: -- DESCRIPTION :
! 33: -- The meaning of the parameters is here the same, except that instead
! 34: -- of the vector c, a random number generator will be used for choosing
! 35: -- the c(i)'s on the unit circle.
! 36:
! 37: end Total_Degree_Start_Systems;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>