algebra-0.9.0.1: Constructive abstract algebra