Esempio n. 1
0
const Matrix /* or null */ *rawGBMinimalGenerators(Computation *C)
  /* Yields a matrix whose columns form a minimal generating set
     for the ideal or submodule, as computed so far.  In the
     inhomogeneous case, this yields a generating set which is
     sometimes smaller than the entire Groebner basis. */
{
     try {
          clear_emit_size();
          GBComputation *G = C->cast_to_GBComputation();
          if (G != 0)
            return G->get_mingens();
          ERROR("computation type unknown or not implemented");
          return 0;
     }
     catch (exc::engine_error e) {
          ERROR(e.what());
          return NULL;
     }
}
Esempio n. 2
0
 virtual const Matrix /* or null */ *get_mingens() { return G->get_mingens(); }