Matrix fractions and strict system equivalence