Konrad Hinsen

This is in fact a special case of checking the correctness of "kind of quantity" as defined by the ISO 80000 standard. See [this introduction](https://doi.org/10.1016/j.csi.2013.02.001) for more details. Checking kind-of-quantity...

There are certainly many interesting problems in dealing with transport network graphs. Are there any studies about the optimal number of cycles? I'd expect that there should always be some...

As usual the devil is in the details... My first reaction is to proclaim that using a namespaced symbol implies the same responsibilities as importing a module. So if the...

I have a first working implementation. Everybody is welcome to rip it apart ;-)

Another symptom: I cannot take screenshots anymore, because GT doesn't redraw the screen behind the screenshot utility.

After some more experiments, I conclude: 1. The screen flicker happens only when a GT window is in full-screen mode. Keeping it slightly smaller is thus a good workaround. 2....

I haven't done any screen recordings under Linux yet, so I have to search for suitable software first. Might take a while.

Thanks for the suggestions! I went for OBS since I will need video+audio in the near future. As a first demo, the redrawing issue: https://filesender.renater.fr/?s=download&token=b8525f44-d4b6-4e4f-89c9-1a458c73a7b4 I'll watch out for the...

I did get a screen flicker event with v0.8.1428. Here is the recording: https://filesender.renater.fr/?s=download&token=f98d9ab5-a145-4bf5-936e-f363afe3c6b9

One more detail: the redraw failure remains even when GT is not in full-screen mode.