direct_sum_to()

void FreeModule::direct_sum_to

(

const FreeModule *

G

)

Definition at line 263 of file freemod.cpp.

{
  for (int i = 0; i < G->rank(); i++) append(G->degree(i));
 
  //  if (schreyer != NULL && G->schreyer != NULL)
  //    schreyer->append_order(G->schreyer);
}

References append(), FreeModule(), and G.