[함지웅]

안녕하세요.

6-5에서 문제를 보면 type ae에는 POWER와 VAR이 있습니다.
그런데 단순히 생각하기에는 (VAR "y")가 결국은 y = y ^ 1임에 의해서
(POWER "y" 1)과 같은 의미를 가질 수도 있을 듯 합니다.
두 경우를 같은 경우로 인식하도록 코드를 짜야 하는 것인가요?
만약 다른 경우로 인식해야 한다면 (POWER "y" 1)과 (VAR "y")의 차이는 무엇인지,
만약 같은 경우로 인식해야 한다면 diff 함수가 ae 타입의 값을 리턴할 때 input이 두 형태 중 어떤 형태든지간에 한 형태로만 리턴하면 되는지 궁금합니다.

ex)

[김윤승]

실제 결과와 계산 결과가 수학적으로 같은 값이 나오면 됩니다.

pdf에서 설명한 대로, 미분 후에 복잡한 처리는 하지 않으셔도 됩니다.

즉, y와 y^1을 특별히 구분할 필요는 없고, 둘 중 반드시 한 형태만 나와야 되는 것도 아닙니다. 그냥 diff 함수가 수학적으로 제대로 된 식만 ae에 맞게 리턴해주면 됩니다.