1.1 ! takayama 1: import("names.rr"); ! 2: load("bfct"); ! 3: F=(1-x)*(1-y)+(1-x)*(1-z)+(1-y)*(1-z); ! 4: A=ann(F); ! 5: poly_factor(bfct(F)); ! 6: print(A);