AS Pure: Algebraic Methods