主要内容

GBASIS.

减少Groebner基础

描述

例子

GBasis(poly的)返回多项式矢量的GoEbner基础poly。默认情况下,GBASIS.发现独立的变量poly通过使用Symvar.,并使用单体排序学位verselexicographic.

例子

GBasis(polyvars.的)还使用独立变量vars.

例子

GBasis(___'单体码头'单体机构的)除了先前语法中的输入参数之外,还使用指定的单体顺序。选择是'学位verselexicoght''exteelexicography', 或者'词典'。默认情况下,GBASIS.用途'学位verselexicoght'

例子

全部收缩

计算多项式的Groebner基础x ^ 2-y ^ 2x ^ 2 + y。默认情况下,GBASIS.使用使用找到独立的变量Symvar.

Syms x y p = [x ^ 2-y ^ 2,x ^ 2 + y];GBasis(P)
ans = [x ^ 2 + y,y ^ 2 + y]

将独立变量指定为第二个参数GBASIS.

计算多项式的Groebner基础a * y + x ^ 2 * y + aa * x ^ 2 + y与独立变量[x y]

Syms x y a p = [a * y + x ^ 2 * y + a,a * x ^ 2 + y];vars = [x y];grobnerbasis = gbasis(p,vars)
grobnerbasis = [a * x ^ 2 + y, -  y ^ 2 / a + a * y + a]

默认情况下,GBASIS.使用单体顺序学位verselexicographic.。通过使用来改变单体顺序'单体码头'名称值对参数。

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

syms x y z p = [y * z ^ 2 + 1,y ^ 2 * x ^ 2  -  y  -  z ^ 3];grobnerbasis = gbasis(p,'单体码','词汇')
grobnerbasis = [x ^ 2  -  z ^ 7 + z ^ 2,y * z ^ 2 + 1]

使用变量[z y]卓越的评价单项顺序。

grobnerbasis = gbasis(p,[z y],'单体order','exteelexicography')
grobnerbasis = [x ^ 2 * y ^ 2  -  y  -  z ^ 3,y * z ^ 2 + 1,x ^ 2 * y ^ 3  -  y ^ 2 + z]

输入参数

全部收缩

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

独立变量,指定为符号变量的向量。

单体顺序,指定为逗号分隔的对'单体码头'和其中一个值'学位verselexicoght''exteelexicography', 或者'词典'。如果vars.指定,然后单体分类是关于变量的顺序的排序vars.

  • 词典使用词典排序对多项式的术语进行排序。

  • 卓越的评价根据每个术语的总程度对多项式的术语进行排序。如果术语相当于总数,polynomaalreduce.使用词典排序对它们进行排序。

  • 学位verselexicographic.根据每个术语的总程度对多项式的术语进行排序。如果术语相当于总数,polynomaalreduce.使用逆词典排序对它们进行排序。

在R2018A介绍