Column-Diamond Resolution

Escribe pares de índices separados por comas.
Ejemplo: 12,13 representa x₁x₂, x₁x₃.
Se permite 11 para x₁².

Variables que generan el módulo.
Ejemplo: 1 para R/(x₁), 1,2 para R/(x₁,x₂).