Struct SolutionSpaceM 

pub struct SolutionSpaceM {
    pub num_vars: usize,
    pub m: u64,
    pub particular: Vec<u64>,
    pub kernel_basis: Vec<Vec<u64>>,
}

The complete solution space of a ℤ/pᵏ linear system, in symmetry-broken form: a particular solution plus a generating set of the kernel submodule (each generator is a column of the Smith transform V scaled by its pivot’s freedom q/gcd(dₜ,q)). The prime-power analogue of crate::modp::SolutionSpaceP over a local ring — and the substrate of the scalable forced/linked break: a variable the kernel never moves is forced.

Fields

num_vars: usize

m: u64

particular: Vec<u64>

kernel_basis: Vec<Vec<u64>>