changes, 1.5
-
major improvements and additions:
-
packages that have been published and certified:
-
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.
-
RandomObjects, RandomCanonicalCurves, RandomCurves, RandomGenus14Curves, RandomPlaneCurves, and RandomSpaceCurves, packages for the construction of random points of unirational moduli spaces, have 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:
-
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.