[Om] POPCORN for OpenMath

[Paul Libbrecht]

Hello Peter,

this looks like a happy move.

Here are three questions:

- what is the license and where's the source?

- how extensible is it? The syntax sounds pretty hard-wired (which is  
good for fine details but bad for extensibility)

- do you have a conversion back from OpenMath to pop-corn?

thanks

paul

PS: your download URL gives http-not-found-404.

Le 14 avr. 08 à 14:47, Peter Horn a écrit :
> 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/          *
>
>
>
>
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om/attachments/20080414/18cecc7d/attachment.bin