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     ! 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;