Return to orbits_of_solutions_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry

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;