Drop unused skip_abs option for Expr.compute_leading_term and calculate_series

    This was introduced in 89c7626 and then this option was unused since 9c46974
Drop obsoleted docs about skip_log option of compute_leading_term()

    This was replaced by logx option in 9c46974d
Issue 4009: Fix predicate detection in simplify_logic.

Previously, simplify_logic would assume all free symbols were predicates, and
would construct a truth table based on results of substituting True/False for
each.  This would sometimes result in incorrect simplifications when Boolean
structures were made containing other expressions.  Now, it takes anything
that is not a BooleanFunction as a predicate, then simplifies the predicates
before reassembling.
Add optional simplify parameter to simplify_logic.

Specifies whether to apply recursive simplification to predicates contained
within the boolean function being simplified.
Use xreplace instead of subs in simplify_logic.

Subs had an issue where one predicate of a boolean function was contained
entirely within another predicate of a boolean function (eg. predicates x,
and x+1).  The smaller predicate would sometimes be substituted before the
larger, causing the larger to not be substituted, and potentially causing
the simplification to produce incorrect results.  This appeared to happen
on only some invocations of the interpreter: the added test would sometimes
pass and sometimes fail.

Xreplace instead searches for all predicates simultaneously, matching the
largest predicate that it can in any expression, thereby preventing this
issue.
Fix issue 2497: implement sequence repetition for Tuple (mul to integer)
Merge pull request #2475 from skirpichev/2497-Tuple-mul

Fix issue 2497: implement sequence repetition for Tuple (mul to integer)
Fix issue 3583: Implement _eval_nseries for Ei and _eis
Add test for issue 3583
factor_list: divide out content before factoring
Merge pull request #2465 from skirpichev/3583-ei-series

Fix issue 3583: Implement _eval_nseries for Ei and _eis
Merge pull request #2451 from Tempel/4009_simplify_logic

Issue 4009: Fix predicate detection in simplify_logic.
Merge pull request #2438 from skirpichev/misc-calculate_series

Cleanup some options in Expr.compute_leading_term and calculate_series
Merge pull request #2484 from katjasophie/factor_frac_field

factor_list: fix factorization of polynomials over polynomial rings or fraction fields
Merge branch 'master' into AlgebraicDomain
minpoly: add a test
minpoly: use rational numbers instead of floats in _choose_factor