public static int VarNameToIdx( char varName ) { switch ( varName ) { case 'x': case 't': return 0; case 'y': case 'u': return 1; case 'z': case 'v': return 2; default: throw new ArgumentException( "unknown variable " + varName ); } }