Nauty, a package for an interface to the program nauty, which provides efficient methods for determining whether graphs are isomorphic, generating all graphs with particular properties, generating random graphs, and more, has been published.
NumericalAlgebraicGeometry, a package for using polynomial homotopy continuation to solve systems of polynomial equations and describing positive-dimensional complex algebraic varieties, has been published.
Binomials, a package for binomial ideals with a particular focus on intersection decompositions and associated primes, has been published.
new packages:
BIBasis, a package for constructing reduced Pommaret and Gröbner bases in a Boolean ring, has been added.
CharacteristicClasses, a package for degrees of Chern classes and other characteristic classes of projective schemes, has been added.
KustinMiller, a package for unprojection and the Kustin-Miller complex construction, has been added.
MonomialAlgebras, a package for decomposing a monomial algebra as a module over a subalgebra, has been added.
MultiplierIdeals, a package for computing multiplier ideals of monomial ideals, has been added (originally called MonomialMultiplierIdeals).
NautyGraphs, a package for an interface to nauty (Graphs fork), has been added.
QthPower, a package for computing the integral closure of type I affine domains, has been added.
The new functions limitFiles and limitProcesses can be used to impose resource limits on the current process.
functionality changed:
Now F = GF p will return a ring of type GaloisField when p is prime, instead of returning the quotient ring ZZ/p. In particular, the generator F_0 will be a generator of the multiplicative group.