
-----------------------------------------------------------------------------

This file is part of the computer algebra system SIMATH.

SIMATH is a common software product of the SIMATH group in Saarbruecken
and the Siemens AG. Copyright (C) 1992-1995 by the SIMATH group in
Saarbruecken and the Siemens AG/Munich.

The computer algebra system SIMATH is free software for universities
and scientific research institutions as long as it is used for purely
scientific purposes only. This software is distributed in the hope that
it will be useful, but

			WITHOUT ANY WARRANTY.


Permission is hereby granted to copy the system for any 

			PURELY SCIENTIFIC

purposes, provided the above notices are retained on all copies.

If you intend to use SIMATH for other applications, please contact
	
	SIEMENS AG
	Corporate Research and Development
	Dept. ZFE ST SN 3
	D-81730 Munich

Upon reception of this software, please send e-mail messages to

	simath@math.uni-sb.de 			and to	
	Erwin.Hess@zfe.siemens.de

to inform us that you got a copy of the system. 

Redistribution of this software - either in source or binary form - is
not permitted.
---------------------------------------------------------------------------

Version 3.10 --- Version 3.10.1

  Version 3.10 has been withdrawn shortly after it was released because
there were some bugs in the elliptic curve subsystem. These have been fixed.

---------------------------------------------------------------------------

Version 3.9 --- Version 3.10

  As usual, when a new version is released, there are some new and
improved algorithms, and many new programs have been incorporated into
simcalc. The basic structure of SIMATH has remained essentially
unchanged.

  The GNU readline library is now part of the SIMATH distribution. This
should make installation a little bit easier.

---------------------------------------------------------------------------

Version 3.8.1 --- Version 3.9

  We have implemented a new online documentation system. The
documentation of a given SIMATH function is now extracted from the
source file. This reduces the size of the system by more than 3 MB.

  SIMATH is now installed using GNU autoconf, i.e. "configure" scripts
to determine most of the configuration parameters automatically. The
installation of SIMATH is therefore much easier.

  We have implemented an algorithm for determining all integral points
on an elliptic curve. For more information see the documentation of
ecisnfsaip().

  An algorithm for factoring univariate polynomials over algebraic
number fields (upnffact()) has been implemented.

  The following is a list of some of the new simcalc functions and
features.
General functions:
  - predefinitions for simcalc are read from the file .simcalcrc
  - arrays are allowed in variable names
User interface:
  - user-defined functions have been implemented, sums and products of
    indexed expressions can be easily computed
Elliptic curves:
  - ntpair computes the Neron-Tate pairing
  - whei computes the Weil height    
  - faintp tries to find all integral points on an elliptic curve
Z/mZ:
  - primitive roots and the order of elements in the unit group of Z/mZ 
    can be computed using proot and ord
Polynomials:
  - froot tries to find roots of univariate polynomials over Z/pZ
  - irpgen generates irreducible polynomials over Z/pZ and Z/2Z
  - fact has been extended to univariate polynomials over number fields 
    and prime ideal factorization in quadratic number fields
  - relcln computes the relative class number of abelian number fields

---------------------------------------------------------------------------

Version 3.7 --- Version 3.8.1

  At least on Sun workstations, simcalc is now able to use the GNU
readline library. This allows an emacs style command line editing in
simcalc. (The GNU readline library is available from many ftp servers
all over the world.)

  The arithmetic of finite fields (of arbitrary degree over the prime
subfield) is implemented now in simcalc.

  Some new functions (ecgnp, fp, npfe) for elliptic curves over finite
fields have been added to simcalc.

  The test system is no longer part of the SIMATH distribution. Thus,
the SIMATH sources are a little bit smaller.

  We have implemented a combined Schoof-Shanks algorithm for counting
points on elliptic curves over finite fields of characteristic 2.

  Tate's algorithm is now available for curves over quadratic number
fields.

  A new floating point arithmetic, the so-called "Papanikolaou floating
point arithmetic" ("PAF arithmetic") is accessible from within SIMATH.

  The system has been ported to HP and SGI workstations. 

---------------------------------------------------------------------------

Version 3.6.1 --- Version 3.7
  
  Elliptic curves and points of elliptic curves are now implemented in
a more efficient manner. Many higher algorithms for elliptic curves are
available in simcalc.

  The arithmetic of finite fields is now available in simcalc. 
  
  A comprehensive Groebner bases algorithm has been added to the
libraries.

---------------------------------------------------------------------------

Version 3.5 --- Version 3.6.1

  The manual and the online help of simcalc are now available in
English.

  The libraries lib_ec3.a and lib_ec4.a and the headers _ec3.h, _ec4.h,
_Tec3.h and _Tec4.h have been added. They will be used for elliptic
curves in later releases of SIMATH.

  A Groebner basis algorithm for several domains and the arithmetic of
elliptic curves over finite fields of characteristic 2 have been added
to the libraries.

  The arithmetic of Z/pZ and number fields is now available in
simcalc.

---------------------------------------------------------------------------
