'compute' gives all solutions