[Om] POPCORN for OpenMath

[Peter Horn]

Hello to the OpenMath community!

To simplify my life within the SCIEnce-Project I implemented a little  
tool that might be of interest for you, too:

---- ADVERTISEMENT ---

Tired of typing giant XML-strings for testing the OpenMath facilities  
of your applications? Then POPCORN is the ideal tool for you!

POPCORN stands for "Possibly Only Practicable Convenient OpenMath  
Replacement Notation" and it keeps its promise.

Accepting an intuitive, simple and small input it pops it up to valid  
OpenMath XML:

 > 1+1

<OMA><OMS cd="arith1" name="plus" /><OMI>1</OMI><OMI>1</OMI></OMA>

 > 1+a.b(9)

<OMA><OMS cd="arith1" name="plus" /><OMI>1</OMI><OMA><OMS cd="a"  
name="b" /><OMI>9</OMI></OMA></OMA>

 > 1:a

<OMI id="a">1</OMI>

 > 23{1 -> "asas"}

<OMATTR><OMATP><OMI>1</OMI><OMSTR>asas</OMSTR></OMATP><OMI>23</OMI></ 
OMATTR>

 > fns1.labda[ #x -> #x + 1]

<OMBIND><OMS cd="fns1" name="labda" /><OMBVAR><OMV name="x" /></ 
OMBVAR><OMA><OMS cd="arith1" name="plus" /><OMV name="x" /><OMI>1</ 
OMI></OMA></OMBIND>

 > if #a > 3 then #b:muff := 24 else #c := "Hallo!"{cd1.name -> 1,  
cd1.name2 -> cd2.name3} endif; abc.def(123+$muff);

<OMA><OMS cd="prog1" name="block" /><OMA><OMS cd="prog1" name="if" / 
 ><OMA><OMS cd="relation1" name="gt" /><OMV name="a" /><OMI>3</OMI></ 
OMA><OMA><OMS cd="prog1" name="assign" /><OMV id="muff" name="b" / 
 ><OMI>24</OMI></OMA><OMA><OMS cd="prog1" name="assign" /><OMV  
name="c" /><OMATTR><OMATP><OMS cd="cd1" name="name" /><OMI>1</OMI><OMS  
cd="cd1" name="name2" /><OMS cd="cd2" name="name3" /></ 
OMATP><OMSTR>Hallo!</OMSTR></OMATTR></OMA></OMA><OMA><OMS cd="abc"  
name="def" /><OMA><OMS cd="arith1" name="plus" /><OMI>123</OMI><OMR  
href="muff" /></OMA></OMA></OMA>

For more details check out the POPCORN website http://www.mathematik.uni-kassel.de/~hornp/popcorn-for-openmath

And -- hey -- It's FREE :)

Best regards,
	Peter
--
Peter   Horn,   University  of  Kassel          *
Computational    Mathematics     Group      *       *
Heinrich Plett Str. 40,  34132  Kassel    *  [S] [C] [I] [E] [n] [c] [e]
Phone: + 4 9 - 5 6 1 - 8 0 4 - 4 1 9 2   *   http://www.symcomp.org
Fax:   + 4 9 - 5 6 1 - 8 0 4 - 4 6 4 6    *
E-Mail: hornp at mathematik.uni-kassel.de      *       *
             http://kassel.symcomp.org/          *