1
Download Manual do Maxima
Transcript
122 Manual do Maxima Qualquer átomo simbólico pode ser um contexto, e os fatos contidos naquele contexto irão ser retidos em armazenamento até que sejam destruídos um por um através de chamadas a forget ou destruídos com um conjunto através de uma chamada a kill para destruir o contexto que eles pertencem. Contextos existem em uma hierarquía, com o raíz sempre sendo o contexto global, que contém informações sobre Maxima que alguma função precisa. Quando em um contexto dado, todos os fatos naquele contexto estão "ativos" (significando que eles são usados em deduções e recuperados) como estão também todos os fatos em qualquer contexto que for um subcontexto do contexto ativo. Quando um novo Maxima for iniciado, o usuário está em um contexto chamado initial, que tem global como um subcontexto. Veja também facts, newcontext, deactivate, assume, e forget. supcontext, killcontext, deactivate (context 1, ..., context n) activate, Função Desativa os contextos especificados context 1, ..., context n. facts (item) facts () Função Função Se item for o nome de um contexto, facts (item) retorna uma lista de fatos no contexto especificado. Se item não for o nome de um contexto, facts (item) retorna uma lista de fatos conhecidos sobre item no contexto atual. Fatos que estão atuvos, mas em um diferente contexto, não são listados. facts () (i.e., sem argumento) lista o contexto atual. features Declaration Maxima recnhece ceertas propriedades matemáticas de funções e variáveis. Essas são chamadas "recursos". declare (x, foo) fornece a propriedade foo para a função ou variável x. declare (foo, recurso) declara um novo recurso foo. Por exemplo, declare ([red, green, blue], feature) declara três novos recursos, red, green, e blue. O predicado featurep (x, foo) retorna true se x possui a propriedade foo, e false de outra forma. A infolista features é uma lista de recursos conhecidos. São esses integer, noninteger, even, odd, rational, irrational, real, imaginary, complex, analytic, increasing, decreasing, oddfun, evenfun, posfun, commutative, lassociative, rassociative, symmetric, e antisymmetric, mais quaisquer recursos definidos pelo usuário. features é uma lista de recursos matemáticos. Existe também uma lista de recursos não matemáticos, recursos dependentes do sistema. Veja status.
