*BSD News Article 39344


Return to BSD News archive

Path: sserve!newshost.anu.edu.au!harbinger.cc.monash.edu.au!msunews!agate!agate!usenet
From: Marc van Kempen <wmbfmk@urc.tue.nl>
Newsgroups: comp.os.386bsd.announce
Subject: [Release] MuPAD for FreeBSD
Followup-To: poster
Date: 11 Dec 1994 23:29:34 -0800
Organization: unspecified
Lines: 410
Sender: cgd@agate.berkeley.edu
Approved: 386bsd-announce-request@agate.berkeley.edu
Message-ID: <199412081154.LAA18180@asterix.urc.tue.nl>
NNTP-Posting-Host: agate.berkeley.edu



Hi All,

I'm very happy to be able to announce the release of my port of MuPAD 
to FreeBSD. For a description of the software see the announcement below, 
for the software itself see:

ftp.uni-paderborn.de:/pub/unix/MuPAD/unix


The shared binaries are linked to the following shared libraries:

The Xview 3.2 package for FreeBSD 1.1:

	libxview.so.3.2
	libolgx.so.3.2
	
XFree86 2.1.1:

	libX11.so.2.0

Libraries from FreeBSD 1.1.5.1:

	libgnuregex.so.1.1
	libgnumalloc.so.1.1
	libgcc.so.1.1
	libc.so.1.1


Availability of shared libraries:

Xview 3.2:	  freebsd.cdrom.com:/pub/FreeBSD/packages-1.1/xview32_bin.tgz
XFree86 2.1.1:    ????
System Libraries: freebsd.cdrom.com:/pub/FreeBSD/2.0-RELEASE/compat1xdist/*

(If there are problems getting libX11.so.2.0, I could make it available)

Regards,


Marc van Kempen
wmbfmk@urc.tue.nl




MuPAD - the Multi Processing Algebra Data Tool
----------------------------------------------

MuPAD is a system for symbolic and numeric computation, parallel
mathematical programming and mathematical visualization. It is intended
to be a 'general purpose' computer algebra system.

MuPAD has easy-to-use language constructs for parallel programming. A
prerelease Version for parallel programming exists for Sequent and Sun
multiprocessor machines.  Programming in MuPAD's own programming
language is supported by a comfortable source code debugger.
Window-based user interfaces for MuPAD exist for the X-Window-System
and the Apple Macintosh.

The 400+ page user manual (in German) and the 200 page tutorial (in English)
for MuPAD are published by Birkhaeuser, Basel. On-line Hypertext versions
of the manual/tutorial and a demo are distributed with the system.  
The English reference manual will follow in spring 1995. There also is
sufficient on-line documentation, both in English and German.
(Reference manual and helppages in German; tutorial, sample session and
  a demo in English)

MuPAD is distributed for free, but not in the public domain; a
registration is required.  MuPAD is available via anonymous FTP for Sun
Silicon Graphics, DEC, PC with Linux or FreeBSD, IBM workstations and 
Apple Macintosh. Prereleased versions exist for Sequent a HP.

But be aware: MuPAD is (up to now) not a full fledged computer algebra
system in the sense that there are hundreds or thousands of library
routines for any problem you have at hand. The MuPAD group is just
entering the business of developing the necessary libraries. The first
libraries to be developed will be in the field of polynomial operations,
number theory and basic domains and categories.

For the development of libraries MuPAD counts on its user community.
Anyone who wants to make contributions to the libraries is invited to
contact the MuPAD group. We will be eager to support you and to solve
any problems you might have with the system.



FACT SHEET
==========

MuPAD is a system for symbolic and numeric computation, parallel mathematical 
programming and mathematical visualization.


OVERVIEW
--------

The program consists of a small kernel written in C and Libraries written in
the MuPAD programming language. All features described may be used interactively
or via the programming language. Control structures for programming are also 
available at the interactive level. Kernel and library are machine independant.
In addition to the terminal-based user interface window-based interfaces exist 
for the X-Window-System and the Apple Macintosh.
The MuPAD programming language has various built-in constructs for parallel 
programming, accessible at any level of programming experience. First parallel 
implementations exist. MuPAD is devoted to the scientific community and freely 
distributed for non-commercial use. 


SYMBOLIC AND NUMERIC COMPUTATION
--------------------------------

Data Types

Integers and rational numbers of any length, floating point and complex numbers 
of arbitray precision, multivariate sparse polynomials, strings, Booleans, 
variable identifiers, dynamic lists, sets and tables, arrays of any dimension,
user defined types (domains) and objects, a rich set of expressions, procedures 
and statements, which are first class data objects.

Constants 

E, PI, I, FALSE, TRUE, various system constants.

Data Manipulation 

Operand extraction, counting and substitution, object type 
testing, indeterminate extraction, concatenation of strings and lists, set 
manipulation, extraction, sorting and substitution of list, set, table and 
array elements, mapping operands to functions, string searching, pattern 
matching, parsing, conversion of strings and polynomials to expressions and 
vice versa, run-time generation and manipulation of procedures.

Operators

Arithmetic (+, -, *, /, ^, mod, div), relational (<, >, <=, >=, =, <>), Boolean
(and, or, not), set operations (union, intersect, minus), concatenation (.,#), 
range (..), sequencing (, and $), domain attribute access (::), assignment (:=),
last output (%), user defined operators. System functions and operators may be 
overloaded by user defined types.

Arithmetic

Absolute value, exponential, logarithm, square root, sign, trigonometric and 
hyperbolic functions and inverses, rounding, ceil and floor, truncation, modular
computation, factorial, maximum and minimum, numeric evaluation, extraction of 
numerator and denumerator, fractional part, real and imaginary part, set union, 
intersection and difference, set membership, differentiation and expansion of 
expressions, taylor series and order terms, differential operator.

Polynomials

Coefficient mapping and extraction, degree, leading coefficient, term and 
monomial (lexical and degree order), trailing coefficient, number of terms, 
nth coefficient, division and pseudo-division, evaluation, integer content, 
norm, factorisation.

Domains

User defined types and data structures, operator overloading, object oriented 
programming, generic algorithms.
As experimental library: parametric domains, domain constructors, categories, 
category constructors, axiomes.

Number Theory (standard)

Integer factorisation, integer GCD and LCM, extended Euclidean algorithm, prime 
number test, prime number generation, Eulers phi function, random number 
generation. 



Library packages
----------------

Linear Algebra 

    About 40 functions. A short selection of functions provided by linalg:
    gaussian elimination, Gauss-Jordan elimination, solving systems
    of linear equations, inverting matrices, computing the norm, the
    rank and the determinant of a matrix, computing the Sylvester
    matrix, computing a basis for a vector space, QR factorization of
    regular matrices and many operations on matrices.

Polynomial Factorisation

    Factorization of a multivariate polynomial with integer or rational
    coefficients and factorization of a univariate polynomial over a
    finite field.


Integration

Number Theory 

    About 30 functions. A short selection of functions provided by
    this package: chinese remainder; hensel lifting; computing the
    Carmichael and Fibonacci numbers, the Jacobi and Legendre symbol;
    solving linear congruences; computing roots.

Typechecking

    Very comfortable possibility to check the type of an expression.

Share

    Indefinite summation of rational functions, finding integer roots 
    of a polynomial over Q[x], Lindenmayer-Systems and 2D-Turtle graphics.



USER INTERFACES
---------------

General

Selection of printing and error level, line width, formatted or non-formatted 
output, verbose printing during procedure execution, recalling of earlier 
results. Line editor for raw terminal interface. 

X-Windows Version

Look and feel of OpenLook, editing and recall of input and output, scroll back, 
two- and three-dimensional plotting with mouse-controlled interface, on-line 
manual and tutorial with hypertext functionality, pasting of examples from 
these documents into the input window, mouse controlled interface for source 
code debugger.

Macintosh Version

Mac-like interface with notebook functionality, structured session documents,  
editing of text documents, graphics and hypertext system as in the X-Windows 
version.


GRAPHICS
--------

General

Any property of a plot may be set interactively in VCam or defined in a plot- 
command. VCam Graphics front-end for 2- and 3-dimensional plotting, running 
under X-Windows and MacOS; thightly coupled with the MuPAD kernel. Defining 
functions may be entered and manipulated directly in VCam, objects can be added
or deleted by mouse-click.

2D-Plotting Facilities

Two-dimensional scenes, graphs, curves, list of points/lines/polygons; 
multiple objects per scene; object style may be points, lines or impulses; 
options for titling, labeling, colour selection, smooth colouring by height, 
colouring by user defined functions, axes scaling and style, automatic viewing
box, grid and smoothness.

3D-Plotting Facilities

Three-dimensional scenes, graphs, surfaces, space curves, list of points/
lines/polygons; multiple objects per scene; object style may be points, lines, 
impulses, wire frame, mesh, x-line, y-line, hidden line, colour patches, 
transparent; options for titling, labeling, colour selection, smooth colouring
by height, colouring by user defined functions, axes scaling and style, 
automatic viewing box, camera point and focal point, grid and smoothness.


Plots can be directly saved in different formats:
ASCII, Binary, Raster-, Gif- and Postscript-Files. 


PROGRAMMING FACILITIES
----------------------

General

Functional programming language with procedural extensions and Pascal-like 
syntax. Procedures and statements are ordinary data objects and may be 
manipulated at run-time. Any language construct is available as system function.
Any system function may be overwritten by user-defined procedures. Unnamed 
functions. Formatted output of procedures. 

Language Constructs

Assignment, expression, statement sequence, if then elif else end_if, 
for from to step do end_for, while do end_while, repeat until
end_repeat, case of do otherwise end_case, proc() begin end_proc, break, 
next, error, return, parameter lists of varying length. 

Evaluation

The programmer can control any aspect of expression evaluation and variable 
substitution: holding evaluation, evaluation in an outer context, defining 
substitution level, additional evaluation, retrieving values directly. 
Procedures may remember calculations to speed up execution. Results are stored 
in a history table which may be accessed by procedures.

Input and Output

Reading and writing of text and binary (M-Code) files, opening and closing of
files, reading and writing of MuPAD data and raw text, printing output to file, 
writing a session protocol to file. Entering expressions or text interactively.

Debugging

Execution tracing, verbose procedure execution, different printing and error 
levels, error trapping. A source code debugger allows to step through 
procedures, print and observe values of variables, alter values of variables, 
execute instructions, display the procedure stack. The debugger is integrated 
into the kernel and may be used via command language or a comfortable window-
based user interface (available under the X-Window-System).


PARALLEL PROGRAMMING
--------------------

General

There are two levels of parallelism in MuPAD : micro-parallelism on a processor 
cluster with high speed communication facilities (a multi-processor machine for 
example) and macro-parallel ism on a network of clusters with medium- to low-
speed communication.

Micro-Parallelism

Automatic task creation and distribution by the system. Easy-to-use language 
constructs: parallel for-loop, parallel and sequential blocks, private and 
global variables, task abortion.

Macro-Parallelism

Blocking and non-blocking message queues and pipes, global network-wide 
variables, topology informations. 


Dynamic Moduls
--------------
 
Beside the conventional concept of libraries written in the language
of the CA system, MuPAD offers another library concept, called
dynamic moduls. Users can implement algorithms in the C programming
language (in the near future moreover in C++) to extend the MuPAD
system by new functions. The advantages are:
* Speed
  Functions written in the MuPAD programming language are executed
  by MuPAD's interpreter, whereas moduls are compiled into machine
  code.
* Users can use the flexibily of C (C++) and have access to all
  internal functions and data structures of the MuPAD kernel.
Dynamic moduls forces no interprocess communication, they are
directly linked to the MuPAD kernel on demand at run time. It is
also possible to unload moduls at run time. This is why we speak
of dynamic moduls. The method used is called dynamic linking.
Because the operating system must support dynamic linking, moduls
are available only for the following platforms:
* Sun SPARC       : SunOS 4.1.1 or later
		    SunOS 5.x (Solaris)
* Silicon Graphics: Irix 5.1 or later
* IBM RS/6000     : AIX 3.1 or later
* PC              : FreeBSD 1.1.5.1 or later


AVAILABILITY
------------

MuPAD Version 1.2.1 is now available for Sun SPARCstation (under SunOS and 
Solaris), IBM RS6000, Silicon Graphics, DECstations (under Ultrix), PC (under 
Linux and FreeBSD) and Apple Macintosh.
Prereleased versions exist for the Sequent Symmetry and HP 9000.
A version for SUN Multiprocessor systems is in preparation. Please call for 
others. 


DOCUMENTATION
-------------

in German:
  Birkhaeuser Verlag Basel, 1993
  MuPAD: Multi Processing Algebra Data Tool;
  Benutzerhandbuch; MuPAD Version 1.1
  ISBN 3-7643-2872-X

in English:
  Birkhaeuser Verlag Basel, 1993
  MuPAD: Multi Processing Algebra Data Tool;
  Tutorial
  ISBN 3-7643-5017-2


The English reference manual will follow in spring 1995. There also is
sufficient on-line documentation, both in English and German.
(Reference manual and helppages in German; tutorial, sample session and
a demo in English)


FURTHER INFORMATIONS
--------------------

E-mail: MuPAD-distribution@uni-paderborn.de

WWW:    http://math-www.uni-paderborn.de/~cube/

Gopher: gopher://math-gopher.uni-paderborn.de/1/MuPAD/

FTP   : ftp.uni-paderborn.de
 
MuPAD-Distribution
Fachbereich 17
Univ. of Paderborn
Warburger Str. 100
D-33095 Paderborn
Germany