fixed a bug in testing for trivial comparisons in fm_mult, added an example