sympy__sympy-16503
Com base na tarefa, preciso de gerar um patch para o repositório sympy/sympy para corrigir o problema de centragem no pretty print do Sum. Deixe-me analisar o problema e criar um patch adequado com base nas pistas fornecidas na issue.
- Skills
- Investigação em IA
- 3
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-16503 && curl -fsSL https://doutorai.pt/data/lib/skills__sympy-sympy-16503.md -o .claude/skills/sympy-sympy-16503/SKILL.mdCole este comando no terminal, na pasta do seu projeto, e o componente é instalado automaticamente.
Conteúdo
Based on the task, I need to generate a patch for the sympy/sympy repository to fix the Sum pretty print centering issue. Let me analyze the problem and create a proper patch based on the hints provided in the issue.
The issue is that when printing `Sum(x, (x, 1, oo)) + 3`, the summand `x` and the `+ 3` are not properly aligned. Looking at the hints:
1. The problem is in `sympy/printing/pretty/pretty.py` around line 575
2. The return statement `return d, h + 2*more, lines, more` needs adjustment
3. Changing `more` to `more // 2` in the last position helps but causes test failures
The key in
- 🔒 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.