Wie kann ich den Lösungsschritt erkennen?

Question

Ich bin ein Anfänger mit Maxima,

Ich habe es für den alleinigen Zweck der Lösung eines Systems von Gleichungen genommen. Hier ist mein Ergebnis:

(%i30) e1: a*b - c*d + e*f - g*h = i*j - k*l; 
(%o30)    (- g h) + e f - c d + a b = i j - k l 
(%i31) e2:a^2 + c^2 = b^2 + d^2; 
           2 2 2 2 
(%o31)       c + a = d + b 
(%i32) e3:a^2 + c^2 = e^2 + g^2; 
           2 2 2 2 
(%o32)       c + a = g + e 
(%i33) e4:a^2 + c^2 = f^2 + h^2; 
           2 2 2 2 
(%o33)       c + a = h + f 
(%i34) e5:a^2 + c^2 = i^2 + k^2; 
           2 2 2 2 
(%o34)       c + a = k + i 
(%i35) e6:a^2 + c^2 = j^2 + l^2; 
           2 2 2 2 
(%o35)       c + a = l + j 
(%i36) algsys([e1,e2,e3,e4,e5,e6], [a]); 
(%o36)        [] 

Nun frage ich mich:

Wie sicher kann ich sein, dass es keine Lösung gibt?

Woher weiß ich, mit welchen Schritten Maxima so etwas beweist?

Answer 1

fragte ich einen Spezialisten auf irc

Die Antwort ist, dass Sie nicht ein leeres Ergebnis vertrauen können: es bedeutet nicht, dass es keine Lösung ist, bedeutet es das cas nicht ein

gefunden haben

für den Schritt wurde mir empfohlen, die Lisp-Debug-Ausgabe zu verwenden, um den Prozess der Lösung

zu bekommen