sympy__sympy-19487
Com base no meu conhecimento da base de código do sympy e na descrição do problema, posso fornecer o patch para adicionar o método _eval_rewrite_as_Abs à classe sign. O problema solicita que sign(x).rewrite(Abs) devolva uma expressão Piecew
- Skills
- Investigação em IA
- 2
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-19487 && curl -fsSL https://doutorai.pt/data/lib/skills__sympy-sympy-19487.md -o .claude/skills/sympy-sympy-19487/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 and the issue description, I can provide the patch to add the `_eval_rewrite_as_Abs` method to the `sign` class. The issue asks for `sign(x).rewrite(Abs)` to return a `Piecewise` expression that handles the zero case properly.
Let me create the patch based on the standard sympy code structure:
--- a/sympy/functions/elementary/complexes.py
+++ b/sympy/functions/elementary/complexes.py
@@ -9,6 +9,7 @@
from sympy.core.logic import fuzzy_bool, fuzzy_not
from sympy.core.mul import Mul
from sympy.core.relational import Eq
+from sympy.functions.element
- 🔒 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.