Copyright (C) 2017-2020 J. Pelikán (algorithms by above mentioned authors), last change: 2020-01-06 01:55:31 +0100 (Mon, 06 Jan 2020)