Multivariate resultants

[VictoriaSchleis]

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]

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: #1260 You are receiving this because you are subscribed to this thread. Message ID: ***@***.***>

[tthsqe12]

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]

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

[fingolfin]

@thofma also did #3546 some time ago.

@JohnAAbbott can you please get to the bottom of this

[jankoboehm]

See here

https://www.singular.uni-kl.de/Manual/4-4/sing_310.htm#SEC350

[JohnAAbbott]

@VictoriaSchleis You asked about this roughly 2.5 years ago. Are you still interested? Was the function pointed out by @tthsqe12 what you needed?

[fingolfin]

@JohnAAbbott maybe try contacting @VictoriaSchleis directly to see if she is still interested?

[JohnAAbbott]

@JohnAAbbott maybe try contacting @VictoriaSchleis directly to see if she is still interested?

Email sent...

[VictoriaSchleis]

Hi all, sorry for the late reply. Only saw this when checkig my github. To be honest, it's been a few years and I can't remember what I needed multivariate resultants for. I still think it would be nice to have, but it isn't an immediate concern for me right now.

@JohnAAbbott, I don't have access to my old Tuebingen email address anymore, if you need to contact me please use either my IAS or my Durham address.