Как использовать lhs и rhs для определения функции?

Question

В сеансе Maxima ниже, как получилось f (1) не 0?

(%i1) eq: 2 * x + 1 = 3; 
(%o1)        2 x + 1 = 3 
(%i2) f(x) := lhs(eq) - rhs(eq); 
(%o2)      f(x) := lhs(eq) - rhs(eq) 
(%i3) f(1); 
(%o3)        2 x - 2 

Answer 1

процесс вызывающей функции в максимумах здесь связывается й к 1 в определении функции , LHS (э) -rhs (э). В нем нет x, поэтому привязка ничего не делает. Далее lhs (eq) оценивается как 2 * x + 1. rhs (eq) оценивается до 3. и т. д.

Вы всегда хотите иметь одинаковое уравнение eq? возможно, вы хотите сделать

define (f (x), lhs (eq) -rhs (eq));

, чтобы проверить, что такое определение, попробуйте grind (f);

Если вы хотите изменить уравнение, может быть что-то вроде

г (VAL, э): = Подст (значение х, LHS (э) -rhs (э)); сделаю.