Re: [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?



- 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 :

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

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>



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

Best regards,
        Peter
--
Peter   Horn,   University  of  Kassel          *
Computational    Mathematics     Group      *       *

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: [EMAIL PROTECTED]      *       *
             http://kassel.symcomp.org/          *




_______________________________________________
Om mailing list
Om@openmath.org
http://openmath.org/mailman/listinfo/om

For more details check out the POPCORN website http:// www.mathematik.uni-kassel.de/~hornp/popcorn-for-openmath Heinrich Plett Str. 40, 34132 Kassel * [S] [C] [I] [E] [n] [c] [e]

smime.p7s
Description: S/MIME cryptographic signature

_______________________________________________
Om mailing list
Om@openmath.org
http://openmath.org/mailman/listinfo/om