 |  | real_vectors |  |
 |  | real_vecto.ads |  |
|  | maths | |
| | intege_functio | |
| intege_vectors | ||
| real_functions | ||
| real_numbers | ||
| real_vectors | ||
| vectors | ||
 | test_maths.adb |
| | util | |
|  | hash_tables/ | |
| heaps/ | ||
| images/ | ||
| lists/ | ||
| maths/ | ||
| messages/ | ||
| pipes/ | ||
| primes/ | ||
| readers/ | ||
| strings/ | ||
| writers/ |
| | ada | |
| | bin/ | |
| engine/ | ||
| fonts/ | ||
| internal/ | ||
| text/ | ||
| util/ |
|  | Home | |
|  | Showcase | |
 | Snapshots | ||
 | Ada Source | ||
 | PHP Source | ||
 | Fonts |
|  | Sourceforge | |
|  | Summary | |
 | Downloads | ||
 | Browse CVS | ||
 | Donate | ||
 | Activity |
Hosted by
-- $Date: 2004/02/25 07:13:48 $
-- $Revision: 1.3 $
-- $Author: jcrocholl $
with Real_Numbers; use Real_Numbers;
with Real_Functions; use Real_Functions;
with Real_Strings; use Real_Strings;
with Vectors;
-- Instantiation of Vectors with Real as the Number type.
package Real_Vectors is new Vectors(Real, 0.0,
Min => Real'Min, Max => Real'Max);