fact: Definition example_edge_sets : seq (seq edge) := (Bedge (Bpt (-3) 0) (Bpt (-2) 1) :: Bedge (Bpt (-3) 0) (Bpt 0 (-3)) :: Bedge (Bpt 0 (-3)) (Bpt 3 0) :: Bedge (Bpt (-2) 1) (Bpt 0 1) :: Bedge (Bpt 0 1) (Bpt 1 0) :: Bedge (Bpt (-1) 0) (Bpt 0 (-1)) :: Bedge (Bpt 0 (-1)) (Bpt 1 0) :: nil) :: (Bedge (Bpt (-2) (-2)) (Bpt 2 0) :: Bedge (Bpt 0.8 (-1.2)) (Bpt 2 0) :: Bedge (Bpt 0.8 (-1.2)) (Bpt (17 # 5) (-3)) :: Bedge (Bpt (-2) (-2)) (Bpt (17 # 5) (-3)) :: nil) :: (Bedge (Bpt (-1) 0) (Bpt 0 (-1)) :: Bedge (Bpt 0 1) (Bpt 1 0) :: nil) :: nil.
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL