omcore-taglib1.0

RIACA's JSP tag libraries

Introduction.

Documentation.

Download.

Examples.

Licence.

We offer to your consideration some JSP tag libraries we have developed at RIACA. Most of our tag libraries are OpenMath related. Among the things we facilitate with our tag libraries are:

Provide a smooth way to work with OpenMath in your own JSP pages by defining a taglib interface to the RIACA OpenMath Java Library (ROML). That is, we offer tags for going from OpenMath XML representation to ROML objects and viceversa as well as a set of tags for manipulating ROML objects. See omcore taglib.

Work with polynomials and OpenMath. See polyparser taglib.

Use phrasebooks to interact with backengines.

We hope our work will help you to created your own OpenMath enabled WEB applications and in that way help to make OpenMath accessible to a larger number of users.

NOTE: Most of our tag libraries will only work with a Servlet 3.4 and Jsva Server Pages 2.0 compliant Web Server/Container (e.g. Jakarta Tomcat 5.x).

Documentation and Download.

Following table summarizes the information over the available tag libraries. For more information on any specific tag library just follow the link to the documentation.

Name Documentation Download Description

cast documentation download
This tag library allows to "cast" OpenMath objects. By cast we means transform some kind of OpenMath object into other.

context documentation download
A JSP tab library to access and work with variables in a context.

macro documentation download
A tag library to use templates and macros. This tag library is in experimental state.

mathml documentation download
A JSP tab library to work with MathML (virtual) phrasebook.

omcore documentation download
This tag library to perform some basic operations on OpenMath objects. Among such operations we have:

Creating a ROML Java object from an XML-string representation of an OpenMath object (set tag) and vice-versa (out tag).

Testing whether an object match a certain pattern.

polyparser documentation. download.
This tag library allows to parse polynomials into OpenMath objects.

userinput documentation. download.
This tag library allows to parse user input.

socket documentation download
A JSP tab library to work with socket based phrasebooks and services.

util documentation download
A JSP tab library containing some utility tags (for escaping XML, etc).

Examples.

We provide some JSP pages with examples to illustrate how to work with our tag libraries. These examples require a Web Server/Container compliant with the JSP 2.0 and Servlet 3.4 specifications (e.g. Jakarta Tomcat 5.x).

In case you are browsing an offline version of this web page, or an online version on a server not supporting JSP functionality, then, in order to see the examples at work, you will have to:

download the file demo.tar.gz,

untar it and place the resulting directory, taglib, on the directory ${TOMCAT_HOME}/webapps/ of your local version of Tomcat.

restart Tomcat.

In case you are using another WEB server please refer to the documentation coming with it.

NOTE: So far, we have tested our tag libraries with Jakarta Tomcat version 5.14.

Tag libary Example Source Code

cast
Using Cast Tags.

Using Cast Tags (source).

context

macro

mathml
Working with MathML prasebook (Mozilla,Internet Explorer).

Source code. (Mozilla,Internet Explorer).

omcore
Testing the type of an OpenMath object.

Searching a suboject by attribute.

Testing the type of an OpenMath object (source).

polyparser
Working with Univariate polynomials.

Working with Multivariate polynomials (pold.DMP).

DMP modulo an Integer.

Working with Univariate polynomials (source).

Working with Multivariate polynomials (DMP) (source).

DMP modulo an Integer (source).

userinput
Woriking with integers.

Woriking with integers (source).

socket
Working with Gap as backengine.

Working with Mathematica as backengine.

Working with Gap as backengine (source).

Working with Mathematica as backengine (source).

util
Working with util tags.

Working with util tags (source).

License.

Our tag libraries are subject to the The RIACA Public License.

Name	Documentation	Download	Description
cast	documentation	download	This tag library allows to "cast" OpenMath objects. By cast we means transform some kind of OpenMath object into other.
context	documentation	download	A JSP tab library to access and work with variables in a context.
macro	documentation	download	A tag library to use templates and macros. This tag library is in experimental state.
mathml	documentation	download	A JSP tab library to work with MathML (virtual) phrasebook.
omcore	documentation	download	This tag library to perform some basic operations on OpenMath objects. Among such operations we have: Creating a ROML Java object from an XML-string representation of an OpenMath object (set tag) and vice-versa (out tag). Testing whether an object match a certain pattern.
polyparser	documentation.	download.	This tag library allows to parse polynomials into OpenMath objects.
userinput	documentation.	download.	This tag library allows to parse user input.
socket	documentation	download	A JSP tab library to work with socket based phrasebooks and services.
util	documentation	download	A JSP tab library containing some utility tags (for escaping XML, etc).

Tag libary	Example	Source Code
cast	Using Cast Tags.	Using Cast Tags (source).
context
macro
mathml	Working with MathML prasebook (Mozilla,Internet Explorer).	Source code. (Mozilla,Internet Explorer).
omcore	Testing the type of an OpenMath object. Searching a suboject by attribute.	Testing the type of an OpenMath object (source).
polyparser	Working with Univariate polynomials. Working with Multivariate polynomials (pold.DMP). DMP modulo an Integer.	Working with Univariate polynomials (source). Working with Multivariate polynomials (DMP) (source). DMP modulo an Integer (source).
userinput	Woriking with integers.	Woriking with integers (source).
socket	Working with Gap as backengine. Working with Mathematica as backengine.	Working with Gap as backengine (source). Working with Mathematica as backengine (source).
util	Working with util tags.	Working with util tags (source).