from sage.all import *
load cliqueminor1trd.spyx

### Find K7 minor free graphs with degree minimum 6 and size at most 11 ### 
graphlist=list(graphs.nauty_geng("8 24:25 -c -d6"))
K7 = graphs.CompleteGraph(7);
filterlist = []
prefilter = []

## Check for K7 minors
@parallel(8)
def filter_K7(i):
    try:
        clique_minor(graphlist[i], K7);
    except ValueError:
        print "No minor"
        return 0;
    
    print "There is a minor."
    return 1;

prefilter = list(filter_K7(range(0,len(graphlist))))

## Creating the filterlist
for position, i in prefilter:
    if(i == 0):
        filterlist.append(graphlist[position[0][0]])

## Save the filtered list
save(filterlist, 'nominor082525.sobj');