Next:
Publikationen über Computeralgebra
Up: CAR18
Previous: Netzinformationsdienste zu Mathematik
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 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): > ?invaraufgerufen 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 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:
-- 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