I would say : yes and no. A GSOC student is not at best position for repairing the sage symbolic code and designing a reasonable substitute. One needs a good knowledge of Sage code, symbolic library and CAS, and a lot of math. Though, many of the tasks in such a project might be easy to implement by a student.
On Tue, 24 Feb 2026 at 16:22, 'Trevor Karn' via sage-devel <[email protected]> wrote: > > 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. -- 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/CAGEwAA%3DfKrvn21K5NV7KQWCBHtj0JBevRwCCLNRCvAGemJOFmQ%40mail.gmail.com.
