Claus Fieker

Flint does not deal with this at all, it follows from other parts of the design. But why is setcoeff at fault and not getcoeff? I am happy to discuss...

I think it should be triaged, and documented: what is OUR intended behaviour for == between arbitrary pairs? The default of false is due to julia - and has bitten...

On Tue, Jul 02, 2024 at 02:21:19PM -0700, Simon Brandhorst wrote: > @simonbrandhorst commented on this pull request. > > > > > @@ -149,6 +149,18 @@ function perm(L::AbstractVector{ return...

On Wed, Jul 03, 2024 at 10:28:35AM -0700, Simon Brandhorst wrote: > oops got distracted with computing ray class groups. Will do. What kind of ray class groups? > >...

This is the tip of the iceberg. The ring could be a singular ring, but the conversion is too weak. Poly over rational over number field... On Thu, 31 Oct...

Primary decomp should check if factoring is available before calling singular. Then there is also the oscar version of primary decomp where that problem won't be there On Thu, 31...

On Wed, Feb 19, 2025 at 09:18:27PM -0800, Wolfram Decker wrote: > wdecker left a comment (oscar-system/Oscar.jl#4606) > > The dimension of a commutative ring is by definition its Krull...

On Thu, Jun 27, 2024 at 02:17:16PM -0700, Max Horn wrote: > We have `add!(a,b,c)` which basically computes `b+c` and potentially might store the result in `a`. > > We...

On Mon, May 04, 2020 at 07:16:16AM -0700, wbhart wrote: > What does it mean, "unify random generation". This is like saying we should have one function for all number...

On Mon, May 04, 2020 at 08:05:58AM -0700, Rafael Fourquet wrote: > > What does it mean, "unify random generation". This is like saying we should have one function for...