Update AlgebraicThomas package.