rearrangeBasis()

void rearrangeBasis	(	IntermediateBasis &	F,
		int	nextIndex )

Definition at line 379 of file franzi-gb.cpp.

{
  for (IntermediateBasis::iterator j = F.begin(); j != F.end(); ++j)
    {
      if (j->first != nextIndex)
        {
          for (IntermediateBasis::iterator i = F.begin(); i->first < j->first;
               ++i)
            {
              // if ( funccompGRL(i->second.LT(), j->second.LT() )) {
              if (i->second.LT() > j->second.LT())
                {
                  BRP tmp = i->second;
                  i->second = j->second;
                  j->second = tmp;
                }
            }
        }
    }
}

Referenced by gb().