Martin Bies

Results 36 issues of Martin Bies

By make, a couple of files are created which are not yet ignored by gap. This commit extends the .gitignore to ignore also these files.

The kernel seems to ignore empty rows. This commit should fix this.

Latest state of my code to enumerate g4-fluxes. As of right now, I just copied the file here - to be integrate/improved etc. Hence WIP of WIP. cc @apturner @emikelsons

WIP
topic: FTheoryTools

The new overhaul in base independent model (cf. https://github.com/oscar-system/Oscar.jl/pull/2470) relies on finding a triangulation to construct an auxiliary base space. A single triangulation will be sufficient. This triangulation need not...

enhancement
serialization
optimization
topic: FTheoryTools

As pointed out by @micjoswig in https://github.com/oscar-system/Oscar.jl/pull/3996, for the current constructor `hirzebruch_surface(::Type{NormalToricVariety}, r::Int)`, the first argument is currently obsolete. This PR introduces a shorthand `hirzebruch_surface(r::Int)`. A similar situation exists for...

topic: toric varieties
optimization

**Is your feature request related to a problem? Please describe.** A clear and concise description of what the problem is. Ex. I'm always frustrated when [...] **Describe the solution you'd...

enhancement