public static Object TVECTOR_DESCR( Object o )
{
if (o is double[])
return desc_table[0];
if (o is int[])
return desc_table[1];
if (o is long[])
return desc_table[2];
if (o is bool[])
return desc_table[2];
if (o is Object[])
return desc_table[3];
return fail( "tvector_desc", "Unknown tvec object", o );
}