fix basering change in algebra::is_injective