[I1] tri.0000.ss [X1] tri.0001.ss [I2] tri.0010.ss [X1] tri.0011.ss [I2] tri.0100.ss [E1] tri.0101.ss [X2] tri.0110.ss [X2] tri.0111.ss [X ] tri.0200.ss [X ] tri.0201.ss [I3] tri.0210.ss [++] tri.0211.ss [X1] tri.1000.ss [X1] tri.1001.ss [X1] tri.1010.ss [X ] tri.1011.ss [X ] tri.1100.ss [X ] tri.1101.ss [X ] tri.1110.ss [X ] tri.1111.ss [I3] tri.1200.ss [X ] tri.1201.ss [I4] tri.1210.ss [X ] tri.1211.ss [X1] tri.2000.ss [X1] tri.2001.ss [X1] tri.2010.ss [X1] tri.2011.ss [X ] tri.2100.ss [X ] tri.2101.ss [I3] tri.2110.ss [X3] tri.2111.ss [X ] tri.2200.ss [X ] tri.2201.ss [I3] tri.2210.ss [++] tri.2211.ss Which ones don't work and why? Notation: * Blank means "untested" * [X ] means "failed some test, but I'm not telling you which one" * [E1] means "failed to classify 0.5 0.5 0.5 as equilateral" * [I1] means "failed to classify (3 2 2) as isoceles" * [I2] means "failed to classify (111 121 111) as isoceles" * [I3] means "failed to classify (2 3 2) as isoceles" * [I4] means "failed to classify (1 2 2) as isoceles" * [X1] means "failed to report an error for (1 500 2000)" * [X2] means "failed to report an error for (8 3 1)" * [X3] means "failed to report an error for (2 5 2)" * [++] means "I've tested this, and it's succeeded so far" Questions: * Is (1 2 3) a triangle? It's debatable. The documentation should probably have indicated whether or not "degenerate triangles" are permitted.