1x1マトリックスに一致するパターンはどれですか？

Question

行列が（正方形）下の三角形であるかどうかを調べる述語を書いています。

考えは（インデックス0の要素を除く）第行のすべての要素がすべてゼロであり、その後、が得サブマトリクスに再度述語を呼び出す場合真を返すことです1行1列のを除きます。部分行列がちょうど1の数（例えば[[x]]）であれば、再帰は終了するはずですが、もちろん下三角です。

質問：[x]にはどのように一致させることができますか？xは数字だけです。

lowertriangular (???) = True 
lowertriangular (x:xs) = all (==0) (tail x) && lowertriangular (map tail xs) 

編集：

m = [[1,0,0],[2,-3,0],[4,5,6]] 

lt m = all (==0) [0, 0] && lt [[-3, 0], [5, 6]] 
    = all (==0) [0, 0] && (all (==0) [0] && lt [6]) 

LT [6] trueを返すこと[_]と一致しなければなりません。

Answer 1

[[x]]とパターン[[x]] - または[[_]]を使用して一致させることができます。これは、実際にはxの値を気にしないためです。私。

lowertriangular [[_]] = True 

は、1x1行列で呼び出されたときにtrueを返します。 1x1の行列はすでに完全にケースlowertriangular (x:xs) = ...によって処理されることに留意すべきであるので、あなたはそれらを明示的に処理するために必要はありませんしかし

---

。あなたが処理するために必要なのは、このように、あなたは空のリストを取得する場合です：

lowertriangular [] = True 

Answer 2

たぶん、これはあなたが探しているものです：sepp2k @

lowertriangular (x:[]) = True 
lowertriangular (x:xs) = all (==0) (tail x) && lowertriangular (map tail xs)