Johannes Schmitt
Johannes Schmitt
I would like to have degree truncated Gröbner bases of homogeneous ideals in OSCAR (as in [KR05, 4.5.B]). Maybe this is already available somewhere and I just didn't see it?
`singular_poly_ring` for `MPolyQuo` returns the cached ring, if one exists. This means that a monomial ordering supplied by the user gets ignored: ``` julia> R, x = PolynomialRing(QQ, "x" =>...
`quo` for groups is type instable: ``` julia> K, a = CyclotomicField(3, "a"); julia> G = matrix_group(matrix(K, 2, 2, [ a, 0, 0, inv(a) ]), matrix(K, 2, 2, [ 0,...
I'm almost afraid to ask, but why are all the "decorated" types called `..._dec` instead of `Dec`? For example `MPolyRing_dec`, `MPolyElem_dec`, etc. Assuming we all agree that this conflicts with...
As already discussed in Slack, there is some inconsistency with what `kernel` returns (and in particular with `kernel` and `nullspace`). Sometimes the output just contains the basis, sometimes there are...
A small change to allow this: ``` julia> G = abelian_group([3, 0]); julia> N = matrix(FlintZZ, 2, 1, [ 1, 1 ]); julia> G(N) Element of GrpAb: Z/3 x Z...
I'm supposed to give a short talk in the "OSCAR case studies" at the SFB meeting next week and used this opportunity to clean up some of the printing methods....
Type renamings in #1376. ## Number field related | old/current name | new name | |-----------------------|----------| | AnticNumberField | AbsSimpleNumField | | nf_elem | AbsSimpleNumFieldElem | | NfAbsNS | AbsNonSimpleNumField...
Adjust the printing of multivariate ideals in (localized) quotient rings to what was introduced in #3250. I overlooked these special types back then, sorry.
A function `cycles` is requested for `PermGroupElem` in https://github.com/oscar-system/Oscar.jl/pull/3439#discussion_r1515993975 . Here is an easy implementation of this by calling the AbstractAlgebra function `cycledec`. I find this a bit weird since...