Updated doc. In previous commit there was another change; see description
Updated doc. In previous commit there was another change; see description

`YF` (exponents of prime factorization) now has a two-output version
that produces the prime factors too

lmendo/MATL