int pivot(unsigned ro, bool symbolic=true);
private: // FIXME: these should be obsoleted
void ffe_swap(unsigned r1, unsigned c1, unsigned r2 ,unsigned c2);
int pivot(unsigned ro, bool symbolic=true);
private: // FIXME: these should be obsoleted
void ffe_swap(unsigned r1, unsigned c1, unsigned r2 ,unsigned c2);