sympy__sympy-18087
Com base na indicação do problema e nas pistas, tenho informação suficiente para criar a correção. O problema está em sympy/simplify/fu.py na função trig_split. O problema é que quando Factors._as_expr() é chamado em algo como Factors({sin(
- 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-18087 && curl -fsSL https://doutorai.pt/data/lib/skills__sympy-sympy-18087.md -o .claude/skills/sympy-sympy-18087/SKILL.mdCole este comando no terminal, na pasta do seu projeto, e o componente é instalado automaticamente.
Conteúdo
Based on the problem statement and hints, I have enough information to create the fix. The issue is in `sympy/simplify/fu.py` in the `trig_split` function. The problem is that when `Factors._as_expr()` is called on something like `Factors({sin(x)**2: S.Half})`, it incorrectly returns `sin(x)` instead of `sqrt(sin(x)**2)`.
Looking at the hints:
1. The issue is in `TR10i` which calls `trig_split` in `fu.py`
2. Line 1901 in `fu.py` applies `._as_expr()` to `Factors({sin(x)**2: S.Half})` which returns `sin(x)` incorrectly
3. The root cause is in `exprtools.py` lines 449-458 where exponents are un
- 🔒 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.