## DocumentationArageli is the C++ library and the package of programs
for computations in The library supports the following structures (including basic operations on them): integer number with arbitrary precision, floating point number with arbitrary precision, rings of fractions (including rational numbers, rational functions etc), univariate polynomials (dense and sparse representations), multivariate polynomials (dense and sparse representations), vectors, matrices, finite fields, residue rings (modular arithmetic), algebraic numbers, convex polyhedra. In respect to algorithms, the library includes the following: Euclidean and extended Euclidean algorithm for GCD; Euclidean binary algorithm; Gaussian elimination and Gauss-Bareiss algorithm for the reduced row echelon form of a matrix for field and integer domain respectively; Smith diagonal form for integer and polynomial matrices; Solovay-Strassen, Miller-Rabin and Agrawal-Kayal-Saxena test for primality; integer number factorization by Pollard's rho-method and Pollard's p-1 method; solving to linear programming problem by simplex method, integer linear programming problem by Gomory's methods; location of roots with rational bounds by Sturm's algorithm; RSA encryption; double description method for polyhedral cone; triangulation of polyhedral cone; LLL algorithm for finding reduced basis of a lattice. Almost all structures and algorithms listed above are represented as generic (templated) classes and functions. User can construct any combinations of basic structures. But not all structuress listed above are completely implemented yet. Arageli is being developed and we are trying to make the library better and better every single day. ## Documentation FilesThe following list corresponds to almost all content of 'doc' directory of Arageli Package after building all types of documentation. The documentation is actual for the latest released version of the library, 2.2.1.191. You can download all documentation files as a single archive. - Short Installation Guide for Visual C++ 7.1 (PDF, Russian)
- Arageli User's Guide (PDF, Russian)
- Arageli User's Guide (PDF, English, the latest version that isn't included to the single archive)
- Algoritm Controllers (PDF, Russian)
- Overview of Arageli (PDF, Russian)
- Arageli Announce (PDF, English, preprint for ICMS'2006)
- Mixed Computations in Arageli (PDF, Russian)
- Comparision of Objects (PDF, Russian)
- Reference Counter (PDF, Russian, only plan of the document)
- Several Simple Examples (Microsoft Word, Russian)
- Recomendations for Test Writers (PDF, Russian)
- Vectors and Matrices (PDF, Russian)
You can also read reference guide online. If you have any questions about
information on this page or you have noticed an error,
please contact Arageli Information
Service.Design and content - © Nikolai Yu. Zolotykh, 2006, © Sergey S. Lyalin, 2006. Webmaster - Sergey V. Lobanov University of Nizhni Novgorod, Russia. |