% Description: This file contains a long list of examples demonstrating the abilities of
% the translator. Most of these examples come straight from the MathML spec. They
% are part of those used during the development of the interface and should all
% be correctly translated into OpenMath.
%
% Type: on demo; in "examples.mathml"; then press return to see each expression
% being translated
%
% Version 17 April 2000
%
% Author: Luis Alvarez Sobreviela
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% These examples attempt to test the following aspects:
%
% - Types of arguments
% - Containers
% + sets
% + vectors
% + intervals
% + matrices
% - Sums, products
% - Calculus
% - Lambda expressions
% - Limits
% - Quantifiers
% - Set functions
% - MathML1 Relational operators
% - Statistics
% - Functions on Matrices
% - Various general expressions
% - Complex expressions
% Expressing different types of numbers
mml2om();
mml2om();
mml2om();
% Containers.
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
% Must make sure these elements translate
% to the correct OpenMath symbols.
% The MathML interval maps to different
% OPenMath symbols.
mml2om();
mml2om();
mml2om();
mml2om();
% Matrices
mml2om();
mml2om();
% The following operators need to be carefully
% monitored because OpenMath has different
% representations for such elements.
% sums, products
mml2om();
mml2om();
mml2om();
% Calculus
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
% Lambda expressions
mml2om();
% Limits
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
% Quantifiers
mml2om();
mml2om();
% Set functions.
mml2om();
mml2om();
mml2om();
mml2om();
% MathML1 relational operators. The attributes
% are unecessary, and so the parser should ignore
% them
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
% Statistics
mml2om();
mml2om();
mml2om();
% Functions on matrices
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
% A variety of different expressions
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
mml2om();
% Complex expressions
mml2om();
mml2om();
mml2om();
mml2om();