for f being V19() standard special_circular_sequence st f /. 1 = E-min (L~ f) & E-min (L~ f) <> S-max (L~ f) holds
(E-min (L~ f)) .. f < (S-max (L~ f)) .. f