[김찬민]

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2255

신기정님께 감사드립니다.
꾸벅


메모장에 복붙하고 mathenatica로 치환하시면 되구요, divided by zero exception은 처리를 안 하게 되는 것이 우리 과제 스펙에 맞다고 합니다.

[김태훈]

감사합니다 ㅎㅎ

보답하기 위해서 작년 프원 게시판에서 4번 테스트셋을 가져와 봤습니다 ㅎㅎ

# let ae1=Sum[Times[Var"a";Power("x",2)];Times[Var"b";Var"x"];Var"c"];;
val ae1 : ae =
Sum [Times [Var "a"; Power ("x", 2)]; Times [Var "b"; Var "x"]; Var "c"]

# diff (ae1, "x") ;;
- : ae = Sum [Times [Var "a"; Const 2; Power ("x", 1)]; Var "b"]

# diff (ae1, "a") ;;
- : ae = Times [Power ("x", 2)]

# diff (ae1, "b") ;;
- : ae = Times [Var "x"]

# diff (ae1, "c") ;;
- : ae = Const 1

# diff (ae1, "y") ;;
- : ae = Const 0

# let ae2=Sum[Times[Power("x", 3);Power("y",2)];Times[Const 5;Power("x",2);Power("y",4)];Times[Const 2;Power("x",3);Power("y",3);Power("z",3)];Times[Var "x";Power("y",5);Power("z",2)]];;
val ae2 : ae =
　Sum
　　[Times [Power ("x", 3); Power ("y", 2)];
　　Times [Const 5; Power ("x", 2); Power ("y", 4)];
　　Times [Const 2; Power ("x", 3); Power ("y", 3); Power ("z", 3)];
　　Times [Var "x"; Power ("y", 5); Power ("z", 2)]]

# diff (ae2, "x") ;;
- : ae =
Sum
　[Times [Const 3; Power ("x", 2); Power ("y", 2)];
　Times [Const 5; Const 2; Power ("x", 1); Power ("y", 4)];
　Times [Const 2; Const 3; Power ("x", 2); Power ("y", 3); Power ("z", 3)];
　Times [Power ("y", 5); Power ("z", 2)]]

# diff (ae2, "y") ;;
- : ae =
Sum
[Times [Power ("x", 3); Const 2; Power ("y", 1)];
Times [Const 5; Power ("x", 2); Const 4; Power ("y", 3)];
Times [Const 2; Power ("x", 3); Const 3; Power ("y", 2); Power ("z", 3)];
Times [Var "x"; Const 5; Power ("y", 4); Power ("z", 2)]]

# diff (ae2, "z") ;;
- : ae =
Sum
[Times [Const 2; Power ("x", 3); Power ("y", 3); Const 3; Power ("z", 2)];
Times [Var "x"; Power ("y", 5); Const 2; Power ("z", 1)]]

# diff (ae2, "2") ;;
- : ae = Const 0

# let ae3=Sum[Times[Var "x";Var "y"];Times[Var "y";Var "z"];Times[Var "z";Var "x"]];;
val ae3 : ae =
Sum
[Times [Var "x"; Var "y"]; Times [Var "y"; Var "z"];
Times [Var "z"; Var "x"]]

# diff (ae3, "x") ;;
- : ae = Sum [Times [Var "y"]; Var "z"]

# diff (ae3, "y") ;;
- : ae = Sum [Var "x"; Times [Var "z"]]

# diff (ae3, "z") ;;
- : ae = Sum [Var "y"; Times [Var "x"]]

# diff (ae3, "w") ;;
- : ae = Const 0

# let ae4=Times[Sum[Times[Const 2;Power("x",2)];Var "x";Var "y"];Sum[Times[Const 5;Power("x",2);Var "y"];Power("y",2)]];;
val ae4 : ae =
Times
[Sum [Times [Const 2; Power ("x", 2)]; Var "x"; Var "y"];
Sum [Times [Const 5; Power ("x", 2); Var "y"]; Power ("y", 2)]]

# diff (ae4, "x") ;;
- : ae =
Sum
[Times
[Sum [Times [Const 2; Power ("x", 2)]; Var "x"; Var "y"]; Const 5;
Const 2; Power ("x", 1); Var "y"];
Times
[Sum [Times [Const 2; Const 2; Power ("x", 1)]; Const 1];
Sum [Times [Const 5; Power ("x", 2); Var "y"]; Power ("y", 2)]]]

# diff (ae4, "y") ;;
- : ae =
Sum
[Times
[Sum [Times [Const 2; Power ("x", 2)]; Var "x"; Var "y"];
Sum [Times [Const 5; Power ("x", 2)]; Times [Const 2; Power ("y", 1)]]];
Times [Sum [Times [Const 5; Power ("x", 2); Var "y"]; Power ("y", 2)]]]

[알렉산더]

감사합니다.

그런데 함수 diff에 인자를 줄 때
이렇게:

[김현우]

diff의 타입은

[알렉산더]

아, 네...
제가 헷갈렸습니다.

만약에 인자가 2개였으면

[이영준]

혹시 6-5 테스트셋의 마지막문제

[김현우]

음 전 작년 게시판의 결과대로 나왔어용

[이영준]

아오.ㅠㅠ 제가 틀렸었네요. 수정했습니다. 감사합니다~