Return to babldmvc.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/babldmvc.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 Timing_Package;                     use Timing_Package;
        !             4: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             5: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             6: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
        !             7: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
        !             8: with Standard_Complex_Solutions_io;      use Standard_Complex_Solutions_io;
        !             9: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
        !            10: with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;
        !            11: with Black_Mixed_Volume_Computations;    use Black_Mixed_Volume_Computations;
        !            12:
        !            13: procedure babldmvc ( infilename,outfilename : in string ) is
        !            14:
        !            15:   infile,outfile : file_type;
        !            16:   lp : Link_to_Poly_Sys;
        !            17:
        !            18:   procedure Read_System ( file : in out file_type; filename : in string ) is
        !            19:   begin
        !            20:     if filename /= ""
        !            21:      then Open_Input_File(file,filename);
        !            22:           get(file,lp);
        !            23:     end if;
        !            24:   exception
        !            25:     when others => put_line("Something is wrong with argument file...");
        !            26:                    lp := null; return;
        !            27:   end Read_System;
        !            28:
        !            29:   procedure Main ( file : in file_type; p : in out Poly_Sys ) is
        !            30:
        !            31:     timer : Timing_Widget;
        !            32:     q : Poly_Sys(p'range);
        !            33:     qsols : Solution_List;
        !            34:     mix : Link_to_Vector;
        !            35:     lifsup : Link_to_Array_of_Lists;
        !            36:     mixsub : Mixed_Subdivision;
        !            37:     mv : natural;
        !            38:
        !            39:   begin
        !            40:     tstart(timer);
        !            41:     Black_Box_Mixed_Volume_Computation(p,mix,lifsup,mixsub,mv);
        !            42:     tstop(timer);
        !            43:     new_line(outfile);
        !            44:     put(outfile,"mixed volume : "); put(outfile,mv,1); new_line(outfile);
        !            45:     new_line(outfile);
        !            46:     print_times(outfile,timer,"Mixed-Volume Computation");
        !            47:     if mv > 0
        !            48:      then tstart(timer);
        !            49:           Black_Box_Polyhedral_Continuation
        !            50:             (p,mix.all,lifsup.all,mixsub,q,qsols);
        !            51:           tstop(timer);
        !            52:           new_line(outfile);
        !            53:           put_line(outfile,"RANDOM COEFFICIENT START SYSTEM :");
        !            54:           new_line(outfile);
        !            55:           put_line(outfile,q);
        !            56:           new_line(outfile);
        !            57:           put_line(outfile,"START SOLUTIONS :");
        !            58:           new_line(outfile);
        !            59:           put(outfile,Length_Of(qsols),Head_Of(qsols).n,qsols);
        !            60:           new_line(outfile);
        !            61:           print_times(outfile,timer,"Polyhedral Continuation");
        !            62:     end if;
        !            63:   end Main;
        !            64:
        !            65: begin
        !            66:   Read_System(infile,infilename);
        !            67:   if lp = null
        !            68:    then new_line;
        !            69:         get(lp);
        !            70:   end if;
        !            71:   Close(infile);
        !            72:   Create_Output_File(outfile,outfilename);
        !            73:   put(outfile,lp.all);
        !            74:   Main(outfile,lp.all);
        !            75:   Close(outfile);
        !            76: end babldmvc;