Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/standard_complex_poly_systems_io.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2: with Standard_Complex_Polynomials_io; use Standard_Complex_Polynomials_io;
3: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
4:
5: package Standard_Complex_Poly_Systems_io is
6:
7: -- DESCRIPTION :
8: -- This package contains routines for the i/o for polynomial systems.
9:
10: -- THE INPUT OPERATIONS :
11:
12: procedure get ( n : in out natural; s : in out Poly_Sys );
13: procedure get ( n,m : in out natural; s : in out Poly_Sys );
14: procedure get ( file : in file_type;
15: n : in out natural; s : in out Poly_Sys );
16: procedure get ( file : in file_type;
17: n,m : in out natural; s : in out Poly_Sys );
18: procedure get ( s : in out Poly_Sys );
19: procedure get ( file : in file_type; s : in out Poly_Sys );
20:
21: -- DESCRIPTION :
22: -- A polynomial system is read; n polynomials are read.
23:
24: -- ON ENTRY :
25: -- file file_type where the input is,
26: -- if not specified, then standard input is assumed;
27: -- n the number of equations,
28: -- if specified, then n will first be read;
29: -- m the number of unknowns;
30: -- if specified, then m will first be read.
31:
32: -- ON RETURN :
33: -- s a polynomial system.
34:
35: -- MORE USER FRIENDLY INPUT OPERATIONS :
36:
37: procedure get ( lp : in out Link_to_Poly_Sys );
38: procedure get ( file : in file_type; lp : in out Link_to_Poly_Sys );
39:
40: -- DESCRIPTION :
41: -- The first routine asks for a file name, while the second one
42: -- assumes everything is on file and nothing has to be read from
43: -- standard input.
44:
45: -- NOTE :
46: -- The end_of_line symbol is read at the end of the polynomial system.
47:
48: -- THE OUTPUT OPERATIONS :
49:
50: procedure put ( n : in natural; s : in Poly_Sys; pow : in power := '*' );
51: procedure put ( n,m : in natural; s : in Poly_Sys; pow : in power := '*' );
52: procedure put ( file : in file_type;
53: n : in natural; s : in Poly_Sys; pow : in power := '*' );
54: procedure put ( file : in file_type;
55: n,m : in natural; s : in Poly_Sys; pow : in power := '*' );
56: procedure put ( s : in Poly_Sys; pow : in power );
57: procedure put ( file : in file_type; s : in Poly_Sys; pow : in power );
58: procedure put ( s : in Poly_Sys );
59: procedure put ( file : in file_type; s : in Poly_Sys );
60:
61: -- DESCRIPTION :
62: -- A polynomial system is written on standard output or on file.
63:
64: -- ON ENTRY :
65: -- file file where the output must come;
66: -- if not specified, then standard output is assumed
67: -- s a polynomial system;
68: -- pow kind of power symbol used.
69:
70: -- ON RETURN :
71: -- n the number of equations of p,
72: -- if specified, n will first be written;
73: -- m the number of unknowns.
74: -- if specified, m will first be written.
75:
76: procedure put_line ( s : in Poly_Sys );
77: procedure put_line ( file : in file_type; s : in Poly_Sys );
78: procedure put_line ( s : in Poly_Sys; pow : in Power );
79: procedure put_line ( file : in file_type; s : in Poly_Sys; pow : in Power );
80:
81: -- DESCRIPTION :
82: -- Writes the polynomials, every term on a separate line.
83:
84: procedure Display_Format;
85:
86: -- DESCRIPTION :
87: -- Displays on screen the formatting rules as on-line help facility.
88:
89: end Standard_Complex_Poly_Systems_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>