Next: Publikationen über Computeralgebra Up: CAR18 Previous: Netzinformationsdienste zu Mathematik


Neues über Systeme und Hardware



 

AXIOM for Windows


 

The Numerical Algorithms Group (NAG) Limited of Oxford, UK, has announced that porting of its AXIOM symbolic solver to Windows NT and 95 has been completed. Orders can now be placed, and shipping of the AXIOM for Windows will begin in April 1996. All the algebraic functionality offered by the Unix workstation versions is available in AXIOM for Windows, and the AXIOM XL library extension compiler (also known as A#) is also fully implemented. This means that users can customize extensions to the supplied library code and develop stand-alone applications. An interactive link, based on the Microsoft Dynamic Linked Library (DLL) facility, provides access to a selection of NAG Fortran Library numerical routines.

In product engineering terms, the two outstanding features of AXIOM for Windows are its Open Inventor-based graphics, and a new document style user interface. The use of Open Inventor provides AXIOM with excellent 3-D graphical capabilities and also allows graphical output to be exported to Open Inventor systems, such as IRIS Explorer, for post processing of graphical objects. By adopting this widely used state-of-the art visualisation technology, AXIOM has taken a major step towards inter-operability, setting a trend which other software systems will now try to follow. The new user interface also represents a major advance. It allows users to mix text, mathematics and graphics with their computations. The interface can display documents written in LaTex and HTML, and can also include images.

Porting AXIOM to the latest generation of Windows environments brings workstation functionality to a much wider user base. As an important by-product of the Windows product engineering exercise, more ports of AXIOM, including Linux, SG Irix and DEC Alpha will soon be available.

For more information about AXIOM for Windows and details of special discount offers available, please contact NAG Limited on +44 1865 511245 (telephone), +44 1865 310139 (fax), infodesk@nag.co.uk (email) or http://www.nag.co.uk/ (www), or NAG GmbH on +49 89 3207395 (telephone), +49 89 3207396 (fax).

[AXIOM and NAG are registered trademarks of The Numerical Algorithms Group Limited. IRIS Explorer is a registered trademark of Silicon Graphics, Inc. All other trademarks are acknowledged]

Steve Hague (Oxford)



INVAR - Ein Maple-Paket für Invariantentheorie


 

INVAR ist ein Maple-Paket, das einige wichtige Algorithmen der Invariantentheorie endlicher Gruppen enthält (siehe den Artikel zur algorithmischen Invariantentheorie in diesem Rundbrief). Es ist Bestandteil der Maple Share Library und läuft mit Maple V (und weitere). Ab Version V.3 von Maple kann es durch

> with(share):
See ?share and ?share,contents for information about the share library
> readshare(invar,algebra):
> with(invar):
> ?invar
aufgerufen werden. Für frühere Versionen kann es per anonymous ftp von dem Server daisy.uwaterloo.ca unter dem Verzeichnis /pub/maple/5. x /share/algebra geholt werden ( x ist die Versionsnummer). Der Hauptbestandteil des Pakets ist das Berechnen von Invariantenringen endlicher Gruppen G, wobei G entweder eine Permutationsgruppe oder eine endliche Matrixgruppe in GL_n(K) ist. Der Grundkörper K ist dabei Q oder ein algebraischer Zahlkörper. Einige der Funktionalitäten sind:

Eine zweite Version von INVAR ist in Arbeit. In diese sollen vor allem neuere Algorithmen für den modularen Fall (d.h. K ein endlicher Körper) aufgenommen werden.

Gregor Kemper (Heidelberg)



LiDIA - a library for computational number theory


 

LiDIA ist eine objektorientierte Klassenbibliothek effizienter Datentypen und Algorithmen für algebraische und elementare Zahlentheorie, entwickelt von der LiDIA -Gruppe an der Universität des Saarlandes, Fachbereich 14 Informatik, Lehrstuhl Prof. J. Buchmann. LiDIA stellt eine neuartiges Bibliotheken-Konzept dar, das unter anderem durch folgende Eigenschaften charakterisiert wird:

Die Distribution von LiDIA enthält den Source Code, und die Nutzung ist lizenzfrei für nicht-kommerzielle Zwecke.
Inhalt:
In der aktuellen Version von LiDIA (1.2.0b) stehen folgende Langzahl-Arithmetiken bzw. Applikationen zur Verfügung:

-- bigint: ganze Zahlen mit Funktionen aus der elementaren Zahlentheorie.
-- bigmod: modulare Zahlen.
-- bigrational: rationale Zahlen.
-- bigfloat: reelle Zahlen mit transzendenten Funktionen (-- sin, cos, exp, log, ...).
-- bigcomplex: komplexe Zahlen mit transzendenten Funktionen.
-- bigint_matrix: lineare Algebra über den ganzen Zahlen (-- HNF, SNF, Kernel, ...).
-- lattice_basis, -- lattice_gensys: Gitter über den ganzen und den reellen Zahlen (LLL, MLLL Schnorr-Euchner für doubles und bigfloats, Benne de Weger über bigints).
-- rational_factorization: Arithmetik mit Faktorisierungen (Trial Division, Elliptic Curve Method und Quadratic Sieve Algorithmen).
-- dlp: Paket zur Lösung des Diskreten Logarithmus Problems (Pohlig-Hellman Algorithmus).
-- alg_number: algebraische Zahlen Arithmetik und maximale Ordnung.
-- quadratic_form: quadratische Formen.
-- vector, matrix: generische Datentypen für Vektoren und Matrizen.
-- power_series, polynomial: dicht und dünn besetzte Potenzreihen, univariate Polynome.

Hardware & Software Anforderungen:
LiDIA wurde auf folgenden Architekturen mit folgenden Compilern getestet:

-- Architektur: alpha, hpux1.1, ix86, i860, sparc, mips, rs6k, powerpc, cray c90
-- C Compiler: cc, gcc-2.[67].x, icc, xLc
-- C++ Compiler: cfront-3.x, g++-2.[67].x, acc, xLC, HP C++, Watcom v.10, Borland-4.5
-- OS: SunOS-4.1.x, Solaris-2.x, Linux, Irix-5.x, AIX-3.2.5, hpux9.05, DEC OSF/1, FreeBSD, OS/2, Windows95

Kontaktadresse:
LiDIA - Group, z.Hd. Thomas Papanikolaou, Universität des Saarlandes, FB 14 - Informatik, Lehrstuhl Prof. J. Buchmann, Postfach 151150, 66041 Saarbrücken, Phone: +49 (0)681 302 4166,
EMAIL: lidia@cs.uni-sb.de ,
WWW: http://www-jb.cs.uni-sb.de/LiDIA/linkhtml/lidia/lidia.html,
FTP: crypt1.cs.uni-sb.de:/pub/systems/LiDIA.

Thomas Papanikolaou (Saarbrücken)

Next: Publikationen über Computeralgebra Up: CAR18 Previous: Netzinformationsdienste zu Mathematik





Ulrich Schwardmann
Thu Jul 18 09:41:26 MET DST 1996