Macaulay2 / Macaulay2/M2

discriminant throwing an error when it probably shouldn't

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

Description

typical example:
```
i1 : R=ZZ/2[x]

o1 = R

o1 : PolynomialRing

i2 : F=x^24+x^22+x^20+x^14+x^12+x^8+x^4

24 22 20 14 12 8 4
o2 = x + x + x + x + x + x + x

o2 : R

i3 : discriminant(F,x)
stdio:3:12(3): error: expected nonzero polynomials
```
you can replace `ZZ/2` with any other `ZZ/p` and exponents divisible by `p`.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reproducing the provided discriminant(F,x) example in Macaulay2, then compare it with the cases over ZZ/p described in the issue. Trace the discriminant entry point and its handling of polynomials whose exponents are divisible by p; done means these examples no longer raise the unexpected “expected nonzero polynomials” error.

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
Quiet
Clarity
Mostly clear
Newbie friendliness
48/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.