Hmm, at least this seems to be a strange, uncommen notation to me and i must admit i thought 2 solutions were meant somehow..
Anyway, I now understand what's meant and of course it's correct. As pocketcas is based on xcas i expected the same output as from xcas.
Another question:
Is the current version timebombed, too?
Greetings Eddie