I agree in principle, but this is an example I am trying to use for my multi variable calculus class and I was trying to avoid using Groebner bases.
On Mon, Feb 23, 2026 at 10:38 PM Dima Pasechnik <[email protected]> wrote: > One should do this sort of solving via polynomial functionality - setting > up a lex order Groebner basis, etc On February 23, 2026 6: 43: 58 PM CST, > 'Trevor Karn' via sage-devel <sage-devel@ googlegroups. com> wrote: Hi > all, I attempted to > ZjQcmQRYFpfptBannerStart > This Message Is From an External Sender > This message came from outside your organization. > > ZjQcmQRYFpfptBannerEnd > One should do this sort of solving via polynomial functionality - setting > up a lex order Groebner basis, etc > > > > On February 23, 2026 6:43:58 PM CST, 'Trevor Karn' via sage-devel < > [email protected]> 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 >> <https://urldefense.com/v3/__https://sagecell.sagemath.org/?z=eJx9js0OgyAQhO8mvMPeALsXq1eexGhCUtISBSxYA29fUZP-Jd3T5NvZ2YmYcBCL9IzGLCknhQzhYRSLSL2S4xtJP2R4kclrO7ONT7N2NjC-UlKouw0goG3KCELAUK6ir5EUcEx1LtO-yepjFfsGTlCvtMmOqsuB-6PgxkWxHI7QbtU7lOPVeT3fjKAhmSlRvDgjtRVHSf7v-Mv6BE8YUis=&lang=sage&interacts=eJyLjgUAARUAuQ==__;!!KwNVnqRv!BREJ0rdJN9WPzgfGhRSNgXMt4tVwD7aZsqd8hWqro6zARpWNAsTEzhqeScRulUXdXzPlcU6qHxdvBA$>, >> I get complex solutions despite explicitly assuming x,y,k are real and >> specifying the domain to be 'real': >> >> x,y,k=var('x,y,k') >> assume(x,'real') >> assume(y,'real') >> assume(k,'real') >> print(assumptions()) >> >> eqns = [4*x == k*4*x^3, >> 12*y == k*12*y^3, >> x^4 + 3*y^4 == 1] >> >> print(solve(eqns, [x,y,k],algorithm='sympy',domain='real')) >> print(solve(eqns, [x,y,k],domain='real')) >> >> -- > 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://groups.google.com/d/topic/sage-devel/AeQ3qE75QaY/unsubscribe > <https://urldefense.com/v3/__https://groups.google.com/d/topic/sage-devel/AeQ3qE75QaY/unsubscribe__;!!KwNVnqRv!BREJ0rdJN9WPzgfGhRSNgXMt4tVwD7aZsqd8hWqro6zARpWNAsTEzhqeScRulUXdXzPlcU6q0EVBlw$> > . > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion visit > https://groups.google.com/d/msgid/sage-devel/F9ABC7B0-8A45-4816-8230-C80622F80ECA%40gmail.com > <https://urldefense.com/v3/__https://groups.google.com/d/msgid/sage-devel/F9ABC7B0-8A45-4816-8230-C80622F80ECA*40gmail.com?utm_medium=email&utm_source=footer__;JQ!!KwNVnqRv!BREJ0rdJN9WPzgfGhRSNgXMt4tVwD7aZsqd8hWqro6zARpWNAsTEzhqeScRulUXdXzPlcU5dnpYBag$> > . > -- 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/CAO5hkkTQyTP50mBXK0xwPb%2BpsVF0fi%2B4GdSLO0YjT%2B3S34%3D-aw%40mail.gmail.com.
