Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/orbits_of_solutions_io.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2: with Orbits_of_Solutions; use Orbits_of_Solutions;
3:
4: package Orbits_of_Solutions_io is
5:
6: -- DESCRIPTION :
7: -- This package contains output routines for the orbit structure of the
8: -- solutions set of a symmetric polynomial system.
9:
10: procedure put ( lorb : in List_of_Orbits );
11:
12: -- DESCRIPTION :
13: -- Produces the output of the orbit structure of a solution list,
14: -- on standard output.
15:
16: procedure put ( file : in file_type; lorb : in List_of_Orbits );
17:
18: -- DESCRIPTION :
19: -- Produces the output of the orbit structure of a solution list,
20: -- on a file.
21:
22: end Orbits_of_Solutions_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>