Convex - summary of changes

1.0 (2004-03-01)
===
first "official" release

1.0.1 (2004-04-05)
=====
CFACE[preimage]
bugfix: only accepted type 'mat' as second argument

FAN[isquasipolytopal]
bugfix: didn't test whether there were any strictly convex support functions
at all (reported by Marcel Widmann)

PCOMPLEX[hplanes]
bugfix: signs were on the wrong side

1.0.2 (2004-04-09)
=====
POLYHEDRON[faces], PFACE[succ]
bugfix: needed POLYHEDRON[edges], which was removed in 1.0 (reported
by Thorsten Theobald). Now defined CONE[_edges] = POLYHEDRON[_edges] in
cone_polyhedron.mt with synomym CONE[edges] in cone.mt, and changed
all references of POLYHEDRON[edges] to POLYHEDRON[_edges]

1.1.0 (2004-08-06)
=====
types FAN, PCOMPLEX
removed FAN_OP_hplanes and FAN_OP_rays
This information is not stored any more. As a consequence FAN and PCOMPLEX,
are now displayed differently

FAN[&x]
generalised to PCOMPLEX and moved to fan_pcomplex.mt

CFACE[&x]
changed slightly

PFACE[&x]
new

FANCONE[&x]
generalised to CELL and moved to fancone_cell.mt

FANCONE[domain], CELL[domain]
added userinfo

FANCONE[maximum]
generalised to CELL and moved to fancone_cell.mt

MODZ[&=]
new

CONE[faces], POLYHEDRON[faces]
do not compute both edges and facets if they are the same

POLYHEDRON[corners]
new (public name of POLYHEDRON[_edges])

POLYHEDRON[boundary]
bugfix: wasn't correct for affine subspaces

CONE[SHIFT], POLYHEDRON[SHIFT]
new

CONE[ambientdim], POLYHEDRON[ambientdim]
uses CONE[SHIFT]

CONE[faces], POLYHEDRON[faces]
returns Array, does not use shiftarray any more

FAN[maximal], PCOMPLEX[maximal]
shiftarray replaced

shiftarray
removed

FAN[_fan], PCOMPLEX[_fan]
changed to FAN[_create], PCOMPLEX[_create]

CONE[boundary], POLYHEDRON[boundary]
bugfix: kept domain information for maximal cones (= facets)
(adapted from pre1.0.3)

contains_line
bugfix: Lines(C) wasn't called (missing line)

CELL[`convert/CONE`], CELL[domain],
CONE[arecompatible], CONE[faces],
CONVEX[crosspolytope], CONVEX[writepoly],
FAN[`&<=`], FAN[_create], FAN[_purefan], FAN[genhpolynomial], FAN[homology], FAN[skeleton],
FANCONE[domain], FANCONE[transversalfan],
contains_line, `convex/lindiosolve`, `convex/hilbertbasis`
removed unused or unnecessary variables

convex(_InitFile), CONVEX[writepoly]
changed VERSION and YEAR to preprocessor macros, changed string concatenation

CONVEX[fan]
make return value F explicit

PFACE[vertexnos], PFACE[raynos], PFACE[hspacenos]
new

(everywhere)
introduced phantom code of the form
$ifdef MINT
  code
$endif
to satisfy mint

FAN[_print], PCOMPLEX[_print]
test for true arrays, which occur if the functions are called from
the global method handler in case of errors

line, ray
defined as functions that do argument checking and then return unevaluated
as "line(v)" or "ray(v)" with v::list(integer). The direction of v is never
changed.

CONE[linearhull]
accepts arguments of type ray

FAN['_purefan']
removed

CONVEX[newtonpolytope]
new

1.1.1 (2004-09-29)
=====

CONVEX[affinehull]
bugfix: CONE[linearhull] (non-existing) was called instead
of CONVEX[linearhull] (reported by Florian Berchtold)

1.1.2 (2006-10-24)
=====

macros.mt
removed ";" at the end of some macro definitions

cone.mt
changed all "RETURN(...)" to "return ..." (This makes convex.m smaller.)


CONE[hilbertbasis]
bugfix: result could be wrong (reported by Rene Birkner)

CONVEX['_selectbasis']
new function in basics.mt

1.1.3 (2009-03-07)
=====

modz.mt
replaced linalg[ismith] by LinearAlgebra[SmithForm]
ismith is deprecated, moreover SmithForm seems to be faster

POLYHEDRON[proximum]
preliminary bugfix: check result and give ERROR in case it is wrong

1.1.4 (2016-06-03)
=====

FAN[regularsubdiv]
bugfix: result could be incorrect for not full-dimensional fans
(reported by Simon Keicher)

type mat
bugfix: definition changed to be compatible with Maple 2015
(reported by Simon Keicher)

POLYHEDRON[proximum]
bugfix: now uses Wolfe's algorithm

1.2.0 (2016-06-07)
=====

fan_pcomplex.mt, coeffs.mt
moved parsemod and MODQ from fan_pcomplex.mt to new file coeffs.mt
added linear algebra over prime fields, denoted by "integer(p)"
MODQ[_linrank] now also accepts Array and array as arguments

POLYHEDRON[minkowskisum]
now uses Cayley trick (suggested by Simon Keicher)

POLYHEDRON[barycenter]
new function (suggested by Ferenc Wettl)

save package as Maple repository