diff -r ed9b16b33628 -r 83adf8859c55 svghmi/gen_index_xhtml.ysl2 --- a/svghmi/gen_index_xhtml.ysl2 Mon Mar 16 17:09:23 2020 +0100 +++ b/svghmi/gen_index_xhtml.ysl2 Mon Mar 16 18:27:49 2020 +0100 @@ -85,114 +85,7 @@ } } - def "func:intersect_1d" { - // it is assumed that a1 > a0 and b1 > b0 - param "a0"; - param "a1"; - param "b0"; - param "b1"; - - const "d0", "$a0 >= $b0"; - const "d1", "$a1 >= $b1"; - choose { - when "not($d0) and $d1" - // b contained in a - // a0