Ann: mathpaqs re(up)loaded

Ann: mathpaqs re(up)loaded

[Gautier Write-only]

Hullo - just a word to announce a severe dust-removing of my
freeware Ada math toolbox (contains: algebra, matrices, probabilities,
ODEs, PDEs, finite elements, fractals, multi-precision integers ,...).
Description below.
_________________________________________________________________
Gautier  --  http://www.mysunrise.ch/users/gdm/gsoft.htm#mathpaqs

NB: For a direct answer, e-mail address on the Web site!
____________
MATHPAQS.ZIP
___________________________________________________________________________
(A)  Mathematical, 100% portable, packages in Ada.
     If you see "Ada 83" it also naturally compiles on Ada (95+) compilers.
     The list of packages below is sorted by topics.
     Each topic has a subdirectory. Of course there are interactions, like
     between Multi-precision numbers and Algebra (Euclidean_Ring_Tools).     
---------------------------------------------------------------------------

**>> Algebra <<**

Euclidean_Ring_Tools:   Generic package:
                        given a type with the properties of an euclidean ring
                        (like integers or polynomials, with 0,1,+,* and
                        integral division), it gives the Greatest Common Divisor
                        and the Bezout factors.

Frac:   Generic package: given a type with the properties of a ring,
        it gives the fractions of it, with operators.

Frac.Order:     Supplement of generic package 'Frac':
                provides an order relation from one of the ring

Frac_Euclid:    Generic package: given a type with the properties
                of an *euclidean* ring (with division), it gives the
                fractions field of it, with operators *and* reduction.

Frac_Euclid.Order:      Supplement of generic package 'Frac_Euclid':
                        provides an order relation from one of the ring

Polynomials:    Generic package, creates polynomials on a field.

 >Float_Polynomials:      = Polynomials( float,    0.0,1.0, "-",... );
 >Rationals.Polynomials:  = Polynomials( rational, frac_0, frac_1, "-",... );

Rationals:      Package for manipulation of rational numbers.
                = Frac_Euclid( integer, 0,1, "-","+","-","*","/");

 >Rationals_Order:        = Rationals.Order("<");

**>> Numerics <<**

G_Matrices:     Generic simple matrix package, with matrix-matrix,
                matrix-vector, vector operations

G_FEK:          Parts of the Finite Element Kernel from M. Bercovier
                (original in Fortran);
                Computes values and derivatives of elementary functions
                given the element's geometry.
                Available so far:
                  1D: L2 (linear)
                  2D: Q4 (linear), Q9 (quadratic)
                  3D: B27 (quadratic)
                Generic -> can instanciated for any precision!

ConjGrad:       Fast (Bi)Conjugate Gradient iterative methods for
                solving Ax=b. Generic -> applies to the matrix
                storage of your choice (e.g. sparse) !


**>> Multi-precision integers <<**

Multi_precision_integers:       Multiple precision integers package
                                Pure Ada 83 (compiles on both DEC Ada
                                and GNAT)

Multi_precision_integers_IO:    Text_IO, for multi-precision integers

**>> (Pseudo-) Random number generation <<**

Box_Muller:     Pseudo-random number generation with normal distribution,
                by the Box-Muller method

F_Random:       Simple random generator package
                (Pure Ada [.adb] and DEC/Compaq/HP [.dec] Ada 83 bodies)

Finite_distributed_random: random generation on any discrete, finite, type

U_Rand:     Standalone random generator (Pure Ada 83)

**>> Sparse matrices <<**

Sparse:     Sparse matrix package (Pure Ada 83); uses SparseB
SparseB:    Low-level vector operations for Sparse package
            (Pure Ada 83 [.adb] body and a DEC/Compaq/HP [.dec] body mapped to BLAS)

_______________________________________________________________
(B): Programs, tests, demos using the previously cited packages
---------------------------------------------------------------

______Linear Algebra:
Test_Sparse             Test of Sparse and ConjGrad packages.

_________________ODE:
Phases.adb              Phase diagram and vector fields for oscillators (2)
Champ_Vt.adb            Vector fields drawing                           (1)

_________________PDE:
Diffchal.adb            Solution of heat equation by finite differences ( )

____________Fractals:
Biomorph.adb            <<biomorphe>> fractals (cow skin)               (1)
FracDesi.adb            Fractal lines design                            (2)
Koch_Haar.adb           Koch flake, Haar wavelet and others 1D fractals (1)
Henon.adb               H�non orbitals (fractal strange attractors)     (1)

__Random simulations:
Sim_Alea.adb            Simulation of random variables                  ( )
Porscher.adb            Probability "paradox" (in French)               ( )
EDS_1.adb               Simulation of solutions of stochastic           (1)
                        differential equations (SDE)
TestURan.adb            Test of U_Rand standalone random generator      ( )

_____Multi-precision:
Test_Int.adb            Test of Multi_precision_integers package        ( )

------------------------------------------------------------------------
( ) Yes, it's standalone Ada !
(1) uses Graph package (WINGRAPH.ZIP or DOSGRAPH.ZIP)
         See page: http://www.mysunrise.ch/users/gdm/graph.htm
(2) uses DOS-Graph, Mouse packages (DOSGRAPH.ZIP, DOS_PAQS.ZIP)
         See list: http://www.mysunrise.ch/users/gdm/locaux.htm