Sistema para álgebra discreta computacional
