Return to power_lists.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/power_lists.ads, Revision 1.1

1.1     ! maekawa     1: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
        !             2: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
        !             3: with Standard_Complex_Polynomials;       use Standard_Complex_Polynomials;
        !             4: with Standard_Complex_Laur_Polys;        use Standard_Complex_Laur_Polys;
        !             5: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             6: with Standard_Complex_Laur_Systems;      use Standard_Complex_Laur_Systems;
        !             7:
        !             8: package Power_Lists is
        !             9:
        !            10: -- DESCRIPTION :
        !            11: --   This package provides routines to manipulate the supports of polynomials.
        !            12:
        !            13:   function Create ( p : Standard_Complex_Polynomials.Poly ) return List;
        !            14:   function Create ( p : Standard_Complex_Laur_Polys.Poly ) return List;
        !            15:
        !            16:   -- DESCRIPTION : Returns the support of p.
        !            17:
        !            18:   function Select_Terms ( p : Standard_Complex_Polynomials.Poly; l : List )
        !            19:                         return Standard_Complex_Polynomials.Poly;
        !            20:   function Select_Terms ( p : Standard_Complex_Laur_Polys.Poly; l : List )
        !            21:                         return Standard_Complex_Laur_Polys.Poly;
        !            22:   -- DESCRIPTION :
        !            23:   --   Returns those terms in p whose vector of powers occurs in the list l.
        !            24:
        !            25:   function Create ( p : Poly_Sys ) return Array_of_Lists;
        !            26:   function Create ( p : Laur_Sys ) return Array_of_Lists;
        !            27:
        !            28:   -- DESCRIPTION :
        !            29:   --   Returns the supports of the polynomial system.
        !            30:
        !            31:   function Select_Terms ( p : Poly_Sys; al : Array_of_Lists ) return Poly_Sys;
        !            32:   function Select_Terms ( p : Laur_Sys; al : Array_of_Lists ) return Laur_Sys;
        !            33:
        !            34:   -- DESCRIPTION :
        !            35:   --   Returns those terms in each polynomial p(i) whose vector of powers
        !            36:   --   occurs in the list al(i), for i in p'range = al'range.
        !            37:
        !            38: end Power_Lists;