Anterior: Introdução a grobner [Conteúdo][Índice]
Valor padrão: lex
Esse comutador globalcontrola qual a ordenação monomial é usada em polinomio e em cálculos com Bases de Groebner. Se não for escolhidat, lex será usada.
Valor padrão: expression_ring
Esse comutador indica o anel de coeficiente dos polinômios que
irá ser usado em cálculos de grobner. Se não for escolhido, o anel de expressão
geral do maxima’s irá ser usado. Essa variável pode ser escolhida para
ring_of_integers se for desejado.
Valor padrão: false
Nome da ordem padrão de eliminação de variáveis em
funções de eliminação. Se não for escolhida, lex irá ser usada.
Valor padrão: false
Nome da ordem padrão para manter variáveis em funções de eliminação. Se não for escolhida, lex irá ser usada.
Valor padrão: false
Nome da ordem padrão de funções de
eliminação. Se escolhida, irá sobrescrever as escolhas nas variáveis
poly_primary_elimination_order e poly_secondary_elimination_order.
O usuário deve garantir que essa é uma ordem de eliminação verdadeira válida
para o número de variáveis eliminadas.
Valor padrão: false
Se escolhida para true, todas as funções no pacote grobner irão retornar cada
polinômio como uma lista de termos na ordem monomial corrente em lugar de
retornar uma expressão geral do maxima.
Valor padrão: false
Se escolhida para true, produz saída de depuração e rastros.
Valor padrão: buchberger
Valores possíveis:
buchberger
parallel_buchberger
gebauer_moeller
O nome do algorítmo usado para encontrar as bases de Groebner.
Valor padrão: false
Se não for false, usa redução de topo somente se for possível. Redução de
topo significa que o algorítmo de divisão para após a primeira
redução.
poly_add, poly_subtract, poly_multiply e poly_expt
são as operações aritméticas sobre polinômios.
Elas são executadas usando representação interna, mas os resultados são convertidos de volta à
forma geral do maxima.
Adiciona dois polinômios poli1 e poli2.
(%i1) poly_add(z+x^2*y,x-z,[x,y,z]);
2
(%o1) x y + x
Subtrai o polinômio poli2 do polinômio poli1.
(%i1) poly_subtract(z+x^2*y,x-z,[x,y,z]);
2
(%o1) 2 z + x y - x
Retorna o produto dos polinômios poli1 e poli2.
(%i2) poly_multiply(z+x^2*y,x-z,[x,y,z])-(z+x^2*y)*(x-z),expand; (%o1) 0
Retorna o polinômio syzygy (S-polinomial) de dois polinômios poli1 e poli2.
Retorna o polinômio poli dividido pelo MDC entre seus coeficientes.
(%i1) poly_primitive_part(35*y+21*x,[x,y]); (%o1) 5 y + 3 x
Retorna o polinômio poli dividido pelo coeficiente lider.
poly_normalize assume que a divisão é possível, o que nem sempre ocorre
em anéis que não são corpos (fields).
Essa função transforma polinômios para a forma interna e da forma interna para a forma geral. poly_expand
é equivalente a expand(poly) se poli passa corretamente para
um polinômio. Se a representação não for compatível com um
polinômio nas variáveis varlist, o resultado é um erro.
Esse resultado em erro pode ser usado para testar se uma expressão transforma-se corretamente para a
representação interna. Os seguintes exemplos ilustra que
variáveis de funções indexadas e transcendentes são permitidas.
(%i1) poly_expand((x-y)*(y+x),[x,y]);
2 2
(%o1) x - y
(%i2) poly_expand((y+x)^2,[x,y]);
2 2
(%o2) y + 2 x y + x
(%i3) poly_expand((y+x)^5,[x,y]);
5 4 2 3 3 2 4 5
(%o3) y + 5 x y + 10 x y + 10 x y + 5 x y + x
(%i4) poly_expand(-1-x*exp(y)+x^2/sqrt(y),[x]);
2
y x
(%o4) - x %e + ------- - 1
sqrt(y)
(%i5) poly_expand(-1-sin(x)^2+sin(x),[sin(x)]);
2
(%o5) - sin (x) + sin(x) - 1
eleva poli a um inteiro positivo número. If número não for um inteiro positivo um erro irá ser mostrado.
(%i1) poly_expt(x-y,3,[x,y])-(x-y)^3,expand; (%o1) 0
poly_content extrai o MDC entre seus coeficientes
(%i1) poly_content(35*y+21*x,[x,y]); (%o1) 7
Realiza a divisão falsa do polinômio poli pela lista de \(n\) polinômios polilist. Retorna multiplos valores. O primeiro valor é uma lista de quocientes \(a\). O segundo valor é o resto \(r\). O terceiro argumento é um coeficiente escalar \(c\), tal que \(c*poli\) pode ser dividido porpolilist dentro do anel dos coeficientes, que não é necessáriamente corpo. Finalmente, o quarto valor é um contador inteiro do número de reduções realizadas. O objetos resultantes satisfazem à equação:
\(c*poly=sum(a[i]*polylist[i],i=1...n)+r\).
Divide um polinômio poli1 por outro polinômio poli2. Assume que a divisão exata (sem resto) é possível. Retorna o quociente.
poly_normal_form encontra a forma normal de um polinômio poli com relação a
um conjunto de polinômios polilist.
Returns true if polilist is a Groebner basis with respect to the current term
order, by using the Buchberger
criterion: for every two polynomials \(h1\) and \(h2\) in polilist the
S-polynomial \(S(h1,h2)\) reduces to 0 \(modulo\) polilist.
poly_buchberger realiza o algorítmo de Buchberger sobre uma lista de
polinômios e retorna a base de Grobner resultante.
O k-ésimo ideal de eliminação \(I_k\) de uma Ideal \(I\) sobre \(K[ x[1],...,x[n] ]\) é o ideal \(intersecção(I, K[ x[k+1],...,x[n] ])\).
O ideal quociente \(I:J\) é o ideal \({h|for all w em J: w*h em I}\).
O ideal \(I:p^inf\) é o ideal \({h| existe um n em N: p^n*h em I}\).
O ideal \(I:J^inf\) é o ideal \({h| existe um n em N \and a p em J: p^n*h em I}\).
O ideal radical \(sqrt(I)\) é o ideal
\({h| existe um n em N : h^n em I }\).
poly_reduction reduz uma lista de polinômios polilist, de forma que
cada poinômio é completametne reduzido com relação a outros polinômios.
Retorna uma sublista da lista de polinômios polilist gerando o mesmo ideal de monômio que polilist mas minimo, i.e. nenhum monômio líder de um polinômio na sublista divide o monômio líder de outro polinômio.
poly_normalize_list aplica poly_normalize a cada polinômio na lista.
Que significa que poly_normalize_list divide todo polinômio em uma lista polilist por seu coeficiente líder.
Retorna uma base de Groebner do ideal gerado pelos polinômios polilist. Afetado pelos sinalizadores globais.
Retorna uma base de Groebner reduzida do ideal gerado pelos polinômios polilist. Afetado pelos sinalizadores globais.
poly_depends testa se um polinômio depende da variável var.
poly_elimination_ideal retorna a base de grobner do \(num\)-ésimo ideal de eliminação de um
ideal especificado como uma lista de polinômios geradores (não necessáriamente base de Groebner)
Retorna a base reduzida de Groebner do ideal quociente
\(I(polilist1):I(polilist2)\)
onde \(polilist1\) e \(polilist2\) são duas listas de polinômios.
poly_ideal_intersection retorna a intersecção entre dois ideais.
Retorna o mínimo múltiplo comum entre poli1 e poli2.
Retorna máximo divisor comum de poli1 e poli2.
poly_grobner_equal testa se duas bases de Groebner geram o mesmo ideal.
Retorna true se as duas listas de polinômios polilist1 e polilist2, assumidas serem bases de Groebner,
geram o mesmo ideal, e false de outra forma.
Isso é equivalente a verificar que todo polinômio da primeira base é reduzido a 0
módulo a segunda base e vice-versa. Note que no exemplo abaixo a
primeira lista não é uma base de Groebner, e dessa forma o resultado é false.
(%i1) poly_grobner_equal([y+x,x-y],[x,y],[x,y]); (%o1) false
poly_grobner_subsetp testa se um ideal gerado pela polilist1
está contido em um ideal gerado pela polilist2. Para esse teste sempre tenha sucesso,
polilist2 deve ser uma base de Groebner.
Retorna true se um polinômio poli pertence ao ideal gerado pela
lista polinomial polilist, que é assumida como sendouma base de Groebner. Retorna false de outra forma.
poly_grobner_member testa se um polinômio pertence a um ideal gerado por uma lista de polinômios,
que é assumida ser uma base de Groebner. Equivale a normal_form sendo 0.
Retorna abase de Groebner reduzida da saturação do ideal
I(polylist):poly^inf
Geometricamente, sobre um corpo algebricamente fechado, esse é um conjunto de polinmios no ideal gerado por polilist que não tende identicamente a zero sobre a variação de poli.
Retorna a base de Groebner reduzida da saturação do ideal
I(polylist1):I(polylist2)^inf
Geometricamente, sobre um corpo algebricamente fechado, esse é um conjunto de polinmios no ideal gerado por polilist1 que não tende identicamente a zero sobre a variação de polilist2.
polilist2 ist a list of n polynomials [poly1,...,polyn].
Retorna a base de Groebner reduzida do ideal
I(polylist):poly1^inf:...:polyn^inf
obtido por uma seqüência de sucessivas saturações nos polinômios da lista polinômial polilist2 do ideal gerado pela lista polinomial polilist1.
polilistlist is a list of n list of polynomials [polylist1,...,polylistn].
Retorna a base reduzida de Groebner da saturação do ideal
I(polylist):I(polylist_1)^inf:...:I(polylist_n)^inf
poly_saturation_extension implementa o famoso artifício de Rabinowitz.
Anterior: Introdução a grobner [Conteúdo][Índice]