ProfiniteDecomposition

with , and upper triangular — strong approximation for a matrix over .

ProfiniteDecomposition(m) a square matrix (list of lists) of ProfiniteNumber or rational entries

ProfiniteDecomposition(m, d)with = supplied explicitly rather than computed from 's entries

Domain: Adèles and idèles

Details

• Hertogh's Algorithm 8.4: , strong approximation for over .
• 's entries are profinite numbers; 's are rationals. Built on HermiteDecomposition of the denominators.

Examples

See also: HermiteDecomposition, ProfiniteNumber