이태영
가입: 2011년 9월 19일 올린 글: 34
|
올려짐: 2011년12월10일 12:19 주제: rotate에 대한 질문글이 많은데 이것도 좀 여쭤볼게요..ㅠㅠ |
|
|
1. GLUED of box * box * box * box 라는 타입에서, box가 순서대로 무조건 NW, NE, SE, SW 자리를 뜻하나요?
2. 만약 그렇다면 Rotate functor에서
코드: |
GLUED (BOX (NW, a), BOX (NE, b), BOX (SE, c), BOX (SW, d))
|
를 Rotate에 넣으면, 생성되는 module 의 box는
코드: |
GLUED (BOX (NE, a), BOX (SE, b), BOX (SW, c), BOX (NW, d))
|
인가요 아니면
코드: |
GLUED (BOX (NW, d), BOX (NE, a), BOX (SE, b), BOX (SW, c))
|
인가요..? |
|