Algorithmic Number Theory Bach