Lll_spect

Jul 20, 2023

LLL-spectral test of linear congruential random number generators

This software calculates a normalized version of the classical spectral test for linear congruential pseudorandom number generators LCGs, where the shortest vector is replaced by an approximation obtained with the Lenstra-Lenstra-Lovasz basis reduction algorithm, which can be calculated in polynomial time. The code is able to test in up to 24 dimensions, and includes an example of how to use the test to search for good LCG parameters.



Checkout these related ports:
  • Zn_poly - C library for polynomial arithmetic
  • Zimpl - Language to translate the LP models into .lp or .mps
  • Zegrapher - Software for plotting mathematical objects
  • Zarray - Dynamically typed N-D expression system based on xtensor
  • Z3 - Z3 Theorem Prover
  • Yices - SMT solver
  • Yacas - Yet Another Computer Algebra System
  • Xtensor - Multi-dimensional arrays with broadcasting and lazy computing
  • Xtensor-python - Python bindings for xtensor
  • Xtensor-io - Xtensor plugin to read/write images, audio files, numpy npz and HDF5
  • Xtensor-blas - BLAS extension to xtensor
  • Xspread - Spreadsheet program for X and terminals
  • Xppaut - Graphical tool for solving differential equations, etc
  • Xplot - X11 plotting package
  • Xlife++ - XLiFE++ eXtended Library of Finite Elements in C++