gbasis

减少Groebner基础

所有的页面崩溃

语法

gbasis(聚)

gbasis(保利一样,var)

gbasis (___、“MonomialOrder”MonomialOrder)

描述

例子

gbasis (聚)返回Groebner多项式向量的基础聚。默认情况下,gbasis发现独立变量聚通过使用symvar,并使用单项排序degreeInverseLexicographic。

例子

gbasis (聚,var)还使用独立的变量var。

例子

gbasis (___,“MonomialOrder”,MonomialOrder)还使用指定的单项订单除了输入参数在以前的语法。选项是“degreeInverseLexicographic”,“degreeLexicographic”,或“词典”。默认情况下,gbasis使用“degreeInverseLexicographic”。

例子

全部折叠

Groebner多项式的基础

计算多项式的Groebner基础x ^ 2 y ^ 2和x ^ 2 + y。默认情况下,gbasis发现使用的独立变量symvar。

信谊x y p = [x ^ 2 y ^ 2, x ^ 2 + y);gbasis (p)

ans = [x ^ 2 + y, y ^ 2 + y]

指定独立变量

指定第二个参数的独立变量gbasis。

计算多项式的Groebner基础* y + x ^ 2 * y + a和* x ^ 2 + y的独立变量(x, y)。

信谊x y p = [* y + x ^ 2 * y +, * x ^ 2 + y);var = (x, y);grobnerBasis = gbasis (p, var)

grobnerBasis = [* x ^ 2 + y, y ^ 2 / + * y +)

Groebner基础与单项秩序

默认情况下,gbasis使用单项订单degreeInverseLexicographic。改变单项订单使用“MonomialOrder”名称-值对的论点。

找到Groebner多项式的基础y * z ^ 2 + 1和y ^ 2 * x ^ 2-y-z ^ 3与词典单项秩序。

信谊x y z p = [y * z ^ 2 + 1, y ^ 2 * x ^ 2 - y - z ^ 3];grobnerBasis = gbasis (p“MonomialOrder”“词典”)

grobnerBasis = [x ^ 2 - 7 + z z ^ ^ 2, y * z ^ 2 + 1)

使用的变量[y z]与degreeLexicographic单项秩序。

grobnerBasis = gbasis (p (y z)“MonomialOrder”,“degreeLexicographic”)

grobnerBasis = [x ^ 2 * y ^ 2 - y - z ^ 3, y * z ^ 2 + 1, x ^ 2 * y ^ 3 - y ^ 2 + z)

输入参数

全部折叠

`聚`- - - - - -多项式
矢量符号表达式的

多项式,指定为一个向量符号表达式。

`var`- - - - - -独立变量
矢量符号变量

独立变量指定为一个向量符号变量。

`MonomialOrder`- - - - - -单项订单
`“degreeInverseLexicographic”`(默认)|`“degreeLexicographic”`|`“词典”`

单项订单,指定为逗号分隔条“MonomialOrder”其中一个值“degreeInverseLexicographic”,“degreeLexicographic”,或“词典”。如果var是指定的,那么单项对变量的顺序排序var。

词典类型的多项式使用词典排序。
degreeLexicographic类的一个多项式根据每一项的总程度。如果条款有同等总度,polynomialReduce他们使用词典排序。
degreeInverseLexicographic类的一个多项式根据每一项的总程度。如果条款有同等总度,polynomialReduce他们使用逆词典排序。