Skip to main content

identity

logicaffeine_proof::linalg

Function identity 

Source 
pub fn identity(n: usize) -> Vec<Vec<Rational>>
Expand description

The exact n×n identity matrix.