Discriminant[poly, var] computes the discriminant of the polynomial poly with respect to the variable var.Discriminant[poly, var, Modulus -> p] computes the discriminant ...

RSolve[eqn, a[n], n] solves a recurrence equation for a[n]. RSolve[{eqn_1, eqn_2, ...}, {a_1[n], a_2[n], ...}, n] solves a system of recurrence equations. RSolve[eqn, a[n_1, ...

The built-in function Reduce provides the functionality previously found in Algebra`InequalitySolve`.

All the functionality in Algebra`Quaternions` is available in the newly created Quaternions Package.

The functionality of Algebra`FiniteFields` is now available in the newly created Finite Fields Package.

New function HornerForm has been added to the built-in Mathematica kernel.

New function PolynomialExtendedGCD has been added to the built-in Mathematica kernel.

The functionality of PolynomialPowerMod is now available in the kernel function PolynomialRemainder. Modulus is now an option to the kernel functions PolynomialQuotient and ...

New functions SymmetricPolynomial and SymmetricReduction have been added to the built-in Mathematica kernel.