sympy__sympy-22005
Este é um repositório diferente (loki-mode), não o repositório sympy. O problema diz respeito à função solve_poly_system do SymPy. Com base no enunciado do problema e nas pistas, preciso de gerar uma correção para o repositório SymPy.
- 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-22005 && curl -fsSL https://doutorai.pt/data/lib/skills__sympy-sympy-22005.md -o .claude/skills/sympy-sympy-22005/SKILL.mdCole este comando no terminal, na pasta do seu projeto, e o componente é instalado automaticamente.
Conteúdo
This is a different repository (loki-mode), not the sympy repository. The issue is about SymPy's `solve_poly_system` function. Based on the problem statement and hints, I need to generate a patch for the SymPy repository.
Looking at the issue:
1. `solve_poly_system((x - 1,), x, y)` correctly raises `NotImplementedError`
2. `solve_poly_system((y - 1,), x, y)` incorrectly returns `[(1,)]` instead of raising an error
The discussion in the hints indicates the fix should be: `if len(basis) < len(gens)` - this ensures that when the number of polynomials in the Groebner basis is less than the numb
- 🔒 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.