|
Groebner[TestOrder] - 単項式順序による比較
|
|
パラメータ
|
|
|
u, v
|
-
|
単項式
|
|
T
|
-
|
単項式順序か、その短い記述
|
|
|
|
|
|
説明
|
|
|
•
|
TestOrder コマンドは単項式順序について、単項式同士を比較します。コマンドは u が順序で v より小さいか、等しかったとき true を返します。
|
|
|
|
例
|
|
|
>
|
M := [op(randpoly([x,y,z],degree=3,dense,coeffs=proc() 1 end))];
|
|
![M := [1, x^3, x^2*y, x^2*z, x^2, x*y^2, x*y*z, x*y, x*z^2, x*z, x, y^3, y^2*z, y^2, y*z^2, y*z, y, z^3, z^2, z]](/support/helpjp/helpview.aspx?si=1583/file00583/math87.png)
| (4.1) |
|
>
|
sort(M, (a,b) -> TestOrder(a,b,plex(x,y,z)));
|
|
![[1, z, z^2, z^3, y, y*z, y*z^2, y^2, y^2*z, y^3, x, x*z, x*z^2, x*y, x*y*z, x*y^2, x^2, x^2*z, x^2*y, x^3]](/support/helpjp/helpview.aspx?si=1583/file00583/math94.png)
| (4.2) |
|
>
|
sort(M, (a,b) -> TestOrder(a,b,grlex(x,y,z)));
|
|
![[1, z, y, x, z^2, y*z, y^2, x*z, x*y, x^2, z^3, y*z^2, y^2*z, y^3, x*z^2, x*y*z, x*y^2, x^2*z, x^2*y, x^3]](/support/helpjp/helpview.aspx?si=1583/file00583/math101.png)
| (4.3) |
|
>
|
sort(M, (a,b) -> TestOrder(a,b,tdeg(x,y,z)));
|
|
![[1, z, y, x, z^2, y*z, x*z, y^2, x*y, x^2, z^3, y*z^2, x*z^2, y^2*z, x*y*z, x^2*z, y^3, x*y^2, x^2*y, x^3]](/support/helpjp/helpview.aspx?si=1583/file00583/math108.png)
| (4.4) |
|
|
Download Help Document
Was this information helpful?
