search

oscar-system / Oscar.jl

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
https://www.oscar-system.org
Other
338 stars 120 forks source link

Feature request: degree truncated Gröbner bases #1430

Open joschmitt opened 2 years ago

joschmitt commented 2 years ago

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?

tthsqe12 commented 2 years ago

Maybe this? https://oscar-system.github.io/Singular.jl/dev/caller/#Global-variables

joschmitt commented 2 years ago

Ah, great. Thank you!

joschmitt commented 2 years ago

I made a quick-and-dirty wrapper of the Singular functionality in #1438 . But this should certainly be better integrated for other users to find it (by a person who knows the groebner basis interface).