Return to standard_complex_poly_ring.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/standard_complex_poly_ring.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Complex_Polynomials;       use Standard_Complex_Polynomials;
                      2: with Abstract_Ring;
                      3:
                      4: package Standard_Complex_Poly_Ring is
                      5:   new Abstract_Ring(Poly,Null_Poly,One_Poly,
                      6:                     Create,Equal,Copy,"+","+","-","-","*",
                      7:                     Add,Sub,Min,Mul,Clear);
                      8:
                      9: -- DESCRIPTION :
                     10: --   Defines the ring of polynomials in several variables with as
                     11: --   coefficients the standard complex numbers.