direct_sum()

FreeModule * FreeModule::direct_sum

(

const FreeModule *

G

)

const

Definition at line 244 of file freemod.cpp.

{
  int i;
  if (R != G->get_ring())
    {
      ERROR("expected free modules over the same ring");
      return nullptr;
    }
  FreeModule *result = new_free();
  for (i = 0; i < rank(); i++) result->append(degree(i));
  for (i = 0; i < G->rank(); i++) result->append(G->degree(i));
 
  //  if (schreyer != NULL && G->schreyer != NULL)
  //    result->schreyer = schreyer->direct_sum(G->schreyer);
 
  return result;
}

References degree(), ERROR, FreeModule(), G, new_free(), R, rank(), and result().

Referenced by IM2_FreeModule_sum().