Return to tableau_formats.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Main/tableau_formats.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      3:
                      4: package Tableau_Formats is
                      5:
                      6: -- DESCRIPTION :
                      7: --   Conversion between tableau and symbolic formats of polynomial systems.
                      8: --
                      9: -- SYMBOLIC FORMAT :
                     10: --
                     11: --   2
                     12: --    x*y**2 - x**2 + 3;
                     13: --    x + 2;
                     14: --
                     15: -- TABLEAU FORMAT :
                     16: --
                     17: --   2
                     18: --    x y
                     19: --   3
                     20: --    1 2
                     21: --    2 0
                     22: --    0 0
                     23: --   3
                     24: --    1 0
                     25: --    0 0
                     26: --    1.0 0.0
                     27: --   -1.0 0.0
                     28: --    3.0 0.0
                     29: --    1.0 0.0
                     30: --    2.0 0.0
                     31:
                     32:   procedure get ( file : in file_type; realcoeff : in boolean;
                     33:                   p : out Link_to_Poly_Sys );
                     34:
                     35:   -- DESCRIPTION :
                     36:   --   Reads a polynomial system in tableau format from file.
                     37:   --   If realcoeff, then the imaginary part must be omitted.
                     38:
                     39:   procedure put ( file : in file_type; realcoeff : in boolean;
                     40:                   p : in Poly_Sys );
                     41:
                     42:   -- DESCRIPTION :
                     43:   --   Writes a polynomial system in tableau format on file.
                     44:   --   If realcoeff, then the imaginary part is not written.
                     45:
                     46: end Tableau_Formats;