home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: sci.math.symbolic
- Path: sparky!uunet!charon.amdahl.com!pacbell.com!ames!saimiri.primate.wisc.edu!sdd.hp.com!wupost!darwin.sura.net!paladin.american.edu!news.univie.ac.at!alijku05!risc.uni-linz.ac.at!siegl
- From: siegl@risc.uni-linz.ac.at (Kurt Siegl)
- Subject: Re: Multiprocessor Implimentations of Symbolic Software?
- Message-ID: <1992Nov16.093358.9281@alijku05.edvz.uni-linz.ac.at>
- Sender: news@alijku05.edvz.uni-linz.ac.at
- Nntp-Posting-Host: melmac.risc.uni-linz.ac.at
- Organization: RISC, J.K. University of Linz, Austria
- References: <1992Nov12.042527.10730@colorado.edu>
- Date: Mon, 16 Nov 1992 09:33:58 GMT
- Lines: 42
-
- In article <1992Nov12.042527.10730@colorado.edu>, sherod@newton.Colorado.EDU (Scott Herod) writes:
- > Are there multiprocessor implimentations of any of the larger
- > symbolic software packages? It seems that this is the wave of
- > future esp. since many of these packages stress functional as
- > opposed to procedural programming.
- >
- > Scott Herod
-
- I've developed a parallel version of Maple (||MAPLE||).
-
- ||MAPLE|| is a portable Computer Algebra system in which logic programming provides
- parallelism and imperative programming provides efficiency. The system is
- built as a combination between the parallel declarative programming language
- Strand and the sequential computer algebra system Maple.
-
- Programming in that system is done in two layers.
- The top (parallel, declarative) layer is Strand from where one may call Maple functions
- to perform the time critical sequential parts. Due to that design ||MAPLE|| programs
- are binary compatible among every hardware and independend of the number of processors.
-
- There are also predefined generic parallel functions available, that alow nearly automatic
- parallelization of algorithms used in Computer Algebra. Maple's Real Root isolation proc.
- for example has been parallelized by changing 5 lines in the source using that feature.
-
- A parallelized user interface alows subsequently entering querys without waiting for
- the availability of the previous result. Data dependencies are automaticaly
- resolved by the system.
-
- ||MAPLE|| currently runs on Sequent shared memory machines, Transputer distributive
- memory machines and on Networks of SUN Workstations.
-
- Feel free to contact siegl@risc.uni-linz.ac.at for further information.
-
- Kurt
-
- ----------------------------------------------------------
- You can tell how far we have to go, when FORTRAN is the language of
- supercomputers. -- Steven Feiner
- ----------------------------------------------------------
- Kurt Siegl / RISC, University of Linz, Austria
- email: siegl@risc.uni-linz.ac.at
- Tel: *(7236)3231-66 Fax: *(7236)3231-30
-