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.

remove_common_factors¶

proveit.numbers.remove_common_factors(expr_A, expr_B)[source]¶: Return the portion of expr_A that remains after removing the factors that are in common with expr_B. Canonical forms are used to determine which factors are in common, but the returned portion of expr_A will be kept in its original form.