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, textsize: 12 },
    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, 0 ], color: [ 0, 0, 0 ], labeled: true, size: 4 }, 
		{ name: "B", type: "Free", pos: [ 0, 0, 0 ], color: [ 0, 0, 0 ], labeled: true, size: 4 }, 
		{ name: "C", type: "Free", pos: [ 0, 0, 0 ], color: [ 0, 0, 0 ], labeled: true, size: 4 }, 
		{ name: "D", type: "Free", pos: [ 0, 0, 0 ], color: [ 0, 0, 0 ], labeled: true, size: 4 }, 
		{ name: "N1", type: "Free", pos: [ 4.0, -2.062939927218109, -2.062939927218109 ], color: [ 1.0, 0.0, 0.0 ], size: 0 }, 
		{ name: "s1", type: "Segment", color: [ 0, 0, 1 ], args: [ "A", "B" ] }, 
		{ name: "s2", type: "Segment", color: [ 0, 0, 1 ], args: [ "B", "C" ] }, 
		{ name: "s3", type: "Segment", color: [ 0, 0, 1 ], args: [ "C", "D" ] }, 
		{ name: "s4", type: "Segment", color: [ 0, 0, 1 ], 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 }, 
		{ name: "slider1", type: "Segment", color: [ 0, 0, 1 ], args: [ "Nmax", "N1" ] }, 
		{ name: "N", type: "PointOnSegment", pos: [ 0, -4, -0.4 ], color: [ 0.75, 0.2, 0.2 ], args: [ "slider1" ], size: 7, printname: "9" }, 
		{ name: "Text1", type: "Text", pos: [ 4.0, 3.5, -1.75 ], color: [ 0.0, 0.0, 0.0 ], text: "Quadrat A(0,n), B(2n,0): Innere Punkte = $\\left(n - 1 \\right)^{2} + 4 \\; n^{2}$" } ],
  });
</script>


<script id="csinit" type="text/x-cindyscript">
  N.labelled=false;
  N1.size=0;
 ...