131 val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt; |
131 val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt; |
132 (**) |
132 (**) |
133 |
133 |
134 if ppc<>(Method ["DiffApp","max_by_calculus"], |
134 if ppc<>(Method ["DiffApp","max_by_calculus"], |
135 {Find=[Incompl "maximum",Incompl "valuesFor"], |
135 {Find=[Incompl "maximum",Incompl "valuesFor"], |
136 Given=[Correct "fixedValues [r = Arbfix]",Missing "boundVariable v_", |
136 Given=[Correct "fixedValues [r = Arbfix]",Missing "boundVariable v_v", |
137 Missing "interval itv_",Missing "errorBound err_"], |
137 Missing "interval itv_",Missing "errorBound err_"], |
138 Relate=[Incompl "relations []"],Where=[],With=[]}) |
138 Relate=[Incompl "relations []"],Where=[],With=[]}) |
139 then raise error "diffappl.sml: Specify_Method different behaviour" |
139 then raise error "diffappl.sml: Specify_Method different behaviour" |
140 else (); |
140 else (); |
141 (* WN.3.9.03 (#391) Model_Specify did init_pbl newly |
141 (* WN.3.9.03 (#391) Model_Specify did init_pbl newly |
142 if ppc<>(Method ["DiffApp","max_by_calculus"], |
142 if ppc<>(Method ["DiffApp","max_by_calculus"], |
143 {Find=[Missing "maximum m_",Missing "valuesFor vs_"], |
143 {Find=[Missing "maximum m_",Missing "valuesFor vs_"], |
144 Given=[Correct "fixedValues [r = Arbfix]",Missing "boundVariable v_", |
144 Given=[Correct "fixedValues [r = Arbfix]",Missing "boundVariable v_v", |
145 Missing "interval itv_",Missing "errorBound err_"], |
145 Missing "interval itv_",Missing "errorBound err_"], |
146 Relate=[Missing "relations rs_"],Where=[],With=[]}) |
146 Relate=[Missing "relations rs_"],Where=[],With=[]}) |
147 then raise error "diffappl.sml: Specify_Method different behaviour" |
147 then raise error "diffappl.sml: Specify_Method different behaviour" |
148 else ();*) |
148 else ();*) |
149 |
149 |