Hinweis - wenn Derive bei einer Gleichung keine Lösung findet, so gibt SOLUTIONS als Ergebnis den leeren Vektor [ ] und SOLVE den Ausdruck false zurück. Ist eine Gleichung im gewählten Lösungsbereich allgemeingültig, so liefert SOLUTIONS als Ergebnis einen Vektor der Form [@n] (@ steht dabei für 'beliebig'), wobei n eine natürliche Zahl ist, und SOLVE den Ausdruck true.