Aspects of algorithmic algebra door