File: minusmodulo.mona

package info (click to toggle)
mona 1.4-7-4
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 1,976 kB
  • ctags: 3,713
  • sloc: ansic: 14,363; cpp: 12,610; sh: 1,076; yacc: 493; lex: 358; makefile: 154; lisp: 53
file content (10 lines) | stat: -rw-r--r-- 144 bytes parent folder | download | duplicates (10)
1
2
3
4
5
6
7
8
9
10
var1 i,j,k;

((j>k => i=0) &
 (j<=k => ((j>0 => i=j-1) &
           ((j=0 & k>0) => i=k-1) &
           ((j=0 & k=0) => i=0))))

 <=>

i=j-1%k;