diff --git a/callgfanlib/bbcone.cc b/callgfanlib/bbcone.cc index 74d8166ac2..f041d3b7f5 100644 --- a/callgfanlib/bbcone.cc +++ b/callgfanlib/bbcone.cc @@ -103,8 +103,10 @@ gfan::ZVector* bigintmatToZVector(const bigintmat &bim) char* toString(gfan::ZMatrix const &zm) { - bigintmat bim = zMatrixToBigintmat(zm); - return bim.String(); + bigintmat* bim = zMatrixToBigintmat(zm); + char* s = bim->String(); + delete bim; + return s; } std::string toString(const gfan::ZCone* const c) @@ -114,9 +116,15 @@ std::string toString(const gfan::ZCone* const c) gfan::ZMatrix e=c->getEquations(); s<<"AMBIENT_DIM"<ambientDimension()<areFacetsKnown()) + s<<"FACETS"<areImpliedEquationsKnown()) + s<<"LINEAR_SPAN"<