sympy__sympy-21055

Com base no meu conhecimento da base de código do SymPy, posso fornecer o patch para corrigir este problema. O problema é que refine(arg(a), Q.positive(a)) deve devolver 0 (uma vez que o argumento/fase de um número real positivo é 0), mas a

Skills
Investigação em IA
0

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-21055 && curl -fsSL https://doutorai.pt/data/lib/skills__sympy-sympy-21055.md -o .claude/skills/sympy-sympy-21055/SKILL.md

Cole este comando no terminal, na pasta do seu projeto, e o componente é instalado automaticamente.

Conteúdo

ENPT

Based on my knowledge of the SymPy codebase, I can provide the patch to fix this issue. The issue is that `refine(arg(a), Q.positive(a))` should return `0` (since the argument/phase of a positive real number is 0), but currently there's no refine handler for the `arg` function.

The fix needs to add a `refine_arg` handler in `sympy/assumptions/refine.py` that:
1. Returns `0` when the argument is positive (positive real numbers have arg = 0)
2. Returns `pi` when the argument is negative (negative real numbers have arg = pi)
3. Returns the original expression otherwise

Here's the patch:

--- a/

- 🔒 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.

Ver planos