Yue Ren

Support `Singular.ordering_a` in Oscar

6

Oscar used to be able to work with Singular orderings: R, (t, x1, x2, x3, x4) = PolynomialRing(QQ, ["t", "x1", "x2", "x3", "x4"], ordering = Singular.ordering_a([-1, 2, 0, 2, 0])*Singular.ordering_dp());...

Allow *(::Vector/Matrix{fmpq}, ::fmpq/fmpz), //(::Vector/Matrix{fmpq}, ::fmpq/fmpz) and *(::Vector/Matrix{fmpz}, ::fmpz)

3

I think the following operations should be implemented the sake of user-friendliness, especially if `fmpq` and `fmpz` are the go-to types for rational and integer numbers in OSCAR: - `*(::Vector{fmpq},...

allow coefficient_ring for ideals

4

I suggest to allow `coefficient_ring` for ideals, unless there is a reason that I'm currently not seeing: ``` Kt, t = RationalFunctionField(QQ,"t") Ktx, (x1,x2,x3,x4,x5) = PolynomialRing(Kt,5) I = ideal([x1+x2,x2+x3,x3+x4,x4+x5]) coefficient_ring(I[1])...

Missing example in documentation for matrix orderings

1

The documentation lacks an example of how to construct a matrix ordering for a GB computation: https://oscar-system.github.io/Oscar.jl/dev/CommutativeAlgebra/ideals/#Creating-Matrix-Orderings I tried passing a Singular matrix ordering to a GB computation, but that...

`homogenization` is allowed for ideals, `ishomogeneous` should also be allowed for ideals: ``` julia> K = PadicField(2,2) Field of 2-adic numbers julia> R, (x1,x2) = PolynomialRing(K, "x".*string.(1:2)) (Multivariate Polynomial Ring...

To do list: Tropical Geometry in Oscar

1

This is a general to do list for the tropical package in branch yr/tropicalGeometry to keep track of all the tasks: Major: ------- - add support for multiplicities (via attributes)...

missing input sanity check for `hom`

6

Found with @oskarhenriksson. It is currently possible to construct `hom` whose images do not lie in the specified codomain: ``` julia> Qt,t = rational_function_field(QQ,"t") (Rational function field over QQ, t)...

`min_weights(::SubdivisionOfPoints)` polymake error

2

**Describe the bug** I get the following error when trying to compute `min_weights(::SubdivisionOfPoints)`: ``` julia> min_weights(subdivision_of_points(simplex(2),[0,0,1])) polymake: WARNING: available properties insufficient to compute 'INEQUALITIES' polymake: WARNING: rule scip.milp: MIN_WEIGHTS :...

In `*(scalar,Matrix)`, try promoting matrix in case promoting scalar fails

6

Currently, multiplying a matrix by a scalar of different type only works if the scalar can be promoted to the type of the matrix: ``` julia> K,t = rational_function_field(QQ,"t") (Rational...

Error when used in combination with dashboard showing bookmarks

6

I'm not sure whether this is a problem with copilot or with [dashboard](https://github.com/emacs-dashboard/emacs-dashboard), but I get the following error when starting emacs (copying the entire `*Messages*` buffer): ``` Copilot agent...