どのように解決のステップを知ることができますか？

Question

私は最大値を持つ初心者です。

私は方程式の系を解く唯一の目的のために取りました。ここに私の結果は次のとおりです。

(%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)        [] 

今、私は思ったんだけど：

私は何の解決策がないことをどのように確信することができますか？

このようなことを証明するためにmaximaが使用している手順は何ですか？

Answer 1

私の答えは、あなたが空の結果を信頼することはできませんということですIRCで

を専門家に尋ねた：それは何の解決策がないことを意味するものではありません、それはCASを意味する1

が見つかりませんでしたステップのために

、私は解決のプロセスを得るためにlispのデバッグ出力を使用することをお勧めしました