On February 24, 2026 7:27:24 AM CST, 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.
You can use resultants instead.
That's much less extra material...
>
>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 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/EA3A9A74-1466-4E8E-ACC8-8278EB96A591%40gmail.com.
