<?xml version="1.0"?>
<!DOCTYPE mathml SYSTEM "/scl/people/bill/Documentation/Tmp/mmlents/mathml.dtd">
<CD>
  <CDName> trigHypInts </CDName>
  <CDURL> http://www.openmath.org/CDs/trigHypInts.ocd </CDURL>
  <CDExpire> 1/1/5000 </CDExpire>
  <CDStatus> private </CDStatus>
  <CDUses>
    <CDName>alg1</CDName>
    <CDName>arith1</CDName>
    <CDName>calculus1</CDName>
    <CDName>complex1</CDName>
    <CDName>fns1</CDName>
    <CDName>interval1</CDName>
    <CDName>logic1</CDName>
    <CDName>nums1</CDName>
    <CDName>relation1</CDName>
    <CDName>transc1</CDName>
  </CDUses>

  <Description>
    This content dictionary contains symbols which describe the functions which
    perform the sine, cosine, hyperbolic sine and hyperbolic cosine integrals.
  </Description>

  <CDDefinition>
    <Name> SinIntegral </Name>
    <Description>
       The symbol SinIntegral represents the sine integral, it is
       denoted by $Si(z)$.
       The sine integral is defined by :
         $Si(z)=\int_{0}^{z} \frac{sint}{t}dt$.

       It is defined as in M. Abramowitz and I. Stegun, Handbook of
        Mathematical Functions, [5.2.1]
    </Description>
    <CMP> Si : real $\rightarrow$ real </CMP>
    <CMP> Si : complex $\rightarrow$ complex </CMP>
    <CMP> Si : symbolic $\rightarrow$ symbolic </CMP>
      <CMP>
        $Si(z)=\int_0^z \frac{sin(t)}{t}dt
      </CMP>
      <FMP><OMOBJ>
        <OMA>
	  <OMS cd="relation1" name="eq"/>
	  <OMA>
	    <OMS cd="trigHypInts" name="SinIntegral"/>
	    <OMV name="z"/>
	  </OMA>
	  <OMA>
	    <OMS cd="calculus1" name="defint"/>
	    <OMA>
	      <OMS cd="interval1" name="interval_co"/>
	      <OMS cd="alg1" name="zero"/>
	      <OMV name="z"/>
	    </OMA>
	    <OMBIND>
	      <OMS cd="fns1" name="lambda"/>
	      <OMBVAR>
	        <OMV name="t"/>
	      </OMBVAR>
	      <OMA>
	        <OMS cd="arith1" name="divide"/>
		<OMA>
		  <OMS cd="transc1" name="sin"/>
		  <OMV name="t"/>
		</OMA>
		<OMV name="t"/>
	      </OMA>
	    </OMBIND>
          </OMA>
	</OMA>
      </OMOBJ></FMP>
    <CMP> $Si(z)=\sum_{n=0}^{\infty} \frac{(-1)^{n}z^{2n+1}}{(2n+1)(2n+1)!}$,
          series expansion </CMP>
    <CMP> $Si(-z)=-Si(z)$, symmetry </CMP>
    <CMP> $Si(\bar{z})=\overline{Si(z)}$, symmetry </CMP>
  </CDDefinition>

  <CDDefinition>
    <Name> CosIntegral </Name>
    <Description>
       The symbol CosIntegral represents the cosine integral, it is
       denoted by $Ci(z)$.
       The cosine integral is defined by 
        $Ci(z)=-\int_z^{\infty} \frac{cost}{t} dt$ where $|argz|&#60;
        \pi$.

       It is defined as in M. Abramowitz and I. Stegun, Handbook of
        Mathematical Functions,[5.2.27]
    </Description>
    <CMP> Ci : real $\rightarrow$ real </CMP>
    <CMP> Ci : complex $\rightarrow$ complex </CMP>
    <CMP> Ci : symbolic $\rightarrow$ symbolic </CMP>

      <CMP> $Ci(z) = -\int_z^{\infty} \frac{cos t}{t} dt </CMP>
      <FMP><OMOBJ>
        <OMA>
	  <OMS cd="relation1" name="eq"/>
	  <OMA>
	    <OMS cd="trigHypInts" name="CosIntegral"/>
	    <OMV name="z"/>
	  </OMA>
	  <OMA>
	    <OMS cd="arith1" name="unary_minus"/>
	    <OMA>
	      <OMS cd="calculus1" name="defint"/>
	      <OMA>
	        <OMS cd="interval1" name="interval_co"/>
		<OMV name="z"/>
		<OMS cd="nums1" name="infinity"/>
	      </OMA>
	      <OMBIND>
	        <OMS cd="fns1" name="lambda"/>
		<OMBVAR>
		  <OMV name="t"/>
		</OMBVAR>
		<OMA>
		  <OMS cd="arith1" name="divide"/>
		  <OMA>
		    <OMS cd="transc1" name="cos"/>
		    <OMV name="t"/>
		  </OMA>
		  <OMV name="t"/>
		</OMA>
	      </OMBIND>
            </OMA>
	  </OMA>
	</OMA>
      </OMOBJ></FMP>

    <CMP> $Ci(z)=\gamma + lnz + \sum_{n=1}^{\infty} 
         \frac{(-1)^{n}z^{2n}}{2n(2n)!}$, series expansion </CMP>
    <CMP> symmetry relation: $Ci(\bar{z})=\overline{Ci(z)}$, symmetry  </CMP>
    <CMP> $Ci(-z)=Ci(z)-i \pi$, ($0 &#80; argz &#80; \frac{\pi}{2}$), symmetry </CMP>
  </CDDefinition>

  <CDDefinition>
    <Name> SinhIntegral </Name>
    <Description>
       The symbol SinhIntegral represents the hyperbolic sine integral, it is denoted by
       The hyperbolic sine integral is defined by $Shi(z)=\int_{0}^{z} 
       \frac{sinh(t)}{t} dt$.

       It is defined as in M. Abramowitz and I. Stegun, Handbook of
        Mathematical Functions,[5.2.3]
    </Description>
    <CMP> Shi : real $\rightarrow$ real </CMP>
    <CMP> Shi : complex $\rightarrow$ complex </CMP>
    <CMP> Shi : symbolic $\rightarrow$ symbolic </CMP>
      <CMP> $Shi(z)=\int_{0}^{z} \frac{sinht}{t} dt$ </CMP>

      <FMP><OMOBJ>
        <OMA>
	  <OMS cd="relation1" name="eq"/>
	  <OMA>
	    <OMS cd="trigHypInts" name="SinhIntegral"/>
	    <OMV name="z"/>
	  </OMA>
	  <OMA>
	    <OMS cd="calculus1" name="defint"/>
	    <OMA>
	      <OMS cd="interval1" name="interval"/>
	      <OMS cd="alg1" name="zero"/>
	      <OMV name="z"/>
	    </OMA>
	    <OMBIND>
	      <OMS cd="fns1" name="lambda"/>
	      <OMBVAR>
	        <OMV name="t"/>
	      </OMBVAR>
	      <OMA>
	        <OMS cd="arith1" name="divide"/>
		<OMA>
		  <OMS cd="transc1" name="sinh"/>
		  <OMV name="t"/>
		</OMA>
		<OMV name="t"/>
	      </OMA>
	    </OMBIND>
	  </OMA>
	</OMA>
      </OMOBJ></FMP>

    <CMP> $Shi(z)=\sum_{n=0}^{\infty}\frac{z^{2n+1}}
          {(2n+1)(2n+1)!}$, series expansion </CMP>
  </CDDefinition>

  <CDDefinition>
    <Name> CoshIntegral    </Name>
    <Description>
       The symbol CoshIntegral represents the hyperbolic cosine
       integral, it is denoted by $Chi(z)$.
       The hyperbolic cosine integral is defined by $Chi(z)=\gamma 
       + lnz + \int_{0}^{z} \frac{cosht-1}{t} dt$ where $\gamma=.5772156649 
       \dots$ is an Euler's constant and $|argz|&#80; \pi$. It has a branch cut 
       along the negative real axis in the complex $z$ plane.

       It is defined as in M. Abramowitz and I. Stegun, Handbook of
        Mathematical Functions,[5.2.4]
    </Description>
    <CMP> Chi : real $\rightarrow$ real </CMP>
    <CMP> Chi : complex $\rightarrow$ complex </CMP>
    <CMP> Chi : symbolic $\rightarrow$ symbolic </CMP>
      <CMP>
        $Chi(z)=\gamma + lnz + \int_{0}^{z} \frac{cosht-1}{t} dt~~~~
	(|arg(z)| &lt; /pi$
      </CMP>

      <FMP><OMOBJ>
        <OMA>
          <OMS cd="logic1" name="implies"/>
	  <OMA>
	    <OMS cd="relation1" name="lt"/>
	    <OMA>
	      <OMS cd="arith1" name="abs"/>
	      <OMA>
	        <OMS cd="complex1" name="argument"/>
		<OMV name="z"/>
	      </OMA>
	    </OMA>
	    <OMS cd="nums1" name="pi"/>
	  </OMA>
	  <OMA>
	    <OMS cd="relation1" name="eq"/>
	    <OMA>
	      <OMS cd="trigHypInts" name="CosIntegral"/>
	      <OMV name="z"/>
	    </OMA>
	    <OMA>
	      <OMS cd="arith1" name="plus"/>
	      <OMS cd="nums1" name="gamma"/>
	      <OMA>
	        <OMS cd="transc1" name="ln"/>
	        <OMV name="z"/>
	      </OMA>
	      <OMA>
	        <OMS cd="calculus1" name="defint"/>
		<OMA>
		  <OMS cd="interval1" name="interval"/>
		  <OMS cd="alg1" name="zero"/>
	          <OMV name="z"/>
		</OMA>
                <OMBIND>
                  <OMS cd="fns1" name="lambda"/>
		  <OMBVAR>
		    <OMV  name="t"/>
		  </OMBVAR>
		  <OMA>
		    <OMS cd="arith1" name="divide"/>
		    <OMA>
		      <OMS cd="arith1" name="minus"/>
		      <OMA>
		        <OMS cd="transc1" name="cosh"/>
			<OMV name="t"/>
		      </OMA>
		      <OMS cd="alg1" name="one"/>
		    </OMA>
		    <OMV name="t"/>
		  </OMA>
                </OMBIND>
	      </OMA>
	    </OMA>
	  </OMA>
	</OMA>
      </OMOBJ></FMP>
    <CMP> $Chi(z)=\gamma + lnz + \sum_{n=1}^{\infty} \frac{z^{2n}}{2n(2n)!}$,
          series expansion </CMP>
  </CDDefinition>
</CD>