Martin Bies

The following is a list of tasks that I believe would be interesting to look into for toric varieties. Of course, I do not claim that this list is complete,...

Documentation: Explain how to execute the doctests

1

`Oscar.build_doc()` does not execute the doc_tests. So as a humble user or developer, one might wonder "how do I execute the doc tests locally to test my code?". Unless I...

Marry implementations of Chow ring for - Toric varieties, - Matroids. Cf. https://github.com/oscar-system/Oscar.jl/pull/1449 cc @bschroter @fingolfin @LukasKuehne

For my convenience, this contains the changes in https://github.com/oscar-system/Oscar.jl/pull/1449.

ToricVarieties: Add Base.hash

1

Should we add `Base.hash` for our custom types `(AffineNormalToricVarieties`, `AbstractNormalToricVarieties`, `ToricDivisors`, `ToricDivsiorClasses`, `ToricLineBundles`, (soon `ToricVectorBundles` and `ToricCoherentSheaves`) and many more...)? C.f.: https://docs.julialang.org/en/v1/base/base/#Base.hash

ToricVarieties: Interplay with polyhedral geometry and performance

3

I am currently using Oscar to triangulate a (facette of a) polytope, construct all corresponding toric varieties, compute their Stanley-Reisner ideals and finally intersect these ideals. This seems to pose...

ToricVarieties: Rays are being shuffled

8

Give a list `r` of rays (and of the maximal cones) to the constructor of a polyhedral fan. This results in a fan `F`, but `rays(F)` and `r` are typically...

Toric Varieties: Should class_group return a group and a morphism?

1

This question was brought up in https://github.com/oscar-system/Oscar.jl/pull/1056 and I believe it would be good to discuss this. My current standing is that I would find it surprising to receive a...