Is implementing a faithful mapping between some of the assumption frameworks a good GSOC project?
On Tue, Feb 24, 2026 at 9:07 AM Trevor Karn <[email protected]> wrote: > 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/CAO5hkkSC6MPMhnoCYdnFM_63dXfyT7dLtYNWPYec2tdsZ3r4Fg%40mail.gmail.com.
