Skip to content
Snippets Groups Projects
Commit aa507b4f authored by Max Ole Elliger's avatar Max Ole Elliger :penguin:
Browse files

correct definition of quoteq \ 

now, the 'Nenner' is a natural number n
the tupel (a,b) now encodes a/(b + 1)
parent 64fab0bb
No related merge requests found
Pipeline #115092 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 20 additions and 21 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment