This is helpful, thanks!
On Tue, Feb 24, 2026 at 7:27 AM Michael Orlitzky <[email protected]>
wrote:
> On 2026-02-24 06: 44: 07, 'Trevor Karn' via sage-devel wrote: > 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.
> If it's just for
> ZjQcmQRYFpfptBannerStart
> This Message Is From an External Sender
> This message came from outside your organization.
>
> ZjQcmQRYFpfptBannerEnd
>
> On 2026-02-24 06:44:07, 'Trevor Karn' via sage-devel wrote:
> > 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.
>
> If it's just for an example, you can do it in sympy directly:
>
> >>> from sympy import Symbol, solve
> >>> x = Symbol('x', real=True)
> >>> y = Symbol('y', real=True)
> >>> k = Symbol('k', real=True)
> >>> eqns = [4*x - k*4*x**3,
> ... 12*y - k*12*y**3,
> ... x**4 + 3*y**4 - 1]
> >>> solve(eqns, (x,y,k))
> [(-1, 0, 1),
> (1, 0, 1),
> (-sqrt(2)/2, -sqrt(2)/2, 2),
> (-sqrt(2)/2, sqrt(2)/2, 2),
> (sqrt(2)/2, -sqrt(2)/2, 2),
> (sqrt(2)/2, sqrt(2)/2, 2),
> (0, -3**(3/4)/3, sqrt(3)),
> (0, 3**(3/4)/3, sqrt(3))]
>
> A faithful mapping between the various assumption frameworks is a huge
> task, but it might be comparatively easy to fix this in sage for a few
> easy assumptions like "integer" and "real". Calling x.assume() for
> example could check for a sympy of the same name and then replace it
> with a new one having real=True or integer=True.
>
> --
> 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!EWjDGKhEuAni1zZKTZ2TuJeoPVcrTBQBxDQvV4dmqMsbT0W6b9gIOsshGgYcpduyyNGQUSyQhLiypRxWBg$.
> 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/aZ2nPDDUaoCrNsDX*40mertle__;JQ!!KwNVnqRv!EWjDGKhEuAni1zZKTZ2TuJeoPVcrTBQBxDQvV4dmqMsbT0W6b9gIOsshGgYcpduyyNGQUSyQhLiusBykiA$.
>
>
--
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/CAO5hkkRUtWFsnrbiCidXyNAaHnqv43X9ZAZiVfDUMj4z6pyNCw%40mail.gmail.com.
