Matthias Zach
Matthias Zach
This is a draft branch to discuss the following. @JHanselman suggested that it would be good to introduce further concrete types for more sophisticated schemes with extra structure, such as,...
The following code fails, probably due to a faulty translation between the `Oscar` and the `Singular` side: ```julia R, (x,y,z) = QQ["x", "y", "z"] R_ext, _ = PolynomialRing(R, ["u", "v",...
Try running the following code: ```julia R, (x,y) = QQ["x", "y"] S, (u,v) = R["u", "v"] I = ideal(S, [u]) + ideal(S, [v]) ``` Addition of ideals is not possible...
The following code ```julia C = positive_hull([0 1; 1 1; 2 1]) X = AffineNormalToricVariety(C) betti_number(X, 4) ``` produces the output `1`. But the output of ```julia toric_ideal(X) ``` says,...
The following code produces an error: ```julia R, (x,y) = QQ["x", "y"] Y = Spec(R) Q = OO(Y) T, (u,v) = PolynomialRing(Q, ["u", "v"]) f = AlgebraHomomorphism(T, T, [u^2, v^2])...
```julia R, (x,y) = QQ["x", "y"] R_ext, _ = PolynomialRing(R, ["u", "v"]) S, (u,v) = grade(R_ext, [1,1]) S(x) ``` fails, whereas ``` S(R_ext(x)) ``` returns the desired result. In my...
This is the smaller brother of https://github.com/oscar-system/Oscar.jl/pull/1585 as requested by @simonbrandhorst : Only ideal sheaves for the time being. I will add some more tests eventually, when the code coverage...
First step towards computation of linear systems on covered schemes. * Introduces sheaves of ideals on covered schemes. * Introduces Weil divisors on covered schemes. * Introduces a prototype for...
This is a rebase of a previous pull request (sorry, I can't find it anymore for some reason), binding it to the recent changes in https://github.com/oscar-system/Oscar.jl/pull/1537 and cleaning up the...
The code for the ungraded modules is supposed to be generic. But still, a lot of methods are implemented referring to the singular side. This is another instance of that...