fixed Maxima's '-' with the correct code