git checkout -b tuto-first vi src/test/in/interval interval(1,0) == [] ./Configure -l make test-interval vi Olinux-x86_64/interval-sta.dif vi src/functions/linear_algebra/interval Function: interval Section: linear_algebra C-Name: interval Prototype: GG Help: interval(a,b): return the integer interval [a..b]. Doc: Return the integer interval~$\{a,a+1,\dots,b\}$. Empty if~$b