Computational-Algebra Material for the computational algebra lecture of 19/05/22 at the University of Trento