Oracle-supported drawing of the Groebner {\em escalier}

Maria Emilia Alonso, Maria Grazia Marinari, Teo Mora

The aim of this note is to discuss the following quite queer Problem: \noindent GIVEN \noindent i) the free non-commutative polynomial ring, ${\Cal P} := {\Bbb F}\langle X_1,\ldots…