Algebraic geometry

Stream: maths

[Rozhin Sadr]

Let the finite set H be a homogeneous Pommaret basis of the homo-
geneous ideal I ⊆ P . For any degree q ≥ deg H, a Pommaret basis of the truncation
I =􏰡 I isgivenby ≥q p≥qp
Hq =􏰏xμh|h∈H, |μ|+degh=q, ∀j>clsh:μj =0􏰐. (4.5) Conversely, if I≥q possesses a Pommaret basis, then so does I.

[Michael Rothgang]

Have you seen #backticks already? You can make your post a lot easier to read by formatting it properly.

[Kim Morrison]

It's also helpful if you say why you are quoting a piece of mathematics! Do you want to implement this in Lean? Are you asking about existing material related to this, etc?