Der Beweis des erweiterten Satzes von Morley auf einem Pentium IV 2.2 GHz und 1GB Ram.
| Computeralgebrasystem | Beweis | definierendes Ideal |
| Magma 2.11 | 380 ms | 310 ms |
| Maple 9 | 3200 ms | 1300 ms |
| Mathematica 5.0 | 80105 ms | 6409 ms |
| Reduce 3.7 | 70 ms | nach 30 min. abgebrochen |
Die Quelltexte der einzelnen CAS sind hinter den Links zu finden. Alle zusammen findet man in diesem Verzeichnis.