Describir: General theory of algebraic equations