highest_primary_degree()

int FreeModule::highest_primary_degree

(

)

const

Definition at line 459 of file freemod.cpp.

{
  if (rank() == 0) return 0;
  int result = primary_degree(0);
  for (int i = 1; i < rank(); i++)
    {
      int a = primary_degree(i);
      if (a > result) result = a;
    }
  return result;
}

References primary_degree(), rank(), and result().