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