You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

MAxMA.mp 2.0KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475
  1. % Le input shadows donne l'acces
  2. % à la macro drawShadow(p);
  3. input pfa
  4. %vspace := 2vspace;
  5. %u:=6mm;
  6. %hspace := 2hspace;
  7. beginfig(1) ;
  8. z1 = origin;
  9. z2 = z1 shifted (2hspace,0);
  10. z3-z4 = z1-z2;
  11. z7-z8 = z5-z6 = 2(z3-z4) ;
  12. z3 = z1 shifted (0,-3vspace);
  13. x5-x1=x4-x6;
  14. y5-y3=y3 - y1;
  15. y7-y5=-3vspace;
  16. x7=x5;
  17. taille := 2hauteur(btex $A$ etex) ;
  18. drawCadreLabel(z1 shifted (-hspace, 0 ),z2 shifted (hspace,taille),btex $A$ etex);
  19. drawCadreLabel(z3 shifted (-hspace, 0 ),z4 shifted (hspace,taille),btex $B$ etex);
  20. drawCadreLabel(z7 shifted (-hspace, 0 ) ,z6 shifted (2.3hspace,taille),btex $A \times B$ etex);
  21. drawIFState(btex $(q_1)$ etex,
  22. btex $\iota(q_1)$ etex,
  23. btex $\tau(q_1)$ etex,
  24. z1) ;
  25. drawIFState(btex $(q_2)$ etex,
  26. btex $\iota(q_2)$ etex,
  27. btex $\tau(q_2)$ etex,
  28. z2) ;
  29. drawIFState(btex $(r_1)$ etex,
  30. btex $\iota(r_1)$ etex,
  31. btex $\tau(r_1)$ etex,
  32. z3) ;
  33. drawIFState(btex $(r_2)$ etex,
  34. btex $\iota(r_2)$ etex,
  35. btex $\tau(r_2)$ etex,
  36. z4) ;
  37. drawIFState(btex $(q_1,r_1)$ etex,
  38. btex $\iota(q_1)\iota(r_1)$ etex,
  39. btex $\tau(q_1)\tau(r_1)$ etex,
  40. z5) ;
  41. drawIFState(btex $(q_1,r_2)$ etex,
  42. btex $\iota(q_1)\iota(r_2)$ etex,
  43. btex $\tau(q_1)\tau(r_2)$ etex,
  44. z6) ;
  45. drawIFState(btex $(q_2,r_1)$ etex,
  46. btex $\iota(q_2)\iota(r_1)$ etex,
  47. btex $\tau(q_2)\tau(r_1)$ etex,
  48. z7) ;
  49. drawIFState(btex $(q_2,r_2)$ etex,
  50. btex $\iota(q_2)\iota(r_2)$ etex,
  51. btex $\tau(q_2)\tau(r_2)$ etex,
  52. z8) ;
  53. drawArc(z1,z2,30,btex $\varphi(q_1,a,q_2)$ etex);
  54. drawArc(z2,z2,30,btex $\varphi(q_2,a,q_2)$ etex);
  55. drawArc(z3,z4,30,btex $\varphi(r_1,a,r_2)$ etex);
  56. drawArc(z4,z4,30,btex $\varphi(r_2,a,r_2)$ etex);
  57. drawArc(z5,z8,-10,btex $\varphi(q_1,a,q_2)\varphi(r_1,a,r_2)$ etex);
  58. drawArc(z7,z8, 20,btex $\varphi(q_2,a,q_2)\varphi(r_1,a,r_2)$ etex);
  59. drawArc(z6,z8,-100,btex $\varphi(q_1,a,q_2)\varphi(r_2,a,r_2)$ etex);
  60. drawArc(z8,z8, 30,btex $\varphi(q_2,a,q_2)\varphi(r_2,a,r_2)$ etex);
  61. endfig ;
  62. end.