diogo/polynomialmani.pl
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Algumas correções

Browse Source
This commit is contained in:
Diogo Cordeiro 2018-11-25 23:01:51 +00:00
parent 7bdee702d5
commit cfcbde6816
1 changed files with 15 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
algumas_notas_suplementares.md → algumas_observacoes_suplementares.md
View File

@ -1,17 +1,21 @@
# O que é isto?
Este documento pretende tornar mais claro o funcionamento do polymani.pl. Para
isso explicamos brevemente a estrutura e realçamos algumas particularidades de alguns predicados que de outro modo poderiam parecer "abstratos".
Este documento pretende tornar mais claro o funcionamento do polymani.pl.
Para isso explicamos brevemente a estrutura e realçamos algumas
particularidades de alguns predicados que de outro modo poderiam parecer
"abstratos".
## Algumas palavras sobre a estrutura e o frontend
O polymani divide-se em frontend e backend. O backend tem todos os predicados usados para interação conforme especificado
no assignment1.pdf.
O polymani divide-se em frontend e backend. O backend tem todos os predicados
usados para interação conforme especificado no assignment1.pdf.
Por outro lado, para que uma melhor experiência de utilização fosse possível, tomamos a liberdade de implementar dois predicados auxiliares que, para inputs inválidos, disponibilizam uma explicação mais amigável do erro.
Por outro lado, para que uma melhor experiência de utilização fosse possível,
tomamos a liberdade de implementar dois predicados auxiliares que, para inputs
inválidos, disponibilizam uma explicação mais amigável do erro.
## Backend
Abaixo descrevem-se alguns predicados selecionados com vista a tornar a
compreensão dos mesmos mais rápida e simples destacando-se algumas particularidades que poderiam não ser evidentes numa primeira
leitura.
compreensão dos mesmos mais rápida e simples destacando-se algumas
particularidades que poderiam não ser evidentes numa primeira leitura.
### power
As comparações CLPFD permitiram-nos comparar se uma determinada variavel
@ -43,8 +47,8 @@ coisa a múltiplicar 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
juntar monómios semelhantes (com a mesma variável)
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
juntar monómios semelhantes (com a mesma variável)