|
|
| Line 1: |
Line 1: |
| In [[computer algebra]], a '''regular chain''' is a particular kind of triangular set in a multivariate polynomial ring over a field. It enhances the notion of [[Wu's method of characteristic set|characteristic set]].
| | Como Perder Peso <br><br>As questões que envolvem [https://www.youtube.com/user/suplementoalimentare Como Perder Peso] tornou-se um 2014 por muitos anos. Análise aprofundada sobre pode ser uma enriquecedora experiência experiência prática. Tendo em conta que a sua influência permeia nossa sociedade, é importante lembrar que 'o que sobe deve descer diminuiu . 'Atravessando muitos cultural barreiras ainda que leva em comentários como' I não faria tocá-la com uma barcaça explosão pole 'e' i ia sim comer vespas 'no uppr suporte organizações do setor, que são provavelmente formar uma grande fortaleza dentro batalha inevitável para corações e mentes. Mantendo este em mente, neste ensaio Até este examinar as principais questões. <br><br> Interpessoais Fatores <br><br>Intercalando sociais tendências gerais formar uma rede forte pelo qual estamos todos presos. Quando T H Darcy disse 'fevour vai se espalhar "[1], ela deve ter sido também foi referning para Gostosas. Consideravelmente mais uma melodia para comunidades disfunções do que uma paródia do com o self, Como Perder Peso ajuda a fornecer dar algum tipo de equilíbrio neste mundo relacionado com sempre mudando, sempre ansiando desordem . <br><br>De suma importância para qualquer estudo de relacionado com Como Perder Peso dentro do seu contexto , é compreender os ideais relacionado com sociedade. Se a sociedade tem um filho favorito, é Gostosas. <br><br>Fatores Econômicos <br><br>Nós deixarão vivemos em um mundo que barters 'Vou te dar três Longhorns para esse chapéu, é bonito . "Nossa existência é uma geração que grita 'Hat - 20 dólares. 'Vamos examinar a Custard-Not-Mustard modelo , um sistema econômico clássico de análise. <br> Óleo essencial <br>Preços <br><br>Como Perder Peso <br><br>Que marcante gráfico. Estudos recentes indicam que qual preços do petróleo peças dentro com papel cada vez mais importante no mercado clima económico . Flutuações fortes em Comprador confiança foram vistos ao longo da última dois exercícios financeiros. <br><br>Político Fatores <br><br>Nenhum homem é uma pode ser um ilha, mas o que de política ? Contrastando os numerosos ativistas políticos em campanha para os interesses relacionado com Como Perder Peso pode ser como olhando Gostosasilisation, como é vir a ser conhecido, e um de exclusivo senso de moralidade. <br><br> Para poder consciência premiado jornalista citação Ulisses B. Adger 'complica uma miríade de progressões. "[2] Considerado por muitos como um dos" pais fundadores "da Gostosas, sua as palavras não podem ser negligenciada. Pode ser sábio para abordar o assunto com a ao usar pensou que "se você você tem que nada de bom a dizer, não diga nada '. No entanto, isto pode levar a realmente faltando para fora fatos importantes. <br><br>Desde a Renascença Como Perder Peso tornou-se cada vez mais prevalente generalizada . Que continue. <br> Realização <br><br>Na minha opinião desfiles Como Perder Peso para baixo ruas do homem e cavalheiro ondas de volta. Ele canta uma música nova, 'literalmente' plantas de interior sementes para a colheita, e é o que é uma alegria para os olhos. <br><br>Eu deixá-lo com as palavras de sobre Mariah Love Hewitt de Hollywood: 'Como Perder Peso é o novo boa ole '! E a nova ópera! '<br><br>Como Perder Peso |
| | |
| == Introduction ==
| |
| | |
| Given a linear system, one can convert it to a triangular system via [[Gaussian elimination]]. For the non-linear case,
| |
| given a polynomial system F over a field, one can convert (decompose or triangularize) it to a finite set of triangular sets, in the sense that the [[algebraic variety]] ''V''(F) is described by these triangular sets.
| |
| A triangular set may merely describe the empty set. To fix this degenerated case, the notion of regular chain was introduced, independently by Kalkbrener (1993), Yang and Zhang (1994). Regular chains also appear in Chou and Gao (1992). Regular chains are special triangular sets which are used in different algorithms for computing unmixed-dimensional decompositions of algebraic varieties. Without using factorization, these decompositions have better properties that the ones produced by [[Wu's method|Wu's algorithm]]. Kalkbrener's original definition was based on the following observation: every irreducible variety is uniquely determined by one of its [[generic point]]s and varieties can be represented by describing the generic points of their irreducible components. These generic points are given by regular chains.
| |
| | |
| == Examples ==
| |
| | |
| Denote '''Q''' the rational number field. In '''Q'''[x<sub>1</sub>, x<sub>2</sub>, x<sub>3</sub>] with variable ordering x<sub>1</sub> < x<sub>2</sub> < x<sub>3</sub>,
| |
| : <math>T = \{ x_2^2-x_1^2, x_2(x_3-x_1)\}</math>
| |
| is a triangular set and also a regular chain. Two generic points given by ''T'' are (a, a, a) and (a, -a, a) where ''a'' is transcendental over '''Q'''.
| |
| Thus there are two irreducible components, given by { x<sub>2</sub> - x<sub>1</sub>, x<sub>3</sub> - x<sub>1</sub> } and { x<sub>2</sub> + x<sub>1</sub>, x<sub>3</sub> - x<sub>1</sub> }, respectively.
| |
| Note that: (1) the [[content (algebra)|content]] of the second polynomial is x<sub>2</sub>, which does not contribute to the generic points represented and thus can be removed; (2) the [[dimension]] of each component is 1, the number of free variables in the regular chain.
| |
| | |
| == Formal definitions ==
| |
| | |
| The variables in the polynomial ring
| |
| :<math>R = k[x_1, \ldots, x_n]</math>
| |
| are always sorted as x<sub>1</sub> < ... < x<sub>n</sub>.
| |
| A non-constant polynomial ''f'' in <math>R</math> can be seen as a univariate polynomial in its greatest variable.
| |
| The greatest variable in ''f'' is called its main variable, denoted by ''mvar''(f). Let ''u'' be
| |
| the main variable of ''f'' and write it as
| |
| :<math>f = a_eu^e + \cdots + a_0</math>,
| |
| where ''e'' is the degree of ''f'' w.r.t. ''u'' and <math>a_e</math> is
| |
| the leading coefficient of ''f'' w.r.t. ''u''. Then the initial of ''f''
| |
| is <math>a_e</math> and ''e'' is its main degree.
| |
| | |
| *Triangular set
| |
| | |
| A non-empty subset ''T'' of <math>R</math> is a triangular set,
| |
| if the polynomials in ''T'' are non-constant and have distinct main variables.
| |
| Hence, a triangular set is finite, and has cardinality at most ''n''.
| |
| | |
| *Regular chain
| |
| | |
| Let T = {t<sub>1</sub>, ..., t<sub>s</sub>} be a triangular set such that
| |
| ''mvar''(t<sub>1</sub>) < ... < ''mvar''(t<sub>s</sub>),
| |
| <math>h_i</math> be the initial of ''t''<sub>i</sub> and ''h'' be the product of h<sub>i</sub>'s. | |
| Then ''T'' is a ''regular chain'' if
| |
| : <math>\mathrm{resultant}(h, T) =
| |
| \mathrm{resultant}(\cdots(\mathrm{resultant}(h, t_s),\ldots, t_i)\cdots)\neq 0</math>,
| |
| where each [[resultant]] is computed with respect to the main variable of ''t''<sub>i</sub>, respectively.
| |
| This definition is from Yang and Zhang, which is of much algorithmic flavor.
| |
| | |
| *Quasi-component and saturated ideal of a regular chain
| |
| | |
| The ''quasi-component'' ''W''(''T'') described by the regular chain ''T'' is
| |
| :<math>W(T)=V(T)\setminus V(h)</math>, that is,
| |
| the set difference of the varieties ''V''(''T'') and ''V''(''h'').
| |
| The attached algebraic object of a regular chain is its ''saturated ideal''
| |
| :<math>\mathrm{sat}(T)=(T):h^\infty</math>.
| |
| A classic result is that the [[Zariski closure]] of ''W''(''T'') equals the variety defined by sat(''T''), that is,
| |
| :<math>\overline{W(T)}=V(\mathrm{sat}(T))</math>,
| |
| and its dimension is n - |T|, the difference of the number of variables and the number of polynomials in ''T''.
| |
| | |
| *Triangular decompositions
| |
| | |
| In general, there are two ways to decompose a polynomial system ''F''. The first one is to decompose lazily, that is, only to represent its [[generic point]]s in the (Kalkbrener) sense,
| |
| : <math>\sqrt{(F)}=\cap_{i=1}^{e}\sqrt{\mathrm{sat}(T_i)}</math>.
| |
| The second is to describe all zeroes in the [[Daniel Lazard|Lazard]] sense,
| |
| : <math>V(F)=\cup_{i=1}^{e}W(T_i)</math>.
| |
| There are various algorithms available for triangular decompositions in either sense.
| |
| | |
| == Properties ==
| |
| | |
| Let ''T'' be a regular chain in the polynomial ring ''R''.
| |
| | |
| * The saturated ideal sat(''T'') is an ''unmixed ideal'' with dimension n − |''T''|.
| |
| | |
| * A regular chain holds a strong elimination property in the sense that:
| |
| : <math> \mathrm{sat}(T \cap k[x_1, \ldots , x_i]) = \mathrm{sat}(T) \cap k[x_1,\ldots , x_i] </math>.
| |
| | |
| * A polynomial ''p'' is in sat(''T'') if and only if p is pseudo-reduced to zero by ''T'', that is,
| |
| : <math>p\in\mathrm{sat}(T)\iff \mathrm{prem}(p, T)=0</math>.
| |
| :Hence the membership test for sat(''T'') is algorithmic. | |
| | |
| * A polynomial p is a '''[[zero-divisor]]''' modulo sat(''T'') if and only if <math>\mathrm{prem}(p, T)\neq0</math> and <math>\mathrm{resultant}(p, T)=0</math>.
| |
| :Hence the regularity test for sat(''T'') is algorithmic.
| |
| | |
| * Given a prime ideal ''P'', there exists a regular chain ''C'' such that ''P'' = sat(''C'').
| |
| | |
| * If the first element of a regular chain ''C'' is an irreducible polynomial and the others are linear in their main variable, then sat(''C'') is a prime ideal.
| |
| | |
| * Conversely, if ''P'' is a prime ideal, then, after almost all linear changes of variables, there exists a regular chain ''C'' of the preceding shape such that ''P'' = sat(''C'').
| |
| | |
| * A triangular set is a regular chain if and only if it is a [[Wu's method of characteristic set#Ritt characteristic set|Ritt characteristic set]] of its saturated ideal.
| |
| | |
| == See also ==
| |
| *[[Wu's method of characteristic set]]
| |
| *[[Gröbner basis]]
| |
| *[[RegularChains]], a software to compute with regular chains
| |
| *[[Regular semi-algebraic system]]
| |
| *[[Triangular decomposition]]
| |
| | |
| == Further references ==
| |
| | |
| * P. Aubry, D. Lazard, M. Moreno Maza. On the theories of triangular sets. Journal of Symbolic Computation, 28(1–2):105–124, 1999.
| |
| * F. Boulier and F. Lemaire and M. Moreno Maza. Well known theorems on triangular systems and the D5 principle. Transgressive Computing 2006, Granada, Spain.
| |
| * E. Hubert. Notes on triangular sets and triangulation-decomposition algorithms I: Polynomial systems. LNCS, volume 2630, Springer-Verlag Heidelberg.
| |
| * F. Lemaire and M. Moreno Maza and Y. Xie. The RegularChains library. Maple Conference 2005.
| |
| * M. Kalkbrener: Algorithmic Properties of Polynomial Rings. J. Symb. Comput. 26(5): 525–581 (1998).
| |
| * M. Kalkbrener: A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties. J. Symb. Comput. 15(2): 143–167 (1993).
| |
| * D. Wang. Computing Triangular Systems and Regular Systems. Journal of Symbolic Computation 30(2) (2000) 221–236.
| |
| * Yang, L., Zhang, J. (1994). Searching dependency between algebraic equations: an algorithm applied to automated reasoning. Artificial Intel ligence in Mathematics, pp. 14715, Oxford University Press.
| |
| | |
| [[Category:Equations]]
| |
| [[Category:Algebra]]
| |
| [[Category:Polynomials]]
| |
| [[Category:Algebraic geometry]]
| |
| [[Category:Computer algebra]]
| |
Como Perder Peso
As questões que envolvem Como Perder Peso tornou-se um 2014 por muitos anos. Análise aprofundada sobre pode ser uma enriquecedora experiência experiência prática. Tendo em conta que a sua influência permeia nossa sociedade, é importante lembrar que 'o que sobe deve descer diminuiu . 'Atravessando muitos cultural barreiras ainda que leva em comentários como' I não faria tocá-la com uma barcaça explosão pole 'e' i ia sim comer vespas 'no uppr suporte organizações do setor, que são provavelmente formar uma grande fortaleza dentro batalha inevitável para corações e mentes. Mantendo este em mente, neste ensaio Até este examinar as principais questões.
Interpessoais Fatores
Intercalando sociais tendências gerais formar uma rede forte pelo qual estamos todos presos. Quando T H Darcy disse 'fevour vai se espalhar "[1], ela deve ter sido também foi referning para Gostosas. Consideravelmente mais uma melodia para comunidades disfunções do que uma paródia do com o self, Como Perder Peso ajuda a fornecer dar algum tipo de equilíbrio neste mundo relacionado com sempre mudando, sempre ansiando desordem .
De suma importância para qualquer estudo de relacionado com Como Perder Peso dentro do seu contexto , é compreender os ideais relacionado com sociedade. Se a sociedade tem um filho favorito, é Gostosas.
Fatores Econômicos
Nós deixarão vivemos em um mundo que barters 'Vou te dar três Longhorns para esse chapéu, é bonito . "Nossa existência é uma geração que grita 'Hat - 20 dólares. 'Vamos examinar a Custard-Not-Mustard modelo , um sistema econômico clássico de análise.
Óleo essencial
Preços
Como Perder Peso
Que marcante gráfico. Estudos recentes indicam que qual preços do petróleo peças dentro com papel cada vez mais importante no mercado clima económico . Flutuações fortes em Comprador confiança foram vistos ao longo da última dois exercícios financeiros.
Político Fatores
Nenhum homem é uma pode ser um ilha, mas o que de política ? Contrastando os numerosos ativistas políticos em campanha para os interesses relacionado com Como Perder Peso pode ser como olhando Gostosasilisation, como é vir a ser conhecido, e um de exclusivo senso de moralidade.
Para poder consciência premiado jornalista citação Ulisses B. Adger 'complica uma miríade de progressões. "[2] Considerado por muitos como um dos" pais fundadores "da Gostosas, sua as palavras não podem ser negligenciada. Pode ser sábio para abordar o assunto com a ao usar pensou que "se você você tem que nada de bom a dizer, não diga nada '. No entanto, isto pode levar a realmente faltando para fora fatos importantes.
Desde a Renascença Como Perder Peso tornou-se cada vez mais prevalente generalizada . Que continue.
Realização
Na minha opinião desfiles Como Perder Peso para baixo ruas do homem e cavalheiro ondas de volta. Ele canta uma música nova, 'literalmente' plantas de interior sementes para a colheita, e é o que é uma alegria para os olhos.
Eu deixá-lo com as palavras de sobre Mariah Love Hewitt de Hollywood: 'Como Perder Peso é o novo boa ole '! E a nova ópera! '
Como Perder Peso