Describir: Invariant algebras and geometric reasoning