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.
MonomialMultiplierIdeals, a package for computing multiplier ideals of monomial ideals, has been added.
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.
TensorComplexes, a package for multilinear algebra for the construction of tensor complexes, has been added.
Units, a package for conversion of units of measure, has been added.
VersalDeformations, a package for calculating versal deformations and local Hilbert schemes, has been added.
functionality added or improved:
The function temporaryFileName now produces file names with no chance of collision, and deletes the files upon normal termination of the program.
The function newPackage now has two new options, PackageExports and PackageImports, which provide a more robust way to specify that other packages should be loaded when this new package is loaded.
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.