User Portlet User Portlet

Discussions
There is a bug in the code that generates solutions of triangular systems which affects cases that involve finding solutions of quadratics with complex coefficients. Should be fixed in the next release. As a workaround, you can disable the code by...
The variable x inside the quantifier is local to the quantifier. It is not the same as the global variable x specified in FindInstance. The statement Exists[x, x \[Element] Complexes, x^2 + 1 == 0] does not have any free variables. It is a...
Hi, In V10 you can compute it using the built-in Volume function: In[1]:= reg=ImplicitRegion[x^2/a^2+y^2/b^2+z^2/c^2 =-h, {z, y, x}]; In[2]:= Volume[reg, Assumptions->a>0 && b>0 && c>0 && h>0] ...