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

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;