CoCoA » CoCoA-5

Added NmzHilbertBasisKer. In BuiltInFunctions-Normaliz.C

  matrix NmzHilbertBasisKer_forC5(ConstMatrixView M)
  {
    return NewDenseMat(RingOf(M), Normaliz::HilbertBasis(Normaliz::cone(libnormaliz::Type::equations, M)));
  }

Internally, in CoCoALib, the input/output interface with Normaliz is through matrices, and this was chosen because it is mathematically meaningful (all vectors over the same RING, and of the same length)
And so is the interface with CoCoA-5.

This in in contrast with CoCoA's HilbertBasisKer, returning LIST of LIST of INT. Clarify this in documentation and check how to make them comparable/compatible (if it's worth the effort).

Compare also with LinKer which returns MAT and LinKerBasis, returning LIST LIST RINGELEM.