Issues

• Locally completeness for zero loci?

  HomogeneousTools/PartialFlagVarieties.jl#29 · Filter by author pbelmans opened on Sep 25, 2026

• Check for global generation?

  HomogeneousTools/PartialFlagVarieties.jl#28 · Filter by author pbelmans opened on Sep 18, 2026

• Add cup_product_certificate

  enhancement
  HomogeneousTools/PartialFlagVarieties.jl#27 · Filter by author pbelmans opened on Sep 15, 2026

• Filtered bundles and spectral sequences

  enhancement
  Feature

  HomogeneousTools/PartialFlagVarieties.jl#7 · Filter by author pbelmans opened on Apr 20, 2026
  

• Beyond Koszul resolution

  enhancement
  HomogeneousTools/PartialFlagVarieties.jl#5 · Filter by author pbelmans opened on Apr 7, 2026

• Replace Lie.jl with Oscar backend

  question
  HomogeneousTools/PartialFlagVarieties.jl#2 · Filter by author pbelmans opened on Mar 11, 2026