FreeModule()

FreeModule::FreeModule ( const Ring * R, int n, bool has_schreyer_order )

private

Definition at line 32 of file freemod.cpp.

{
  initialize(RR);
 
  auto D = R->degree_monoid();
  monomial deg = D->make_one();
  for (int i = 0; i < n; i++) append(deg);
  D->remove(deg);
 
  if (has_schreyer_order)
    {
      const PolynomialRing *P = R->cast_to_PolynomialRing();
      assert(P != 0);
      assert(n == 0);
      schreyer = SchreyerOrder::create(P->getMonoid());
    }
  else
    schreyer = nullptr;
}

References append(), SchreyerOrder::create(), PolynomialRing::getMonoid(), initialize(), monomial, R, Ring, and schreyer.

Referenced by direct_sum(), direct_sum_to(), exterior(), get_induced_order(), is_equal(), make_schreyer(), make_schreyer(), new_free(), schur(), shift(), sub_space(), sub_space(), symm(), tensor(), and transpose().