Yue Ren

Is it possible to write some generic fall-back code that allows hom to be applied to the fraction field (as long as the denominator is a unit)?

I think the problem is caused by the following lines: https://github.com/oscar-system/Oscar.jl/blob/c0fcef933507a6d2ddc1afd195a6ef7d622912b9/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties/toric_ideal.jl#L108-L110 Because the kernel is computed over `ZZ`, the result `intkernel` has enormous entries, and the resulting ideal `presat` has...

I think this is a good idea. It won't prevent me from repeatedly walking into the same pitfalls (this is clearly a "me" problem), but I believe that having a...

I think this is a good idea. It won't prevent me from repeatedly walking into the same pitfalls (this is clearly a "me" problem), but I believe that having a...

Good guess, but unfortunately that did not fix the issue. I've tried setting `(setq initial-buffer-choice 'dashboard-open)` both in `:init` and `config` and restarting emacs.

Unfortunately it did not fix the issue, but `:after nerd-icons` is a good idea to add nonetheless.

@lkastner @benlorenz Would one of you be so kind to review it? There are still some tests failing, but I'm not sure that's because of my changes.

> I think you will need to use oscar matrices (e.g. `zero_matrix` with `coefficient_field(P)` as first argument) instead of julia matrices (`zeros` with just a type). Ah, I wasn't aware...

The same error arises for cartesian products of polyhedral fans: ``` julia> F = normal_fan(convex_hull([[0,0],[1,0]])) Polyhedral fan in ambient dimension 2 julia> F*F ERROR: product: input fan not pointed at...

Not sure what changed in Singular, but computation should just be a normal standard basis computation over QQ. I can check what exactly is asked of Singular next week.