Return to ts_dyntri.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/ts_dyntri.adb, Revision 1.1

1.1     ! maekawa     1: with text_io,integer_io;                 use text_io,integer_io;
        !             2: with Communications_with_User;           use Communications_with_User;
        !             3: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
        !             4: with Lists_of_Integer_Vectors_io;        use Lists_of_Integer_Vectors_io;
        !             5: with Triangulations,Triangulations_io;   use Triangulations,Triangulations_io;
        !             6: with Dynamic_Triangulations;             use Dynamic_Triangulations;
        !             7:
        !             8: procedure ts_dyntri is
        !             9:
        !            10: -- DESCRIPTION :
        !            11: --   Test the creation of a regular triangulation by dynamic lifting.
        !            12:
        !            13:   file : file_type;
        !            14:   n,d,vol : natural;
        !            15:   l,lifted,lifted_last : List;
        !            16:   t : Triangulation;
        !            17:
        !            18: begin
        !            19:   new_line;
        !            20:   put_line("Testing the creation of a regular triangulation");
        !            21:   new_line;
        !            22:   put_line("Reading the name of the output file.");
        !            23:   Read_Name_and_Create_File(file);
        !            24:   put("Give d, the dimension : "); get(d);
        !            25:   put("Give n, the number of points : "); get(n);
        !            26:   put("Give "); put(n,1); put(" vectors of length "); put(d,1);
        !            27:   put_line(" :");
        !            28:   get(d,n,l);
        !            29:   put(file,"n = "); put(file,n,1);
        !            30:   put(file,"  d = "); put(file,d,1); new_line(file);
        !            31:   put_line(file,"The points : "); put(file,l);
        !            32:   Dynamic_Lifting(l,true,false,0,lifted,lifted_last,t);
        !            33:   put_line(file,"The lifted points : "); put(file,lifted);
        !            34:   put_line(file,"The triangulation : "); put(file,d,t,vol);
        !            35:   put(file,"The volume : "); put(file,vol,1); new_line(file);
        !            36: end ts_dyntri;