We give an algorithm for constructing a basis and a multiplication table of a finite-dimensional finitely-presented Lie ring. We apply this to construct the biggest t generator Lie rings that satisfy the n-Engel condition, for (t, n) = (t, 2), (2, 3), (3, 3), (2, 4).