sympy__sympy-14396
Com base no meu conhecimento da base de código do SymPy e na mensagem de erro no problema, consigo compreender o problema. O problema está em sympy/polys/polyoptions.py no método Domain.preprocess. Olhando para o rastreio (traceback) e a me
- Skills
- Investigação em IA
- 6
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-14396 && curl -fsSL https://doutorai.pt/data/lib/skills__sympy-sympy-14396.md -o .claude/skills/sympy-sympy-14396/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 error message in the issue, I can understand the problem. The issue is in `sympy/polys/polyoptions.py` in the `Domain.preprocess` method. Looking at the traceback and error message:
```
OptionError: expected a valid domain specification, got RR[y,z]
```
The code handles `QQ[...]` (rational polynomial rings) but doesn't handle `RR[...]` (real polynomial rings). Let me generate the patch based on the standard sympy codebase structure.
The `Domain.preprocess` method needs to be extended to handle `RR[...]` patterns similar to how it handles `
- 🔒 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.