Update algumas_observacoes_suplementares.md

This commit is contained in:
HuGo Sales 2018-11-25 23:18:48 +00:00 committed by GitHub
parent cfcbde6816
commit 07f341b5fa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,14 +24,14 @@ reversibilidade das variáveis. CLPFD stands for Constraint Logic Programming
over Finite Domains.
### term
Um termo é uma sequência de monómios sem adições.
Um termo é um produto de monómios.
Este é um elemento fundamental deste programa tendo sido extensivamente testado.
O primeiro predicado valida números reais definidos.
O segundo predicado valida números indefinidos com a CLPR. A verificação de que
O segundo predicado valida números indefinidos, usando a CLPR. A verificação de que
N não é um compound é necessária para assegurar que N não é uma potencia (estas
sao tratadas pelo terceiro e quarto predicado).
são tratadas pelo terceiro e quarto predicado).
O quinto predicado faz chamadas recursivas para validar uma multiplicação de
monómios.
@ -43,12 +43,12 @@ Ordenamos os monómios do por ordem crescente (isto é, de menor grau para maior
grau).
Se existir um zero na lista (um dos monómios é zero), sabemos que a qualquer
coisa a múltiplicar por zero (recorde-se a definição de termo) é zero. Assim
coisa a multiplicar por zero (recorde-se a definição de termo) é zero. Assim
unificamos Term_Out com zero e terminamos a rotina com um green cut.
Se não,
se existir apenas um elemento na lista, esta já se encontra simplificada;
se não, aplicamos as seguintes regras de simplificação:
eliminar todos os monómios que têm a constante 1
eliminar todos os monómios que têm a constante 1,
juntar monómios semelhantes (com a mesma variável)