create() [2/2]

GBComputation * GBDeclared::create ( const Matrix * m, const Matrix * gb, const Matrix * change, const Matrix * syz )

static

Definition at line 90 of file comp-gb-declared.cpp.

{
  // Check:
  //   the rings are all the same, and all are not NULL.
  //   m->rows(), gb->rows() are the same
  //   change->rows(), syz->rows() are the same.
  assert(m != 0 && gb != 0 && change != 0 && syz != 0);
  const Ring *R = gb->get_ring();
  if (R != m->get_ring() || R != change->get_ring() || R != syz->get_ring())
    {
      ERROR("expected the same ring");
      return nullptr;
    }
 
  const PolynomialRing *P = R->cast_to_PolynomialRing();
  if (P == nullptr)
    {
      ERROR("declaring a GB requires a polynomial ring");
      return nullptr;
    }
  // Then: create and return the object
  return new GBDeclared(m, gb, change, syz);
}

References Ring::cast_to_PolynomialRing(), ERROR, gb(), GBComputation::GBComputation(), GBDeclared(), Matrix::get_ring(), Matrix, and syz.

Referenced by IM2_GB_force(), rawMarkedGB(), and GBWalker::start_computation().