Claus Fieker
Claus Fieker
On Thu, Jan 20, 2022 at 04:47:51AM -0800, Matthias Zach wrote: > That when developing the code for ideals, modules, homomorphisms, etc. the developers had in mind computations in polynomial...
On Thu, Jan 20, 2022 at 05:28:32AM -0800, Matthias Zach wrote: > I would like to use them for bookkeeping. > > Say, I have a vector bundle E ->...
On Thu, Jan 20, 2022 at 05:37:57AM -0800, Matthias Zach wrote: > Besides: On a first read, one has the impression that generic > polynomial rings are available in Oscar...
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...
On Fri, Nov 26, 2021 at 04:34:28AM -0800, dan wrote: > I have been thinking about this as well. AbstractAlgebra needs an Infinity. Valuation can return +infty, and degree can...
The convention for the "classical" part of Oscar is that all such functions (sub, quo, class_group, unit_group, maximal_abelian_quotient, ...) return a pair - the abstract new object - a "function"...
On Fri, Jul 29, 2022 at 06:30:06AM -0700, dan wrote: > Some possibilities, some serious, some not so serious. > 1. Have a preferred ordering attached to the polynomial ring....
On Thu, Apr 07, 2022 at 04:07:55AM -0700, Markus Kurtz wrote: > In general, I expect `G[:]` to yield a vector of all `G[i]`. So I’m puzzled not to get...
On Fri, Apr 08, 2022 at 12:51:48AM -0700, Tommy Hofmann wrote: > Why is it suddenly tricky? The ambiguity was introduced a long time ago, since abelian groups have always...
We will look into it, but note that the "normal" use of PrimesSet is an unbounded set, ie. no upper bound. Its used in some modular methods to iterate over...