. . . . "Algorithms have become a common feature of trading, not only in shares but in derivatives such as options and futures." .