These are archival webpages, generated on 2023-03-20 by Prove-It Beta Version 0.3, licensed under the GNU Public Licence by Sandia Corporation. See pyproveit.org for the lastest version.

readily_factorable¶

proveit.numbers.readily_factorable(term, factor)[source]¶: Return True iff the ‘factor’ can obviously be factors out of ‘term’.