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     ! 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;