Primitive partition identities by Groebner basis of Lawrence lifting:
>
|
|
| (1) |
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
To demonstrate, we recompute this basis using F4 and the Groebner walk.
>
|
|
| (5) |
| (6) |
>
|
|
| (7) |
>
|
|
| (8) |
Example 12.7 in Sturmfels' Groebner Bases and Convex Polytopes:
>
|
|
| (9) |
>
|
|
| (10) |