Add ipe and svg figures

This commit is contained in:
Andreas Fabri 2024-12-10 13:15:36 +00:00
parent b050344fe3
commit 0f06b0aa43
2 changed files with 3 additions and 160 deletions

View File

@ -1,7 +1,7 @@
<?xml version="1.0"?>
<!DOCTYPE ipe SYSTEM "ipe.dtd">
<ipe version="70218" creator="Ipe 7.2.29">
<info created="D:20241210110915" modified="D:20241210130554"/>
<info created="D:20241210110915" modified="D:20241210134851"/>
<ipestyle name="basic">
<symbol name="arrow/arc(spx)">
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
@ -313,19 +313,7 @@ h
<page>
<layer name="alpha"/>
<view layers="alpha" active="alpha"/>
<path layer="alpha" matrix="1 0 0 1 384 0" stroke="black" fill="lightgreen">
64 528 m
64 464 l
192 464 l
192 528 l
h
96 512 m
96 480 l
160 480 l
160 512 l
h
</path>
<path stroke="lightgreen" fill="lightgreen">
<path layer="alpha" stroke="lightgreen" fill="lightgreen">
304 576 m
384 576 l
384 640 l
@ -658,106 +646,5 @@ h
304 592 m
304 576 l
</path>
<path stroke="black">
64 528 m
64 464 l
192 464 l
192 528 l
h
</path>
<path stroke="black">
96 512 m
96 480 l
160 480 l
160 512 l
h
</path>
<path stroke="black" arrow="normal/normal">
64 464 m
192 464 l
</path>
<path stroke="black" arrow="normal/normal">
192 464 m
192 528 l
</path>
<path stroke="black" arrow="normal/normal">
192 528 m
64 528 l
</path>
<path stroke="black" arrow="normal/normal">
64 528 m
64 464 l
</path>
<path stroke="black" arrow="normal/normal">
96 480 m
160 480 l
</path>
<path stroke="black" arrow="normal/normal">
160 480 m
160 512 l
</path>
<path stroke="black" arrow="normal/normal">
160 512 m
96 512 l
</path>
<path stroke="black" arrow="normal/normal">
96 512 m
96 480 l
</path>
<path matrix="1 0 0 1 192 0" stroke="black" fill="lightgreen">
64 528 m
64 464 l
192 464 l
192 528 l
h
</path>
<path matrix="1 0 0 1 192 0" stroke="black" arrow="normal/normal">
192 464 m
192 528 l
</path>
<path matrix="1 0 0 1 192 0" stroke="black" arrow="normal/normal">
192 528 m
64 528 l
</path>
<path matrix="1 0 0 1 192 0" stroke="black" arrow="normal/normal">
64 528 m
64 464 l
</path>
<path matrix="1 0 0 1 384 0" stroke="black" arrow="normal/normal">
64 464 m
192 464 l
</path>
<path matrix="1 0 0 1 384 0" stroke="black" arrow="normal/normal">
192 464 m
192 528 l
</path>
<path matrix="1 0 0 1 384 0" stroke="black" arrow="normal/normal">
192 528 m
64 528 l
</path>
<path stroke="black" arrow="normal/normal">
480 512 m
544 512 l
</path>
<path stroke="black" arrow="normal/normal">
544 512 m
544 480 l
</path>
<path stroke="black" arrow="normal/normal">
544 480 m
480 480 l
</path>
<path stroke="black" arrow="normal/normal">
448 528 m
448 464 l
</path>
<path stroke="black" fill="0.502 1 0.502" arrow="normal/normal">
480 480 m
480 512 l
</path>
<path stroke="black" arrow="normal/normal">
256 464 m
384 464 l
</path>
</page>
</ipe>

View File

@ -1,6 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="518" height="310" viewBox="0 0 518 310">
<path fill-rule="evenodd" fill="rgb(56.5%, 93.3%, 56.5%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 448 528 L 448 464 L 576 464 L 576 528 Z M 480 512 L 480 480 L 544 480 L 544 512 Z M 480 512 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="518" height="198" viewBox="0 0 518 198">
<path fill-rule="evenodd" fill="rgb(56.5%, 93.3%, 56.5%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(56.5%, 93.3%, 56.5%)" stroke-opacity="1" stroke-miterlimit="10" d="M 304 576 L 384 576 L 384 640 L 256 640 L 256 592 L 304 592 Z M 304 576 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="nonzero" fill="rgb(56.5%, 93.3%, 56.5%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 256 688 L 384 688 L 384 768 L 304 768 L 304 752 L 256 752 Z M 272 736 L 304 736 L 304 720 L 368 720 L 368 704 L 272 704 Z M 272 736 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 256 688 L 384 688 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
@ -135,47 +134,4 @@
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 304 592 L 297 594.332031 L 297 589.667969 Z M 304 592 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 304 592 L 304 576 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 304 576 L 306.332031 583 L 301.667969 583 Z M 304 576 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 64 528 L 64 464 L 192 464 L 192 528 Z M 64 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 96 512 L 96 480 L 160 480 L 160 512 Z M 96 512 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 64 464 L 192 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 192 464 L 185 466.332031 L 185 461.667969 Z M 192 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 192 464 L 192 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 192 528 L 189.667969 521 L 194.332031 521 Z M 192 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 192 528 L 64 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 64 528 L 71 525.667969 L 71 530.332031 Z M 64 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 64 528 L 64 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 64 464 L 66.332031 471 L 61.667969 471 Z M 64 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 96 480 L 160 480 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 160 480 L 153 482.332031 L 153 477.667969 Z M 160 480 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 160 480 L 160 512 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 160 512 L 157.667969 505 L 162.332031 505 Z M 160 512 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 160 512 L 96 512 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 96 512 L 103 509.667969 L 103 514.332031 Z M 96 512 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 96 512 L 96 480 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 96 480 L 98.332031 487 L 93.667969 487 Z M 96 480 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(56.5%, 93.3%, 56.5%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 256 528 L 256 464 L 384 464 L 384 528 Z M 256 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 384 464 L 384 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 384 528 L 381.667969 521 L 386.332031 521 Z M 384 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 384 528 L 256 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 256 528 L 263 525.667969 L 263 530.332031 Z M 256 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 256 528 L 256 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 256 464 L 258.332031 471 L 253.667969 471 Z M 256 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 448 464 L 576 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 576 464 L 569 466.332031 L 569 461.667969 Z M 576 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 576 464 L 576 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 576 528 L 573.667969 521 L 578.332031 521 Z M 576 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 576 528 L 448 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 448 528 L 455 525.667969 L 455 530.332031 Z M 448 528 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 480 512 L 544 512 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 544 512 L 537 514.332031 L 537 509.667969 Z M 544 512 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 544 512 L 544 480 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 544 480 L 546.332031 487 L 541.667969 487 Z M 544 480 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 544 480 L 480 480 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 480 480 L 487 477.667969 L 487 482.332031 Z M 480 480 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 448 528 L 448 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 448 464 L 450.332031 471 L 445.667969 471 Z M 448 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 480 480 L 480 512 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 480 512 L 477.667969 505 L 482.332031 505 Z M 480 512 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill="none" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 256 464 L 384 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
<path fill-rule="evenodd" fill="rgb(0%, 0%, 0%)" fill-opacity="1" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 384 464 L 377 466.332031 L 377 461.667969 Z M 384 464 " transform="matrix(1, 0, 0, -1, -61, 771)"/>
</svg>

Before

Width:  |  Height:  |  Size: 46 KiB

After

Width:  |  Height:  |  Size: 35 KiB