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
311 stars 113 forks source link

Zero rows in free resolutions #2471

Open jankoboehm opened 1 year ago

jankoboehm commented 1 year ago

There seem to be zero rows in the matrices of free resolutions, that is, unit vectors are mapped to zero. Independent of whether we compute a minimal resolution or not, zero rows could be removed.

This only happens if we give to the Schreyer algorithm as required a Groebner basis. The current Oscar does not do this and only hands over a generating system (which is a bug). Then the zero rows do not appear. If we fix this bug the zero rows appear. So this issue is meant as a note to the ones currently fixing this bug.

I will try to generate an example which shows this with the current Oscar.

Note, the zero rows also a the root of a bug under discussion on graded resolutions, since they do not allow for determining the degree of the source unit vector.

jankoboehm commented 11 months ago

Should be resolved by PR #2634.