Return to convert_formats.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Main

Annotation of OpenXM_contrib/PHC/Ada/Main/convert_formats.adb, Revision 1.1.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 Tableau_Formats;
                      6:
                      7: procedure convert_formats is
                      8:
                      9: -- DESCRIPTION :
                     10: --   This program allows to convert between formats of polynomial systems.
                     11: --
                     12: -- SYMBOLIC FORMAT :
                     13: --
                     14: --   2
                     15: --    x*y**2 - x**2 + 3;
                     16: --    x + 2;
                     17: --
                     18: -- TABLEAU FORMAT :
                     19: --
                     20: --   2
                     21: --    x y
                     22: --   3
                     23: --    1 2
                     24: --    2 0
                     25: --    0 0
                     26: --  2
                     27: --    1 0
                     28: --    0 0
                     29: --    1.0 0.0
                     30: --   -1.0 0.0
                     31: --    3.0 0.0
                     32: --    1.0 0.0
                     33: --    2.0 0.0
                     34:
                     35:   procedure Tableau_to_Symbolic ( infile,outfile : in file_type;
                     36:                                   flt : in boolean ) is
                     37:
                     38:     lp : Link_to_Poly_Sys;
                     39:
                     40:   begin
                     41:     Tableau_Formats.get(infile,flt,lp);
                     42:     put(outfile,lp'last,lp.all);
                     43:   end Tableau_to_Symbolic;
                     44:
                     45:   procedure Symbolic_to_Tableau ( infile,outfile : in file_type;
                     46:                                   flt : in boolean ) is
                     47:
                     48:     lp : Link_to_Poly_Sys;
                     49:
                     50:   begin
                     51:     get(infile,lp);
                     52:     Tableau_Formats.put(outfile,flt,lp.all);
                     53:   end Symbolic_to_Tableau;
                     54:
                     55:   procedure Main is
                     56:
                     57:     infile,outfile : file_type;
                     58:     ans : character;
                     59:     flt,sym2tab : boolean;
                     60:     lp : Link_to_Poly_Sys;
                     61:
                     62:   begin
                     63:     new_line;
                     64:     put_line("Conversion between symbolic and tableau formats.");
                     65:     new_line;
                     66:     put_line("Choose one of the following : ");
                     67:     put_line("  1. Convert from symbolic to tableau format");
                     68:     put_line("  2. Convert from tableau to symbolic format");
                     69:     put("Type 1 or 2 to select : "); Ask_Alternative(ans,"12");
                     70:     sym2tab := (ans = '1');
                     71:     new_line;
                     72:     put_line("Reading the name of the input file.");
                     73:     Read_Name_and_Open_File(infile);
                     74:     new_line;
                     75:     put_line("Reading the name of the output file.");
                     76:     Read_Name_and_Create_File(outfile);
                     77:     new_line;
                     78:     put("Are the coefficients real or complex ? (r/c) ");
                     79:     Ask_Alternative(ans,"rc");
                     80:     flt := (ans = 'r');
                     81:     if sym2tab
                     82:      then Symbolic_to_Tableau(infile,outfile,flt);
                     83:      else Tableau_to_Symbolic(infile,outfile,flt);
                     84:     end if;
                     85:   end Main;
                     86:
                     87: begin
                     88:   Main;
                     89: end convert_formats;