@@ -62,16 +62,16 @@ properties_singletonGraph = prefixProperties "singletonGraph: "
62
62
where
63
63
g = singleton
64
64
65
- properties_petersonGraph :: [(String , Property )]
66
- properties_petersonGraph = prefixProperties " petersonGraph : "
65
+ properties_petersenGraph :: [(String , Property )]
66
+ properties_petersenGraph = prefixProperties " petersenGraph : "
67
67
$ (" order == 10" , order g === 10 )
68
68
: (" size == 15" , symSize g === 15 )
69
69
: (" outDegree == 3" , maxOutDegree g === 3 )
70
70
: (" isRegular" , property $ isRegular g)
71
71
: (" diameter == 2" , diameter g === Just 2 )
72
72
: properties_undirected g
73
73
where
74
- g = petersonGraph
74
+ g = petersenGraph
75
75
76
76
properties_twentyChainGraph :: [(String , Property )]
77
77
properties_twentyChainGraph = prefixProperties " twentyChainGraph: "
@@ -179,7 +179,7 @@ properties = (concat :: [[(String, Property)]] -> [(String, Property)])
179
179
[ properties_emptyGraph 0
180
180
, properties_emptyGraph 2
181
181
, properties_singletonGraph
182
- , properties_petersonGraph
182
+ , properties_petersenGraph
183
183
, properties_twentyChainGraph
184
184
, properties_hoffmanSingletonGraph
185
185
, properties_pentagon
0 commit comments