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://sagecell.sagemath.org/?z=eJx9js0OgyAQhO8mvMPeALsXq1eexGhCUtISBSxYA29fUZP-Jd3T5NvZ2YmYcBCL9IzGLCknhQzhYRSLSL2S4xtJP2R4kclrO7ONT7N2NjC-UlKouw0goG3KCELAUK6ir5EUcEx1LtO-yepjFfsGTlCvtMmOqsuB-6PgxkWxHI7QbtU7lOPVeT3fjKAhmSlRvDgjtRVHSf7v-Mv6BE8YUis=&lang=sage&interacts=eJyLjgUAARUAuQ==>, > >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 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/aeeb7c28-7f9f-46bb-b9d1-b7bc3d140697n%40googlegroups.com. -- 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/F9ABC7B0-8A45-4816-8230-C80622F80ECA%40gmail.com.
