ToRules[gln] akzeptiert logische Kombinationen von Gleichungen, so wie sie von Roots und Reduce erzeugt werden, und verwandelt sie in Regellisten, so wie sie auch Solve produziert.
Beispiel: ToRules[x==1 || x==2].
ToRules verwirft Ungleichungen (!=) und gibt so nur generische Lösungen an.
ToRules[gln] akzeptiert logische Kombinationen von Gleichungen, so wie sie von Roots und Reduce erzeugt werden, und verwandelt sie in Regellisten, so wie sie auch Solve produziert. 
ToRules[x==1 || x==2]
. 
