[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Índice] | [ ? ] |
26.1 Definições para Funções Afins |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Índice] | [ ? ] |
Resolve equações lineares simultâneas expr_1,
..., expr_m para as variáveis x_1, ..., x_n. Cada
expr_i pode ser uma equação ou uma expressão
geral; se for dada como uma expressão geral, será tratada como uma
equação na forma expr_i = 0
.
O valor de retorno é uma lista de equações da forma
[x_1 = a_1, ..., x_n = a_n]
onde
a_1, ..., a_n são todas livres de x_1, ...,
x_n.
fast_linsolve
é mais rápido que linsolve
para sistemas
de equações que são esparsas.
Retorna uma base de Groebner para as equações expr_1, ..., expr_m.
A funçã polysimp
pode então
ser usada para simplificar outras funções relativas às equações.
grobner_basis ([3*x^2+1, y*x])$ polysimp (y^2*x + x^3*9 + 2) ==> -3*x + 2
polysimp(f)
produz 0 se e somente se f está no ideal gerado por
expr_1, ..., expr_m, isto é,
se e somente se f for uma combinação polinomial dos elementos de
expr_1, ..., expr_m.
As eqns são
equações polinomiais em variáveis não comutativas.
O valor de current_variables
é uma
lista de variáveis usadas para calcular graus. As equações podem ser
homogéneas, de forma a que o procedimento termine.
Se tiver optado por sobreposição de simplificações
em dot_simplifications
acima do grau de f, então o
seguinte é verdadeiro: dotsimp (f)
retorna 0 se, e
somente se, f está no ideal gerado pelas
equações, i.e., se e somente se f for uma
combinação polinomial dos elementos das
equações.
O grau é aquele retornado por nc_degree
. Isso por sua vez é
influenciado pelos pesos das variáveis individuais.
Atribui pesos w_1, ..., w_n to x_1, ..., x_n, respectivamente.
Esses são pesos usados em cálculos nc_degree
.
Retorna o grau de um polinómio não comutativo p. Veja declare_weights
.
Retorna 0 se e somente se f for um ideal gerado pelas equações, i.e., se e somente se f for uma combinação polinomial dos elementos das equações.
Se set_up_dot_simplifications
tiver sido feito previamente, ache o polinómio central
nas variáveis x_1, ..., x_n no grau dado, n.
Por exemplo:
set_up_dot_simplifications ([y.x + x.y], 3); fast_central_elements ([x, y], 2); [y.y, x.x];
Verifica as sobreposições através do grau n, garantindo
que tem regras de simplificaçõ suficientes em cada grau,
para dotsimp
trabalhar correctamente. Esse processo pode ser mais
rápido se souber de antemão a dimensão do espaço de
monómios. Se for de dimensão global finita, então hilbert
pode ser usada. Se não conhece as dimensões monomiais, não
especifique nenhum rank_function
. Um terceiro argumento
opcional, reset
, false
diz para não se incomodar em
perguntar sobre reiniciar coisas.
Retorna a lista de monómios independentes relativamente à simplificação actual do grau n nas variáveis x_1, ..., x_n.
Calcula a série de Hilbert através do grau n para a algebra corrente.
Faz uma lista dos coeficientes dos polinómios não comutativos p_1, ..., p_n
dos monomios não comutatvos m_1, ..., m_n.
Os coeficientes podem ser escalares. Use list_nc_monomials
para construir a lista dos
monómios.
Retorna uma lista de monómios não comutativos que ocorrem em um polinómio p ou em uma lista de polinómios p_1, ..., p_n.
Valor por omissão: false
Quando all_dotsimp_denoms
é uma lista,
os denominadores encontrados por dotsimp
são adicionados ao final da lista.
all_dotsimp_denoms
pode ser iniciado como uma lista vazia []
antes chamando dotsimp
.
Por padrão, denominadores não são colectados por dotsimp
.
[ << ] | [ >> ] | [Top] | [Contents] | [Índice] | [ ? ] |
This document was generated by Robert Dodier on Dezembro, 22 2007 using texi2html 1.76.