knowsys / knowsys/FormaleSysteme
visual annoyance in lecture04.tex
Nobody has claimed this yet.
- Dominant language
- TeX
- Stars
- 51
- Forks
- 19
- PR merge metrics
- No merged PRs in 30d
Description
On page 18 and 19 there is the term $\sigma_1...\sigma_n$. n is supposed to be any natural number including 0. My problem with this is that if n would be 0 you have the range $\sigma_1...\sigma_0$ which is not possible. On page 18 there is the same problem with i in the induction. I propose to change the start index of the sigma to 0, because a range of length 0 is still valid.
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
Open lecture04.tex and inspect the notation on pages 18 and 19, including the induction passage. Check the surrounding definitions before adjusting the sigma and induction indices, then compile the lecture material and verify that the zero-length case is represented consistently.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- tex
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 60/100