(p0, p1, p2, p3)
| 82 | |
| 83 | |
| 84 | def ext_arrow(p0, p1, p2, p3): |
| 85 | p0, p1 = np.asarray(p0), np.asarray(p1) |
| 86 | p2, p3 = np.asarray(p2), np.asarray(p3) |
| 87 | ax.arrow(*p0, *(p1-p0), zorder=20, linewidth=0, |
| 88 | length_includes_head=True, width=.4, |
| 89 | head_width=2, head_length=2, color="black") |
| 90 | ax.arrow(*p3, *(p2-p3), zorder=20, linewidth=0, |
| 91 | length_includes_head=True, width=.4, |
| 92 | head_width=2, head_length=2, color="black") |
| 93 | plt.plot([p1[0], p2[0]], [p1[1], p2[1]], linewidth=.5, color="black") |
| 94 | |
| 95 | |
| 96 | def int_arrow(p0, p1): |