MutableComplex() [2/2]

MutableComplex::MutableComplex ( VECTOR(MutableMatrix *) & D )

inline

Definition at line 73 of file mutablecomplex.hpp.

      : mRing(D[0]->get_ring()),
        mLocalRing(mRing->cast_to_LocalRing()),
        mPolynomialRing(mLocalRing == nullptr ? mRing->cast_to_PolynomialRing()
                                        : mLocalRing->get_ring()),
        mDifferential(D)
  {
#if 0
    if (mLocalRing != 0)
      std::cout << "Got a mutable complex over a local ring." << std::endl;
    if (mPolynomialRing == 0)
      std::cout << "Not a polynomial ring or local ring." << std::endl;
#endif
    for (size_t i = 0; i < D.size(); ++i) mBetti.push_back(D[i]->n_rows());
    mBetti.push_back(D[D.size() - 1]->n_cols());
    // TODO: Check to make sure mBetti's are compatible, or define isWellDefined
  }

References mBetti, mLocalRing, mPolynomialRing, mRing, and MutableMatrix::n_cols().