Update a1/Algebra.h