10430: use domain to define symbols as real in finite check
10430: use domain to define symbols as real in finite check

This is the one place where the symbol assumption partially
control the output. If a symbol is declared as finite, real, or
complex, those definitions are used to determine if the solution
to a Mul is the union of the solutions of the factors.

This should probably be changed so that the conditions necessary for
a solution are explicitly returned with the solution and not modified
by assumptions on the symbol.

souravsingh/sympy,drufat/sympy,aktech/sympy,souravsingh/sympy,sampadsaha5/sympy,rahuldan/sympy,Titan-C/sympy,Curious72/sympy,jerli/sympy,sampadsaha5/sympy,kaushik94/sympy,chaffra/sympy,hargup/sympy,drufat/sympy,chaffra/sympy,ChristinaZografou/sympy,jerli/sympy,mafiya69/sympy,skidzo/sympy,rahuldan/sympy,Curious72/sympy,mafiya69/sympy,kaushik94/sympy,madan96/sympy,ChristinaZografou/sympy,jaimahajan1997/sympy,hargup/sympy,yashsharan/sympy,postvakje/sympy,postvakje/sympy,madan96/sympy,mafiya69/sympy,Titan-C/sympy,yashsharan/sympy,jerli/sympy,jaimahajan1997/sympy,skidzo/sympy,rahuldan/sympy,aktech/sympy,kaushik94/sympy,aktech/sympy,ChristinaZografou/sympy,jaimahajan1997/sympy,chaffra/sympy,madan96/sympy,souravsingh/sympy,sampadsaha5/sympy,drufat/sympy,postvakje/sympy,Curious72/sympy,skidzo/sympy,yashsharan/sympy,Titan-C/sympy,hargup/sympy