Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
PeterBurbery`UndirectedGraphs`
CoboundaryPolynomial  |
|
| | ||||
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
Obtain the coboundary polynomial of the Petersen graph:
In[1]:=
 | CoboundaryPolynomial |
Out[1]=
-704+2606q.-4305+4275-2861+1353-455+105-15++5640t.-19350q.t.+28845t.-25080t.+14175t.-5400t.+1365t.-210t.+15t.-19470+61455q.-81570+60735-27960+8070-1365+105+37435-107665q.+124935-77130+27310-5340+455-42930+110970q.-109515+53175-13005+1305+28584-64872q.+51765-17700+2211+12-9100+17010q.-9345+1305+130-45+810q.-1155+390+540-810q.+240+30+80-170q.+90-6-9q.+15-15+15q.-10+10q.+
2
q.
3
q.
4
q.
5
q.
6
q.
7
q.
8
q.
9
q.
2
q.
3
q.
4
q.
5
q.
6
q.
7
q.
8
q.
2
t.
2
t.
2
q.
2
t.
3
q.
2
t.
4
q.
2
t.
5
q.
2
t.
6
q.
2
t.
7
q.
2
t.
3
t.
3
t.
2
q.
3
t.
3
q.
3
t.
4
q.
3
t.
5
q.
3
t.
6
q.
3
t.
4
t.
4
t.
2
q.
4
t.
3
q.
4
t.
4
q.
4
t.
5
q.
4
t.
5
t.
5
t.
2
q.
5
t.
3
q.
5
t.
4
q.
5
t.
5
q.
5
t.
6
t.
6
t.
2
q.
6
t.
3
q.
6
t.
4
q.
6
t.
7
t.
7
t.
2
q.
7
t.
3
q.
7
t.
8
t.
8
t.
2
q.
8
t.
3
q.
8
t.
9
t.
9
t.
2
q.
9
t.
10
t.
10
t.
2
q.
10
t.
11
t.
11
t.
12
t.
12
t.
15
t.
The coboundary polynomial for the Pappus graph:
In[2]:=
FullSimplify@
[GraphData["PappusGraph"]]
 | CoboundaryPolynomial |
Out[2]=
17
q.
16
q.
15
q.
2
(-1+t.)
14
q.
3
(-1+t.)
13
q.
4
(-1+t.)
12
q.
5
(-1+t.)
11
q.
6
(-1+t.)
10
q.
7
(-1+t.)
9
q.
8
(-1+t.)
2
t.
8
q.
9
(-1+t.)
7
q.
10
(-1+t.)
6
q.
11
(-1+t.)
5
q.
12
(-1+t.)
4
q.
13
(-1+t.)
3
q.
14
(-1+t.)
2
q.
15
(-1+t.)
16
(-1+t.)
17
(-1+t.)
Verify these are the same as GraphData's coboundary polynomials.
Make two tests, one for the Petersen graph and one for the Pappus graph by comparing the output of GraphData with "CoboundaryPolynomial" to the output from CoboundaryPolynomial, then applying FullSimplify:
In[3]:=
tests=TableWithinput=input,output=FullSimplify[GraphData[input,"CoboundaryPolynomial"][q.,t.]],TestCreateFullSimplify@
[GraphData[input]],output,TestIDAutomatic,{input,{"PetersenGraph","PappusGraph"}}
 | CoboundaryPolynomial |
Out[3]=
Run the tests:
In[4]:=
TestReport[tests]
Out[4]=
TestReportObject
 |  |
|
Echo the outputs of the tests:
In[5]:=
TestReport[tests,HandlerFunctions"TestEvaluated"Echo]
»
EventTestEvaluated,EventID2f07d821-3b8e-4654-8b1f-fe218794329e,TestObjectTestObject
,OutcomeSuccess
|  |
|
»
Out[5]=
TestReportObject
| |
|
 |
|
 |
|
""