Annotation of OpenXM_contrib/PHC/Ada/Homotopy/drivers_for_homotopy_creation.ads, Revision 1.1
1.1 ! maekawa 1: with text_io; use text_io;
! 2: with Standard_Complex_Numbers; use Standard_Complex_Numbers;
! 3: with Standard_Complex_Solutions; use Standard_Complex_Solutions;
! 4: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
! 5:
! 6: package Drivers_for_Homotopy_Creation is
! 7:
! 8: -- DESCRIPTION :
! 9: -- Menu-driven creation of an artificial-parameter polynomial homotopy.
! 10:
! 11: procedure Default_Homotopy_Settings
! 12: ( k : out positive; a,t : out Complex_Number );
! 13: procedure Default_Homotopy_Settings
! 14: ( k : out positive; a,t : out Complex_Number;
! 15: proj : out boolean );
! 16:
! 17: -- DESCRIPTION :
! 18: -- Sets the default settings of the homotopy parameters.
! 19:
! 20: -- ON RETURN :
! 21: -- k relaxation constant, by default equals 2;
! 22: -- a randomly chosen complex number of radius 1;
! 23: -- t 1 is default target value of the continuation parameter;
! 24: -- proj no projective transformation, proj = false.
! 25:
! 26: procedure Menu_for_Homotopy_Settings
! 27: ( file : in file_type; k : in out positive;
! 28: a,t : in out Complex_Number; proj : in out boolean );
! 29: procedure Menu_for_Homotopy_Settings
! 30: ( file : in file_type; k : in out positive;
! 31: a,t : in out Complex_Number );
! 32:
! 33: -- DESCRIPTION :
! 34: -- Interactive setting of the homotopy parameters.
! 35: -- If proj is left out, then no projective transformation is set.
! 36:
! 37: procedure Driver_for_Homotopy_Construction
! 38: ( file : in file_type; p,q : in out Poly_Sys;
! 39: qsols : in out Solution_List; target : out Complex_Number );
! 40:
! 41: -- DESCRIPTION :
! 42: -- This is an interactive driver for the construction of an artificial
! 43: -- parameter homotopy. The user can ask to homogenize the polynomial
! 44: -- system and can determine the homotopy parameters and the target
! 45: -- value for the continuation parameter.
! 46: -- This target value is returned as output.
! 47: -- Note that the starting value for the continuation parameter is stored
! 48: -- with the solutions.
! 49:
! 50: end Drivers_for_Homotopy_Creation;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>