Vectors with Rational Entries

The data type rational_vector represents a vector of Rational Numbers.

This data type is meant for use in computational geometry. It realizes free vectors as opposed to position vectors (type rat_point). The main difference between position vectors and free vectors is their behavior under affine transformations, e.g., free vectors are invariant under translations.

Strengths

• many useful functions for linear algebra predefined, so direct computation with vectors and matrices is possible
• very convenient
• computations yield exact results

Disadvantages

• about 30-100 times slower than Double Valued Vectors .

Tips

See also:

Vectors and Matrices with Integer Entries

Vectors and Matrices with Double Entries

Rational Numbers

Interval Arithmetic

Integers of Arbitrary Length

Algebraic Real Numbers

Big Floatingpoint Numbers

Floating Point Filter

Functions of numerical analysis

Manual Page Vectors with Rational Entries