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