Definitioncore
Reduced Gröbner basis
Also called minimal reduced Gröbner basis.
A Gröbner basis with monic elements where no term is divisible by another leading term; it is unique for an ideal.
A Gröbner basis with monic elements where no term is divisible by another leading term; it is unique for an ideal.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag DQG8BX Edit this page History Report an error