在Sage中求解聯立方程

Question

在Sage中 （使用Sage Cloud中的Sage終端），我期望以下結果產生結果[t == (1/2)] 。 但是，它產生結果[] 。

sage: var('x1 y1 x2 y2 t')
(x1, y1, x2, y2, t)
sage: eq1 = x1==t
sage: eq2 = y1==t
sage: eq3 = x2==t
sage: eq4 = y2==1-t
sage: solve([eq1,eq2,eq3,eq4,x1==x2,y1==y2],t)
[]

以下重新編寫格式無濟於事：

sage: eq5 = x1==x2
sage: eq6 = y1==y2
sage: solve([eq1,eq2,eq3,eq4,eq5,eq6],t)
[]

我要去哪里錯了？

Answer 1

如果你寫

solve([eq1,eq2,eq3,eq4,x1==x2,y1==y2],t)

然后， t是您要求解的變量， x1, x2, y1, y2是自由參數。 對於這些參數的任何值，顯然沒有有效的解決方案。 但是，如果您問：

solve([eq1,eq2,eq3,eq4,x1==x2,y1==y2],t,x1,x2,y1,y2)

然后，您將獲得期望的結果：

[[t == (1/2), x1 == (1/2), x2 == (1/2), y1 == (1/2), y2 == (1/2)]]