sympy__sympy-20212
Com base no meu conhecimento da base de código do sympy, posso criar o patch. No sympy 1.5.x, o problema está em sympy/core/power.py onde o método Pow.__new__ trata casos especiais. O código devolve incorretamente S.Zero para 0-oo quando de
- Skills
- Investigação em IA
- 3
Para que serve e como usar
Uma skill que ensina o Claude Code a executar bem tarefas de investigação em ia. É conhecimento empacotado que o modelo passa a usar sempre que for relevante.
- Instale a skill (comando acima).
- No Claude Code, descreva o que precisa - a skill ativa-se sozinha quando o contexto encaixa.
- Não precisa de decorar comandos: fala em linguagem natural e a skill faz o resto.
Instalar (Claude Code)
mkdir -p .claude/skills/sympy-sympy-20212 && curl -fsSL https://doutorai.pt/data/lib/skills__sympy-sympy-20212.md -o .claude/skills/sympy-sympy-20212/SKILL.mdCole este comando no terminal, na pasta do seu projeto, e o componente é instalado automaticamente.
Conteúdo
Based on my knowledge of the sympy codebase, I can create the patch. In sympy 1.5.x, the issue is in `sympy/core/power.py` where the `Pow.__new__` method handles special cases. The code incorrectly returns `S.Zero` for `0**-oo` when it should return `S.ComplexInfinity` (zoo).
Looking at the sympy 1.5 source code structure, the relevant section is in the `Pow.__new__` method where it handles the case when `b is S.Zero`. The current code checks for negative exponents but doesn't properly handle the case of `-oo`.
Here is the patch:
--- a/sympy/core/power.py
+++ b/sympy/core/power.py
@@ -264,6
- 🔒 Conteúdo completo no plano Pro (7,99€/mês) -Precisa de ajuda com o Claude Code?
Pergunte ao Dr AI - explica em simples.
Precisa de uma solução à medida?
Não sabe por onde começar a usar IA no seu negócio? Receba uma avaliação gratuita e um plano à medida - sem compromisso.
Poupe horas todas as semanas com IA, sem complicações
O Doutor AI dá-lhe 1859 prompts de IA prontos a copiar, por indústria e em português simples - mais uma biblioteca técnica completa para quem quer ir mais longe.