Definition at line 241 of file gbring.cpp.
References GBRing, GBRing::is_solvable, and GBRing::solvable.