algebraic compiler{=ALCOM}