This package provides Python bindings for the Littlewood-Richardson Calculator.

fpylll is a Python wrapper for fplll.

Kiss FFT is a mixed-radix Fast Fourier Transform based up on the principle, 'Keep It Simple, Stupid.'

Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms. It provides an elegant API based on "expression templates". It is versatile: it supports all matrix sizes, all standard numeric types, various matrix decompositions and geometry features, and more.

Sollya is a computer program whose purpose is to provide an environment for safe floating-point code development. It is particularly targeted to the automated implementation of mathematical floating-point libraries (libm). Amongst other features, it offers a certified infinity norm, an automatic polynomial implementer, and a fast Remez algorithm.

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorisations, algebraic number theory, elliptic curves...), but it also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers, etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations.

Spectra stands for Sparse Eigenvalue Computation Toolkit as a Redesigned ARPACK. It is a C++ library for large scale eigenvalue problems, built on top of Eigen. It is implemented as a header-only C++ library and can be easily embedded in C++ projects that require calculating eigenvalues of large matrices.

GAP is a system for computational discrete algebra, with particular emphasis on computational group theory. It provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects.

FLINT is a C library for number theory. It supports arithmetic with numbers, polynomials, power series and matrices over many base rings, including multiprecision integers and rationals, integers modulo n, p-adic numbers, finite fields (prime and non-prime order) and real and complex numbers (via the Arb extension library).

Operations that can be performed include conversions, arithmetic, GCDs, factoring, solving linear systems, and evaluating special functions. In addition, FLINT provides various low-level routines for fast arithmetic.

xtensor is a C++ library meant for numerical analysis with multi-dimensional array expressions.

xtensor provides:

• an extensible expression system enabling lazy broadcasting.

• an API following the idioms of the C++ standard library.

• tools to manipulate array expressions and build upon xtensor.

GMP-ECM factors integers using the elliptic curve method (ECM) as well as the P-1 and P+1 algorithms. It provides a library and a stand-alone binary.

Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms. It provides an elegant API based on "expression templates". It is versatile: it supports all matrix sizes, all standard numeric types, various matrix decompositions and geometry features, and more.

Ericsson Texture Compression (ETC) is a lossy texture compression technique developed in collaboration with Ericsson Research in early 2005. libETC1 provides the encoding and decoding of ETC1 compression algorithm.

android-libziparchive is a library in common use by the various Android core host applications.

This package provides a drop-in replacement for sdkmanager from the Android SDK. It is written in Python and part of the F-Droid project. It implements the exact API of the Android sdkmanager command line. The project also attempts to maintain the same terminal output.

While the Android client integrates with the system with regular update checks and notifications, this is a simple command line client that talks to connected devices via ADB.

Google Test features an XUnit test framework, automated test discovery, death tests, assertions, parameterized tests and XML test report generation.

The libselinux library provides an API for SELinux applications to get and set process and file security contexts, and to obtain security policy decisions. It is required for any applications that use the SELinux API, and used by all applications that are SELinux-aware. This package also includes the core SELinux management utilities.

liblog represents an interface to the volatile Android Logging system for NDK (Native) applications and libraries and contain interfaces for either writing or reading logs. The log buffers are divided up in Main, System, Radio and Events sub-logs.

android-bionic-uapi provides the part of the Linux API that is safe to use for user space. It also includes system_properties.h and _system_properties.h.

adb is a versatile command line tool that lets you communicate with an emulator instance or connected Android device. It facilitates a variety of device actions, such as installing and debugging apps, and it provides access to a Unix shell that can run commands on the connected device or emulator.

android-libsparse is a library in common use by the various Android core host applications.

etc1 is a command line utility that lets you encode PNG images to the ETC1 compression standard and decode ETC1 compressed images back to PNG. This tool is part of the Android SDK for working with media files for game apps.

The standard for the ETC1 texture format can be found at http://www.khronos.org/registry/gles/extensions/OES/OES_compressed_ETC1_RGB8_texture.txt.

Provides a set of udev rules to allow using Android devices with tools such as adb and fastboot without root privileges. This package is intended to be added as a rule to the udev-service-type in your operating-system configuration. Additionally, an adbusers group must be defined and your user added to it.

Simply installing this package will not have any effect. It is meant to be passed to the udev service.