var AutoResetTime=10000;var AutoResetTimer=null;var renderurl=latexrender;var HelpCookieName="showDerivativeHelp";window.addEvent("domready",function(){setmenu();$("DerivativeSubmit").addEvent("click",derivative);$("v_help_toggle").addEvent("click",getHelp);$("vars").addEvent("keypress",adjWidth);$("eq").addEvent("keypress",adjWidth);$("vars").addEvent("change",adjWidth);$("eq").addEvent("change",adjWidth);if("true"==Cookie.read(HelpCookieName)||null==Cookie.read(HelpCookieName)){getHelp()}});function derivative(){if($("eq").value==""){$("result").set("html","输入不能为空，需要帮助请点击'帮助'")}else{$("DerivativeSubmit").disabled=true;$("result").set("html","<img src='/common/spinner.gif'>请稍候……");var a=new Request({method:"post",url:"DerivativeAgent.jsp",onSuccess:function(c,g){if(g.getElementsByTagName("err").length>0){$("result").set("html",g.getElementsByTagName("err")[0].firstChild.data.escapeHTML())}else{var b="";var d=g.getElementsByTagName("solution");for(var h=0;h<d.length;h++){var e=d[h].getElementsByTagName("item");b+="<div id='box'>";for(var f=0;f<e.length;f++){b+="<img src='"+renderurl+" "+e[f].firstChild.data+"'><br><br>"}b+="</div><br>"}$("result").set("html",b)}$("DerivativeSubmit").disabled=false;if(AutoResetTimer!=null){clearInterval(AutoResetTimer);AutoResetTimer=null}},onFailure:function(){$("result").set("html","操作失败");$("DerivativeSubmit").disabled=false}});a.send("eq="+encodeURIComponent($("eq").value)+"&vars="+encodeURIComponent($("vars").value));setAutoReset()}}function setAutoReset(){if(AutoResetTimer==null){AutoResetTimer=setInterval("reset()",AutoResetTime)}}function reset(){$("result").set("html","等待结果超时，请重试");$("DerivativeSubmit").disabled=false;if(AutoResetTimer!=null){clearInterval(AutoResetTimer);AutoResetTimer=null}}function getHelp(){$("msg").set("html","<img src='/common/spinner.gif'>正在获取帮助，请稍候……");var a=new Request.HTML({url:"DerivativeHelp.html",onSuccess:function(b){clarMsg();$("msg").adopt(b);Cookie.write(HelpCookieName,true,{duration:365});$("v_help_close").addEvent("click",function(c){clarMsg();Cookie.write(HelpCookieName,false,{duration:365})})},onFailure:function(){$("msg").set("text","获取帮助失败")}});a.send()}function clarMsg(){$("msg").set("text","")}function adjWidth(){width=this.value.length*8+10;if(this.getWidth()<width){this.style.width=width}};