 
  Bruce Schneier doesn't reduce matrices. He pounds them into a single equation with the desired solutions set.
Things you might not know about Bruce Schneier
 
  Bruce Schneier doesn't reduce matrices. He pounds them into a single equation with the desired solutions set.