File: test-finiteness.data

package info (click to toggle)
magnus 20060324-3
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 19,404 kB
  • ctags: 20,466
  • sloc: cpp: 130,118; ansic: 37,076; tcl: 10,970; perl: 1,109; makefile: 963; sh: 403; yacc: 372; csh: 57; awk: 33; asm: 10
file content (8 lines) | stat: -rw-r--r-- 164 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
 
<a,b| b*a=a*b>
<a,b| [a,b], a^2, b^3 >

< a,b,c| a^2,b^2,c^2,(a*b)^3,(b*c)^7,(a*c)^2>
<a,b| a*b*b*a*b*a*a*b^-1*a*b^-1, b*a*b*b*a^-1*b*a^-1*a^-1*b*a^-1*a^-1 >
<|>