with text_io; use text_io;
with Standard_Complex_Vectors; use Standard_Complex_Vectors;
with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
package Drivers_for_Scaling is
-- DESCRIPTION :
-- This package provides driver routines to perform scaling.
procedure Display_Info;
-- DESCRIPTION :
-- Display information about the scaling procedures on screen.
procedure Equation_Scaling
( file : in file_type; p : in out Poly_Sys );
-- DESCRIPTION :
-- Performs equation scaling on the the system p.
-- Writes timing information on file.
procedure Variable_Scaling
( file : in file_type; p : in out Poly_Sys;
basis : out natural; scvc : out Link_to_Vector );
-- DESCRIPTION :
-- Performs variable scaling on the system p.
-- Writes timing information on file.
procedure Write_Results ( file : in file_type; p : in Poly_Sys;
basis : in natural; scvc : in Link_to_Vector );
-- DESCRIPTION :
-- Writes the results of the scaling procedure on file.
-- These results are the scaled system p, and in case basis /= 0,
-- the scaling coefficients in the vectors scvc.
procedure Driver_for_Scaling
( file : in file_type; p : in out Poly_Sys;
basis : out natural; scvc : out Link_to_Vector );
-- DESCRIPTION :
-- This is an interactive driver for phc running in full mode.
-- ON ENTRY :
-- file file to write intermediate results and diagnostics on;
-- p a polynomial system.
-- ON RETURN :
-- p the scaled polynomial system;
-- basis number basis used for scaling, used as flag:
-- if basis /= 0, then variable scaling has been applied;
-- scvc scaling coefficients, only /= null when basis /= 0.
end Drivers_for_Scaling;