Hm. Well, thanks for the information! On Mon, Feb 23, 2026 at 7:44 PM Michael Orlitzky <[email protected]> wrote:
> On 2026-02-23 16: 43: 58, 'Trevor Karn' via sage-devel wrote: > Hi all, > > > I attempted to solve a system of equations today. I am wondering if > > this is a bug. When I run the following code from SageCell I get > complex > solutions > ZjQcmQRYFpfptBannerStart > This Message Is From an External Sender > This message came from outside your organization. > > ZjQcmQRYFpfptBannerEnd > > On 2026-02-23 16:43:58, 'Trevor Karn' via sage-devel wrote: > > Hi all, > > > > I attempted to solve a system of equations today. I am wondering if > > this is a bug. When I run the following code from SageCell I get > > complex solutions despite explicitly assuming x,y,k are real and > > specifying the domain to be 'real': > > Sadly, "assumptions don't work" is a long-standing meta bug. The > assume() function makes assumptions primarily through maxima, but not > even maxima uses them consistently. Sympy has its own assumptions, > but sage's assume() does not use them. > > The solve() function is not doing anything special to handle them... > > if algorithm == 'sympy': > from sympy import solve as ssolve > sympy_f = [s._sympy_() for s in f] > sympy_vars = tuple([v._sympy_() for v in x]) > ret = ssolve(sympy_f, sympy_vars, dict=True) > > so they are not taken into consideration. The "domain" parameter to > solve is also ignored because you have more than one equation. (That > much is vaguely documented, but sucks as a UI.) > > -- > You received this message because you are subscribed to a topic in the Google > Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://urldefense.com/v3/__https://groups.google.com/d/topic/sage-devel/AeQ3qE75QaY/unsubscribe__;!!KwNVnqRv!GyP6gME9swpw3AXr-yaHS5333Ff5gO-nd3BRv-zINKTbwcgm-nl784EjmclQw-2_FrbgLhueUM6HlRhJdg$. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion visit > https://urldefense.com/v3/__https://groups.google.com/d/msgid/sage-devel/aZ0ChPN55KfceMC_*40mertle__;JQ!!KwNVnqRv!GyP6gME9swpw3AXr-yaHS5333Ff5gO-nd3BRv-zINKTbwcgm-nl784EjmclQw-2_FrbgLhueUM5bZ0aQIg$. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/CAO5hkkS6FuDFkONY3evqNx0KGDgDtXx5SuFdYBtCDTrJp3gcCg%40mail.gmail.com.
