Skip to content

Instantly share code, notes, and snippets.

@dginev
Last active August 20, 2018 21:08
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dginev/5c85b1c33eaedcac27c9793a7c08d455 to your computer and use it in GitHub Desktop.
Save dginev/5c85b1c33eaedcac27c9793a7c08d455 to your computer and use it in GitHub Desktop.
Integral snippet for eq 7.2.1 of DLMF, August 2018
<apply>
<apply>
<csymbol cd="ambiguous">superscript</csymbol>
<apply>
<csymbol cd="ambiguous">subscript</csymbol>
<int />
<cn type="integer">0</cn>
</apply>
<ci>italic-z</ci>
</apply>
<apply>
<times />
<apply>
<csymbol cd="ambiguous">superscript</csymbol>
<exponentiale />
<apply>
<minus />
<apply>
<csymbol cd="ambiguous">superscript</csymbol>
<ci>italic-t</ci>
<cn type="integer">2</cn>
</apply>
</apply>
</apply>
<apply>
<diff />
<ci>italic-t</ci>
</apply>
</apply>
</apply>
@dginev
Copy link
Author

dginev commented Aug 20, 2018

https://dlmf.nist.gov/7.2#E1

Snippet above contains only the integral expression from RHS

@dginev
Copy link
Author

dginev commented Aug 20, 2018

@dginev
Copy link
Author

dginev commented Aug 20, 2018

Hence the compliant representation would be:

  <apply>
    <int />
    <bvar><ci>italic-t</ci></bvar>
    <lowlimit><cn type="integer">0</cn></lowlimit>
    <uplimit><ci>italic-z</ci></uplimit>
    <apply>
        ... integrand ...
    </apply>
  </apply>

possibly with the <diff> apply entirely omitted.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment