Include ()'s in latex conversion of Implies
additional test of latex Implies grouping
fix sign to recognize sqrt with negative arg
watch for sign change from I in sign()
simplify sign code, watch for recursion
add sign.is_(nonnegative|nonpositive)
Change Kane and Lagrange attributes

- KanesMethod has q and u as full attributes
- LagrangesMethod has q as a full attribute
- KanesMethod now stores forcelist and bodylist as attributes
Deprecate set.is_real property, use set.is_subset(Reals) instead

fixes #6212
minor docstring edit [skip ci]
expand sign docstring to reflect its complex nature
bug fix in dup_zz_zassenhaus for issue 8037
Add @property to some attributes

- KanesMethod.q, .u, .forcelist, and .bodylist are all read-only now
- LagrangesMethod.q, .u, and .forcelist are all read-only now
Merge pull request #8038 from pernici/factor4

bug fix in dup_zz_zassenhaus for issue 8037

fixes #8037
Merge pull request #8014 from zanzibar7/bool_latex

Include ()'s in latex conversion of Implies
simplify Mul._eval_is_negative routine
simplify Mul._eval_is_even
Fixed typos in four files
Merge pull request #7996 from skirpichev/remove-is_real-for-sets

Deprecate set.is_real property, use set.is_subset(Reals) instead
Catch some "flips" for inequalities with NumberSymbol's

e.g. pi > x was processed before to (-pi) < (-x)
Merge pull request #8028 from smichr/sqrtsign

sign(sqrt(1-sqrt(2))) -> I instead of being unevaluated