[MathJax on]
4 Implemented packages
4.1 MPFR
4.1-1 IsMPFRFloat
‣ TYPE_MPFR | ( global variable ) |
The category of floating-point numbers.
Note that they are treated as commutative and scalar, but are not necessarily associative.
4.2 MPFI
4.2-1 IsMPFIFloat
‣ TYPE_MPFI | ( global variable ) |
The category of intervals of floating-point numbers.
Note that they are treated as commutative and scalar, but are not necessarily associative.
4.3 MPC
4.3-1 IsMPCFloat
‣ TYPE_MPC | ( global variable ) |
The category of intervals of floating-point numbers.
Note that they are treated as commutative and scalar, but are not necessarily associative.
4.4 CXSC
4.4-1 IsCXSCReal
‣ IsCXSCComplex | ( filter ) |
‣ IsCXSCInterval | ( filter ) |
‣ TYPE_CXSC_RP | ( global variable ) |
‣ TYPE_CXSC_CP | ( global variable ) |
‣ TYPE_CXSC_RI | ( global variable ) |
‣ TYPE_CXSC_CI | ( global variable ) |
The category of floating-point numbers.
Note that they are treated as commutative and scalar, but are not necessarily associative.
4.5 FPLLL
4.5-1 FPLLLReducedBasis
‣ FPLLLReducedBasis( m ) | ( operation ) |
Returns: A matrix spanning the same lattice as m.
This function implements the LLL (Lenstra-Lenstra-Lovász) lattice reduction algorithm via the external library fplll.
The result is guaranteed to be optimal up to 1%.
4.5-2 FPLLLShortestVector
‣ FPLLLShortestVector( m ) | ( operation ) |
Returns: A short vector in the lattice spanned by m.
This function implements the LLL (Lenstra-Lenstra-Lovász) lattice reduction algorithm via the external library fplll, and then computes a short vector in this lattice.
The result is guaranteed to be optimal up to 1%.