Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Inconsistent output of prune_with_map_projection #796

Closed
RafaelDavidMohr opened this issue Apr 18, 2024 · 1 comment
Closed

Inconsistent output of prune_with_map_projection #796

RafaelDavidMohr opened this issue Apr 18, 2024 · 1 comment
Labels

Comments

@RafaelDavidMohr
Copy link

The output of prune_with_map_projection is not consistent between the zero module and other modules. Consider:

julia> R, (x, y) = polynomial_ring(QQ, ["x", "y"]);

julia> F = FreeModule(R, 1);

julia> v = F([zero(R)]);

julia> M = Singular.Module(R, v);

julia> prune_with_map_projection(M)
(Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
0, [0], Int32[0])

The last entry of this output should tell me which generators of the ambient free module of M were kept around as part of a minimal generating system of F/M. So in this case it should be Int32[1] instead.

@hannes14
Copy link
Member

fixed with Singular/Singular@5704a44

wdecker pushed a commit to oscar-system/Oscar.jl that referenced this issue Apr 19, 2024
* fix zero module bug

* add singular issue reference

Co-authored-by: Johannes Schmitt <[email protected]>

---------

Co-authored-by: Rafael Mohr <[email protected]>
Co-authored-by: Johannes Schmitt <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants