Macaulay2 / Macaulay2/M2

AssociativeAlgebras: failure to lift to coefficient ring

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

Description

This doesn't work
```
i1 : needsPackage"AssociativeAlgebras";

i2 : R=QQ<|x|>;

i3 : m=matrix{{1_R}}

o3 = | 1 |

1 1
o3 : Matrix R <-- R

i4 : lift(m,QQ)
stdio:4:4:(3): error: expected each multidegree to be of length 0
```
to be compared with
```
i1 : R=QQ[x];

i2 : m=matrix{{1_R}}

o2 = | 1 |

1 1
o2 : Matrix R <-- R

i3 : lift(m,QQ)

o3 = | 1 |

1 1
o3 : Matrix QQ <-- QQ
```
See also #3155 for why one might want to lift...

Contributor guide

No contributing guide indexed for this repository

Research direction

Reproduce the failure in the Macaulay2 REPL using the AssociativeAlgebras example, then compare it with the working QQ[x] case. Start by tracing the AssociativeAlgebras package's lift path; done means lift(m,QQ) succeeds for the coefficient ring and returns a Matrix QQ as shown.

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
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.