Haskell の四色定理のプログラムですが、
C可約チェックがうまくいかないので、しばし中断します。
GitHub_4CT_Haskell 22/09/19の変更 checkCReduce() 13
今日も checkCReduce() を書いた。
前回の bug は直しました。
GitHub_4CT_Haskell 22/09/18の変更 checkCReduce() 12
今日も checkCReduce() を書いた。
前セクションの値sameangle が壊れていることが分かった。
GitHub_4CT_Haskell 22/09/10の変更 checkCReduce() 11
今日も checkCReduce() を書いた。
GitHub_4CT_Haskell 22/09/03の変更 checkCReduce() 10
今日も checkCReduce() を書いた。
番号が飛んでいるのは、別のバグを直していたからです。
GitHub_4CT_Haskell 22/07/31の変更 checkCReduce() 4
今日も checkCReduce() を書いた。
GitHub_4CT_Haskell 22/07/30の変更 checkCReduce() 3
今日も checkCReduce() を書いた。