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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>