Fixed bug related to matrices of Fraction objects. Added diagnostics based on known solutions.