lowest_primary_degree()

int FreeModule::lowest_primary_degree

(

)

const

Definition at line 447 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().

Referenced by gb_emitter::gb_emitter(), and gbres_comp::setup().