範例:具有條件約束的解題指令群
使用解題指令群,求解含有條件約束的方程式系統。
請考量圓及直線的交點。在無限制的情況下,若存在多重解,估值可決定要求哪個解。
1. 插入解題指令群並定義估值與條件約束,然後使用
find 求解器函數求解線條與圓形的交點。
2. 繪製圓、線條及交點。
上圖顯示此解對應至兩個交點之一,但是求解器會挑選最接近估值的點。
3. 變更估值並重新計算解。
4. 繪製圓、線條及交點。
上圖顯示此解對應至第二個交點,這是因為求解器會挑選最接近新估值的點。
5. 以格式 x > a 加入其他條件約束,其中的 a 為常數。線條左側的區域現在不會列入考量。
6. 繪製圓、線條及交點。使用垂直標記顯示線條 a。
上圖顯示此解對應至第一個 (且唯一可能的) 交點,這是因為求解器必須滿足新的條件約束。