Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/standard_complex_poly_ring.ads, Revision 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.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>