shift()

FreeModule * FreeModule::shift

(

const_monomial

d

)

const

Definition at line 178 of file freemod.cpp.

{
  auto D = R->degree_monoid();
  FreeModule *result = new_free();
  monomial deg = D->make_one();
 
  for (int i = 0; i < rank(); i++)
    {
      D->mult(degree(i), d, deg);
      result->append(deg);
    }
 
  if (schreyer != nullptr) result->schreyer = schreyer->copy();
 
  D->remove(deg);
  return result;
}

References degree(), FreeModule(), monomial, new_free(), R, rank(), result(), and schreyer.