> addvertex(`T12.5`,theory);

`T12.5`

> addedge([AAA,`T12.5`],theory);

e27

> addedge([PS,`T12.5`],theory);

e28

> addedge([RA,`T12.5`],theory);

e29

> addedge([SAS,`T12.5`],theory);

e30

> addedge([T8,`T12.5`],theory);

e31

> partition:=[[I1,I2,RA,PS,Pra,AAA,SAS],[T1,T2,T3,`T6.5`,T5,T6,T8,`T8.5`,`T12.5`],[T4,T7,T9],[T10,T11],[T12]];

partition := [[I1, I2, RA, PS, Pra, AAA, SAS], [T1,...
partition := [[I1, I2, RA, PS, Pra, AAA, SAS], [T1,...