methods frobenius does not work in TestIdeals
Nobody has claimed this yet.
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
Would be great if this worked:
```m2
i1 : needsPackage "TestIdeals";
i2 : methods frobenius
o2 = {}
```
`frobenius` is something that inherits from `Function`:
```m2
o2 : NumberedVerticalList
i3 : class frobenius
o3 = FrobeniusOperator
o3 : Type
i4 : ancestors oo
o4 = {FrobeniusOperator, MethodFunctionWithOptions, FunctionClosure, Function, Thing}
```
This is the culprit:
https://github.com/Macaulay2/M2/blob/048c777dc703365e44c3865b2c1faed698b82b3a/M2/Macaulay2/packages/TestIdeals/frobeniusPowers.m2#L38-L42
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the `methods frobenius` example after loading `TestIdeals`, then inspect `M2/Macaulay2/packages/TestIdeals/frobeniusPowers.m2` at lines 38-42. Compare how `frobenius` inherits from `Function` with the method declaration there; done means the command discovers the expected method instead of returning an empty list.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 45/100