<?xml version="1.0"?>

<!--

   $Id$

   Copyright (c) 2003, RIACA, Technische Universiteit Eindhoven (TU/e).
   All Rights Reserved.

  -->

<jsp:root 
  xmlns:jsp="http://java.sun.com/JSP/Page" 
  xmlns:c="http://www.mathdox.org/MathBook/Core"
  version="1.2">

<jsp:directive.page contentType="text/xml"/>	
<jsp:directive.page import="nl.tue.win.riaca.openmath.codec.*"/>
<jsp:directive.page import="org.xml.sax.*"/>
<jsp:directive.page import="nl.tue.win.riaca.openmath.io.*"/>
<jsp:directive.page import="nl.tue.win.riaca.openmath.lang.*"/>
<jsp:directive.page import="nl.tue.win.riaca.openmath.lang.OMObject"/>
<jsp:directive.page import="nl.tue.win.riaca.mathematica.codec.*"/>
<jsp:directive.page import="java.io.*"/>
<jsp:directive.page import="org.w3c.dom.*"/>
<jsp:directive.page import="org.apache.xerces.parsers.DOMParser"/>

<jsp:text>
  <![CDATA[
   <?xml-stylesheet href="../style/html.xsl" type="text/xsl"?>
  ]]>
</jsp:text>

<mathbook xmlns:macro="http://www.mathdox.org/MathBook/Macro" xmlns:cont="http://www.mathdox.org/MathBook/Context" xmlns:x="http://www.mathdox.org/MathBook/XML" xmlns:q="http://www.mathdox.org/MathBook/Query" xmlns:c="http://www.mathdox.org/MathBook/Core">

<!-- Recovers a session using cookies -->

<jsp:scriptlet>
	String sessionID = request.getRequestedSessionId();
	HttpSession mySession = null;
	if(sessionID != null) {
	   mySession = (HttpSession) request.getSession();
	}
// Recalls the name of the document ?? do it in a different manner??
	   
 String DocumentName = "myDocument";

// Recalls the document

	Document myDocument;
        Object docObject = mySession.getAttribute( DocumentName );
        if (docObject instanceof Document) 
	{
		myDocument = (Document) docObject;
	}
        else
        {
		myDocument = null;
	}


</jsp:scriptlet>

<!-- PLAN: Recall the rule and the derivatives of the children. Compute
derivative of the parent and set its indicator="1" current="1" (set the
current of previous current node to 0) and redirect to intermediary results. -->

<!-- Find CurrentNode -->

<jsp:scriptlet>
	NodeList listOMA = myDocument.getElementsByTagName("*");
                int len=listOMA.getLength();
		//out.println("##"+len);
                int i;
	
		Node CurrentNode=null;
                for ( i=0; i&lt;len ; i++ ){
                        Node myNode = listOMA.item(i);
                        NamedNodeMap attributes = myNode.getAttributes();
                        if (attributes!=null) {
				Node attr=attributes.getNamedItem("current");
				if (attr != null ){
				   if(attr.getNodeValue()=="1") {
					CurrentNode=myNode;
					break;
				   }
				}
			}
                }
	if (CurrentNode==null)
		out.println("Current Node is null"+i);
	else
		out.println("The Current Node is "+CurrentNode);
		//out.println("")
</jsp:scriptlet>

<!-- Find CurrentNodeParent. Find the appplied rule and the two children and
name them g and h . -->

<jsp:scriptlet>
	//Node CurrentNodeParent = CurrentNode.getParentNode();
	Node CurrentNodeParent = CurrentNode;
	NodeList listChildren = CurrentNodeParent.getChildNodes();
	int j, k, index1 = -1, index2=-1, ll = listChildren.getLength();
	String theRule="";
	Node OMSNode = null;
	Node fChild1 = null, fChild2 = null;
	for (j=0;j&lt;ll;j++){
	    out.println("**"+j+listChildren.item(j).getNodeName());
	    if ( "OMS".equals(listChildren.item(j).getNodeName()) ){
	        OMSNode = listChildren.item(j);
		index1 = j;
		NamedNodeMap OMSAttr = OMSNode.getAttributes();
		if (OMSAttr != null){
		   Node ruleAttr = OMSAttr.getNamedItem("name");
		   if (ruleAttr != null){
		      theRule = ruleAttr.getNodeValue();
		   }
		}      
	    }
	    if ( !("OMS".equals(listChildren.item(j).getNodeName())) ){
	        fChild1 = listChildren.item(j);
		index2 = j;
		//break;
	    }
	} 
	for (k=0; k&lt;ll;k++){
	    if ((k!=index1) &amp;&amp; (k!=index2)){
	       fChild2 = listChildren.item(k);
	    }
	}
	out.println("OMSNode"+OMSNode);
	out.println("The rule "+theRule);
</jsp:scriptlet>

<!--
<jsp:scriptlet>
	Node CurrentNodeParent = CurrentNode.getParentNode();
	String theRule="";
	Node OMSNode = CurrentNodeParent.getFirstChild();
	NamedNodeMap OMSAttr = OMSNode.getAttributes();
	if (OMSAttr != null){
	   Node ruleAttr = OMSAttr.getNamedItem("name");
	   if (ruleAttr != null){
	      theRule = ruleAttr.getNodeValue();
	   }
	}
	out.println("OMSNode"+OMSNode);
	out.println("The rule "+theRule);
</jsp:scriptlet>
-->

<!-- . ATTENTION: check that they
are indeed OMA, OMV or OMI -->


<jsp:scriptlet>
	//NodeList listChildren = CurrentNodeParent.getChildNodes();
	//Node fChild1 = listChildren.item(1);
	//Node fChild2 = listChildren.item(2);

	OMDOMReader dom1Reader = new OMDOMReader( fChild1 );
	OMObject m1Object = dom1Reader.readObject();

	OMDOMReader dom2Reader = new OMDOMReader( fChild2 );
	OMObject m2Object = dom2Reader.readObject();
</jsp:scriptlet>


      <c:set var="g">
	     <q:query service="mathematica">
	     <q:param name="inputtype">OpenMath</q:param>
	     <q:param name="outputtype">Native</q:param>
	     <q:body><jsp:expression>m1Object</jsp:expression></q:body>
	     </q:query>
      </c:set>


      <c:set var="h">
	     <q:query service="mathematica">
	     <q:param name="inputtype">OpenMath</q:param>
	     <q:param name="outputtype">Native</q:param>
	     <q:body><jsp:expression>m2Object</jsp:expression></q:body>
	     </q:query>
      </c:set>


<c:set var="rule">
       <jsp:expression>theRule</jsp:expression>
</c:set>

<c:choose>
	<c:when test="${rule=='times'}">
		<para>
		   The product rule is (g*h)'=g'*h+g*h', where 
		   g=<c:out value="${g}"/> and h=<c:out value="${h}"/>
                </para>
		<para>
			Can you compute the derivative of g*h now?
	       </para>
<form action="">
       <para>
        <label> proder </label>
         <input name="(g*h)'" type="text">
          <c:set var="prodder" value="${param.prodder}"/>
         </input>  
      </para>
   <para>
       <button type="submit">Submit</button>
   </para>
</form>
	

	</c:when>
	<c:when test="${rule=='chain'}">
	
	</c:when>
	<c:when test="${rule=='division'}">
	
	</c:when>
	<c:when test="${rule=='linear'}">
	
	</c:when>
	<c:when test="${rule=='term'}">
	
	</c:when>
	<c:otherwise>
		Error: I don't recognize the rule!
	</c:otherwise>
</c:choose>


</mathbook>
</jsp:root>