Return to generic_polynomial_systems.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/generic_polynomial_systems.ads, Revision 1.1

1.1     ! maekawa     1: with Abstract_Ring;
        !             2: with Generic_Polynomials;
        !             3:
        !             4: generic
        !             5:
        !             6:   with package Ring is new Abstract_Ring(<>);
        !             7:   with package Polynomials is new Generic_Polynomials(Ring);
        !             8:
        !             9: package Generic_Polynomial_Systems is
        !            10:
        !            11: -- DESCRIPTION :
        !            12: --   This package provides polynomial systems as an array of polynomials
        !            13: --   with some arithmetic operations.
        !            14:
        !            15:   use Ring,Polynomials;
        !            16:
        !            17: -- DATA STRUCTURES :
        !            18:
        !            19:   type Poly_Sys is array ( integer range <> ) of Poly;
        !            20:   type Link_to_Poly_Sys is access Poly_Sys;
        !            21:
        !            22: -- COPYING :
        !            23:
        !            24:   procedure Copy ( p : in Poly_Sys; q : in out Poly_Sys );
        !            25:
        !            26: -- ARITHMETIC OPERATIONS :
        !            27:
        !            28:   function "+" ( p,q : Poly_Sys ) return Poly_Sys;            -- return p+q
        !            29:   function "-" ( p,q : Poly_Sys ) return Poly_Sys;            -- return p-q
        !            30:   function "-" ( p : Poly_Sys ) return Poly_Sys;              -- return -p
        !            31:   function "*" ( a : number; p : Poly_Sys ) return Poly_Sys;  -- return a*p
        !            32:   function "*" ( p : Poly_Sys; a : number) return Poly_Sys;   -- return p*a
        !            33:
        !            34:   procedure Add ( p : in out Poly_Sys; q : in Poly_Sys );     -- p := p+q
        !            35:   procedure Sub ( p : in out Poly_Sys; q : in Poly_Sys );     -- p := p-q
        !            36:   procedure Min ( p : in out Poly_Sys );                      -- p := -p
        !            37:   procedure Mul ( p : in out Poly_Sys; a : in number );       -- p := a*p
        !            38:
        !            39: -- DIFFERENTIATORS :
        !            40:
        !            41:   function  Diff ( p : Poly_Sys; i : natural ) return Poly_Sys;
        !            42:   procedure Diff ( p : in out Poly_Sys; i : in natural );
        !            43:
        !            44: -- DESTRUCTORS :
        !            45:
        !            46:   procedure Clear ( p : in out Poly_Sys );
        !            47:   procedure Clear ( p : in out Link_to_Poly_Sys );
        !            48:
        !            49: end Generic_Polynomial_Systems;