Martin Bies
Martin Bies
A few changes/additions: - Addition and scalar multiplication of toric divisors, elements of the class group and pic group. - char, divT, cdivT, cl and pic in names of maps
It might be interesting to think of a logic deduction system for Oscar. We could start to think about implications for boolean attributes. For example, for a toric variety `V`...
I am trying to install linbox on Ubuntu18.04. Unfortunately, I receipt several warning about givaro/givconfig.h not being present. How can I resolve this? Explicitly, I use this git-repository (I am...
Goal: Support the F-Theory QSMs and their known properties. Note: The change looks excessive since I added a massive json file with cool data. (Even more, this file was not...
# To be discussed - [ ] Agenda for FTheoryTools paper. - [ ] Use https://docs.oscar-system.org/stable/Groups/action/ for the action of the discrete quotient on the center of the Lie group...
* Remove method `hypersurface_model(base::NormalToricVariety; completeness_check::Bool = true)`. (This requires to also remove `hypersurface_model_over_projective_space(d::Int)`, `hypersurface_model_over_hirzebruch_surface(r::Int)` and `hypersurface_model_over_del_pezzo_surface(b::Int)` as well as significant changes to the CI tests of hypersurface models.) * Overhaul...
Check if, and at what places, we want to replace `IntegerUnion` by `ZZRingElem`. (cf. https://github.com/oscar-system/Oscar.jl/pull/2080) cc @thofma
So far, the check `is_effective` of a `divisor_class` proceeded as follows: * Compute one (!) (torus-invariant) divisor `D` in the given divisor class `[D]`. * Express this divisor `D` as...
For consistency and user friendliness across the many different areas of `OSCAR`, it might be good to discuss and ideally agree on the following. Naming conventions: - `quotient_ring` vs. `quo`,...
This was brought to my attention by @fieker. Apparently, this happens in particular for schemes. Hence, I cc @HechtiDerLachs , so we can discuss this at some point.