>>522
「Pの具体的で計算可能な条件」てのが何を指すか不明だけれど
ストレートに{v1,v2,v3,Pv1,Pv2,Pv3}の行列式じゃダメなの？