From 07f341b5fa995fbe5a6370d9a84cff2f67676715 Mon Sep 17 00:00:00 2001 From: HuGo Sales Date: Sun, 25 Nov 2018 23:18:48 +0000 Subject: [PATCH] Update algumas_observacoes_suplementares.md --- algumas_observacoes_suplementares.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/algumas_observacoes_suplementares.md b/algumas_observacoes_suplementares.md index b9d9632..f3d41d8 100644 --- a/algumas_observacoes_suplementares.md +++ b/algumas_observacoes_suplementares.md @@ -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)