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
308 stars 112 forks source link

Multivariate resultants #1260

Open VictoriaSchleis opened 2 years ago

VictoriaSchleis commented 2 years ago

I would like an implementation of multivariate resultants in Oscar, analogous to the Singular implementation, compatible with polynomials over Flint fields. There is resultant(::MPoly, ::MPoly, ::Int), but it's not documented, and I'm not sure which fields it is compatible with.

fieker commented 2 years ago

On Wed, Apr 13, 2022 at 04:40:30AM -0700, VictoriaSchleis wrote:

I would like an implementation of multivariate resultants in Oscar, analogous to the Singular implementation, compatible with polynomials over Flint fields. There is resultant(::MPoly, ::MPoly, ::Int), but it's not documented, and I'm not sure which fields it is compatible with.

Should work with all exact fields... -- Reply to this email directly or view it on GitHub: https://github.com/oscar-system/Oscar.jl/issues/1260 You are receiving this because you are subscribed to this thread.

Message ID: @.***>

tthsqe12 commented 2 years ago

The resultant(::MPoly, ::MPoly, ::Int) is in Hecke.jl and is not "the multivariate resultant" as is simply the univariate resultant w.r.t. a given variable.

VictoriaSchleis commented 2 years ago

Yes, that is precisely what I meant - I just meant it in the way that currently, the documented cases only work where the input is a univariate polynomial