 There are efficient computer algorithms for computing (complete) factorizations within the ring of polynomials with rational number coefficients (see factorization of polynomials).A commutative ring possessing the unique factorization property is called a unique factorization domain.There are number systems, such as certain rings of algebraic integers, which are not unique factorization domains.