kernelopts(printbytes=false):

with(linalg):
 
# print("Corollary 8");
# read("minpal2-11maple.txt"):
# factor(minpoly(m,X));

print("Corollary 13");
read("minpal3-5maple.txt"):
factor(minpoly(m,X));

print("Theorem 17");
read("minlpal2-5maple.txt"):
factor(minpoly(m,X));

print("Corollary 21");
read("minlpal3-2maple.txt"):
factor(minpoly(m,X));

print("Corollary 24");
read("minlpal4-1maple.txt"):
factor(minpoly(m,X));

print("Theorem 26");
read("minpal2-e2o5maple.txt"):
factor(minpoly(m,X));

print("Theorem 29");
read("minpal2-e6o3maple.txt"):
factor(minpoly(m,X));

print("Theorem 32");
read("minpal3-e0o3maple.txt"):
factor(minpoly(m,X));


