350 "There should not exist a C10->P10 mapping."); |
350 "There should not exist a C10->P10 mapping."); |
351 |
351 |
352 check(!checkIso(p10,c10), |
352 check(!checkIso(p10,c10), |
353 "P10 and C10 are not isomorphic."); |
353 "P10 and C10 are not isomorphic."); |
354 check(checkIso(c10,c10), |
354 check(checkIso(c10,c10), |
355 "C10 and C10 are not isomorphic."); |
355 "C10 and C10 are isomorphic."); |
|
356 |
|
357 check(!vf2(p10,c10).iso().run(), |
|
358 "P10 and C10 are not isomorphic."); |
|
359 check(vf2(c10,c10).iso().run(), |
|
360 "C10 and C10 are isomorphic."); |
356 |
361 |
357 check(!checkSub(c5,petersen,c5_col,petersen_col1), |
362 check(!checkSub(c5,petersen,c5_col,petersen_col1), |
358 "There should exist a C5->Petersen mapping."); |
363 "There should exist a C5->Petersen mapping."); |
359 check(checkSub(c5,petersen,c5_col,petersen_col2), |
364 check(checkSub(c5,petersen,c5_col,petersen_col2), |
360 "There should exist a C5->Petersen mapping."); |
365 "There should exist a C5->Petersen mapping."); |