Macaulay2 / Macaulay2/M2

bug in map and image

Open
#3,352 1 comment 0 reactions 0 assignees View on GitHub
Core
Dominant language
Macaulay2
Stars
435
Forks
297
Avg merge
4d 20h
Merged PRs (30d)
11

Description

What is happening here?
```m2
i1 : f = vars(QQ[x,y]);

i2 : map(image f, , f)
stdio:2:1:(3): error: expected matrix and new target module to agree
```
Note: I understand that `inducedMap` works here, but that method can be computationally expensive (e.g. computes Grobner bases in some cases) which seems unnecessary for what the code above should do.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reproducing the reported map(image f, , f) example in a Macaulay2 session and compare its behavior with inducedMap, which the report identifies as working. Trace the map implementation far enough to determine why the matrix and target module are rejected; done means the reported example works without requiring the computationally expensive inducedMap path.

Written by the indexing model from the issue text.

Assessment

Domain
tooling
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.