Return to ts_drivpts.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/ts_drivpts.adb, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Communications_with_User;           use Communications_with_User;
        !             3: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             4: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
        !             5: with Drivers_for_Vertex_Points;          use Drivers_for_Vertex_Points;
        !             6:
        !             7: procedure ts_drivpts is
        !             8:
        !             9: -- DESCRIPTION :
        !            10: --   This procedure calls the driver for extracting vertex points.
        !            11:
        !            12:   lp : Link_to_Poly_Sys;
        !            13:   file : file_type;
        !            14:
        !            15: begin
        !            16:   new_line;
        !            17:   put_line("Test on extracting the vertices.");
        !            18:   new_line;
        !            19:   get(lp);
        !            20:   new_line;
        !            21:   put_line("Reading the name of the output file.");
        !            22:   Read_Name_and_Create_File(file);
        !            23:   Vertex_Points(file,lp.all);
        !            24: end ts_drivpts;