Annotation of OpenXM_contrib/PHC/Ada/Homotopy/drivers_for_reduction.ads, Revision 1.1
1.1 ! maekawa 1: with text_io; use text_io;
! 2: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
! 3:
! 4: package Drivers_for_Reduction is
! 5:
! 6: -- DESCRIPTION:
! 7: -- This package collects driver routines for reducing a polynomial
! 8: -- system w.r.t. its total degree.
! 9:
! 10: procedure Display_Info;
! 11:
! 12: -- DESCRIPTION :
! 13: -- Displays information about reduction on screen.
! 14:
! 15: procedure Driver_for_Linear_Reduction
! 16: ( file : in file_type; p : in out Poly_Sys; d : out natural );
! 17:
! 18: -- DESCRIPTION :
! 19: -- The coefficient matrix of the system is triangulated.
! 20:
! 21: procedure Driver_for_Sparse_Linear_Reduction
! 22: ( file : in file_type; p : in out Poly_Sys; d : out natural );
! 23:
! 24: -- DESCRIPTION :
! 25: -- The coefficient matrix of the system is diagonalized.
! 26:
! 27: procedure Driver_for_Nonlinear_Reduction
! 28: ( file : in file_type; p : in out Poly_Sys; d : out natural );
! 29:
! 30: -- DESCRIPTION :
! 31: -- Combinations of S-polynomials are used to lower the total degree.
! 32:
! 33: procedure Driver_for_Overconstrained_Reduction
! 34: ( file : in file_type; p : in out Poly_Sys );
! 35:
! 36: -- DESCRIPTION :
! 37: -- Random combinations are added.
! 38:
! 39: procedure Driver_for_Reduction
! 40: ( file : in file_type; p : in out Poly_Sys; d : out natural;
! 41: exit_option : in boolean );
! 42:
! 43: -- DESCRIPTION :
! 44: -- This is an interactive driver for the reduction procedures.
! 45:
! 46: -- ON ENTRY :
! 47: -- file a file to write intermediate results and diagnostics on;
! 48: -- p a polynomial system;
! 49: -- exit_option if true, then the leave-option will be shown.
! 50:
! 51: -- ON RETURN :
! 52: -- p the system in a reduced form;
! 53: -- d total degree of the new system.
! 54:
! 55: end Drivers_for_Reduction;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>