chg: farey description
renamed in ring.lib: hasRingCoeffcientRing -> hasFieldCoeffcient