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 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/aZ2nPDDUaoCrNsDX%40mertle.
