Satz von Pick with CindyJS

https://github.com/CindyJS/CindyJS/issues/722

by Kajus

HTML

<script src="https://cindyjs.org/dist/latest/Cindy.js"></script>
<script src="https://cindyjs.org/dist/v0.8.7/Cindy.js"></script>
<div id="CSCanvas"></div>

<script>
  CindyJS({
    scripts: "cs*",
    defaultAppearance: { fontFamily: "sans-serif", lineSize: 1, pointSize: 5.0, textsize: 12.0 },
    ports: [{
      id: "CSCanvas",
      axes: true,
      width: 700,
      height: 500,
      transform: [{
        visibleRect: [-6.714260708817083, 32.459387757911884, 52.388339925483606, -3.121917399641064 ]
      }],
      grid: 1,
    }],
    autoplay: false,
    geometry: [ 
		{ name: "A", type: "Free", pos: [ -0.0, -4.0, -0.4444444444444444 ], color: [ 0.0, 0.0, 1.0 ], labeled: true, size: 3.0 }, 
		{ name: "B", type: "Free", pos: [ 4.0, 0.0, 0.2222222222222222 ], color: [ 0.0, 0.0, 1.0 ], labeled: true, size: 3.0 }, 
		{ name: "C", type: "Free", pos: [ 4.0, 2.6666666666666665, 0.14814814814814814 ], color: [ 0.0, 0.0, 1.0 ], labeled: true, size: 3.0 }, 
		{ name: "D", type: "Free", pos: [ -1.3333333333333333, -4.0, -0.14814814814814814 ], color: [ 0.0, 0.0, 1.0 ], labeled: true, size: 3.0 }, 
		{ name: "N1", type: "Free", pos: [ 4.0, -2.062939927218109, -2.062939927218109 ], color: [ 1.0, 0.0, 0.0 ], size: 0.0 }, 
		{ name: "s1", type: "Segment", color: [ 0.0, 0.0, 1.0 ], args: [ "A", "B" ] }, 
		{ name: "s2", type: "Segment", color: [ 0.0, 0.0, 1.0 ], args: [ "B", "C" ] }, 
		{ name: "s3", type: "Segment", color: [ 0.0, 0.0, 1.0 ], args: [ "C", "D" ] }, 
		{ name: "s4", type: "Segment", color: [ 0.0, 0.0, 1.0 ], args: [ "D", "A" ] }, 
		{ name: "Nmax", type: "Free", pos: [ 0.32, -4.0, -0.16 ], color: [ 1.0, 0.0, 0.0 ], labeled: true, size: 2.0 }, 
		{ name: "slider1", type: "Segment", color: [ 0.0, 0.0, 1.0 ], args: [ "Nmax", "N1" ] }, 
		{ name: "N", type: "PointOnSegment", pos: [ 0.8708089951626257, -4.0, -0.4444444444444444 ], color: [ 0.098039225, 0.61960787, 0.30588236 ], args: [ "slider1" ], size: 10.0, printname: "9" }, 
		{ name: "Text1", type: "Text",...