gbdacr_ex( descr = "Example 15 in our ISSAC submission", radix = 2, fns = none, gens = [ Tw(1,1) + 1/(1-2*x) * Tw(1,0) + x/(1-x^2) * Tw(1) + Tw(0), x * Tw(1,0,0) + (2-x)/(1-x) * Tw(1,0) + Tw(0,0), - x^3/(1-x^4) * Tw(0,1,0) + Tw(1,0,0) + Tw(1), Tw(0,0,1) + Tw(0,0,0) + Tw(1,1), Tw(0,1,1) + 1/(1-x) * Tw(0,1,0), Tw(1,0,1) + x^2/(1-3*x) * Tw(1,0,0) + Tw(1), Tw(0,0,1) + Tw(0,1,0) + Tw(0,0,0) ], stairs = [Tw(0), Tw(1)] ): gbdacr_ex( descr = "Example 15 in our ISSAC submission (mod1)", radix = 2, fns = none, gens = [ Tw(1,1) + 1/(1-2*x) * Tw(1,0) + x/(1-x^2) * Tw(1) + Tw(0), x * Tw(1,0,0) + (2-x)/(1-x) * Tw(1,0) + Tw(0,0), - x^3/(1-x^4) * Tw(0,1,0) + Tw(1,0,0) + Tw(1), Tw(0,0,1) + Tw(0,0,0) + Tw(1,1), Tw(0,1,1) + 1/(1-x) * Tw(0,1,0), Tw(1,0,1) + x^2/(1-3*x) * Tw(1,0,0) + Tw(1), Tw(0,0,1) + Tw(0,1,0) + 2 * Tw(0,0,0) ], stairs = [Tw(1,1), Tw(0,0,0), Tw(1,0,0), Tw(0,1,0), Tw(1,1,0), Tw(0,0,1), Tw(1,0,1)] ): gbdacr_ex( descr = "Example 15 in our ISSAC submission (mod2)", radix = 2, fns = none, gens = [ Tw(1,1) + 1/(1-2*x) * Tw(1,0) + x/(1-x^2) * Tw(1) + Tw(0), x * Tw(1,0,0) + (2-x)/(1-x) * Tw(1,0) + Tw(0,0), - x^3/(1-x^4) * Tw(0,1,0) + Tw(1,0,0) + Tw(1), Tw(0,0,1) + Tw(0,0,0) + Tw(1,1), Tw(0,1,1) + 1/(1-x) * Tw(0,1,0), Tw(1,0,1) + x^2/(1-3*x) * Tw(1,0,0) + Tw(1), Tw(0,0,1) + 2 * Tw(0,1,0) + Tw(0,0,0) ], stairs = [Tw(0), Tw(1)] ): gbdacr_ex( descr = "Example 15 in our ISSAC submission (mod3)", radix = 2, fns = none, gens = [ Tw(1,1) + 1/(1-2*x) * Tw(1,0) + x/(1-x^2) * Tw(1) + Tw(0), x * Tw(1,0,0) + (2-x)/(1-x) * Tw(1,0) + Tw(0,0), - x^3/(1-x^4) * Tw(0,1,0) + Tw(1,0,0) + Tw(1), Tw(0,0,1) + Tw(0,0,0) + Tw(1,1), Tw(0,1,1) + 1/(1-x) * Tw(0,1,0), Tw(1,0,1) + x^2/(1-3*x) * Tw(1,0,0) + Tw(1), 2 * Tw(0,0,1) + Tw(0,1,0) + Tw(0,0,0) ], stairs = [Tw(1,1), Tw(0,0,0), Tw(1,0,0), Tw(0,1,0), Tw(1,1,0), Tw(0,0,1), Tw(1,0,1)] ): gbdacr_ex( descr = "Ex02 simplified Stern-Brocot", radix = 2, fns = none, gens = [ Tw(0)-Tw(), Tw(1)-Tw()-1/x*Tw() ], stairs = [Tw(0), Tw(1)] ): gbdacr_ex( descr = "Ex03 simplified Gray code", radix = 2, fns = none, gens = [ Tw(0,0)-2*Tw(0), Tw(1,1)-2*Tw(1), Tw(0,1)+4*Tw()-3*Tw(0)-Tw(1), Tw(1,0)+4*Tw()-Tw(0)-3*Tw(1) ], stairs = [Tw(0,0), Tw(1,0), Tw(0,1), Tw(1,1)] ): gbdacr_ex( descr = "Ex04 simplified Karatsuba", radix = 2, fns = none, gens = [ 1/x*Tw(0)-3/x*Tw(), 1/x*Tw(1)-2/x^2*Tw()-1/x*Tw() ], stairs = [Tw(0), Tw(1)] ): gbdacr_ex( descr = "Ex06 non trivial 2-rational", radix = 2, fns = none, gens = [ 1/x^2*Tw(0)+Tw(1)-1/x^2*Tw(), 1/x*Tw(1)+Tw(0)-1/x*Tw() ], stairs = [Tw(0), Tw(1)] ): gbdacr_ex( descr = "Ex07 big classical rational", radix = 2, fns = none, gens = [ (1-3/x^2)*Tw(1), Tw(1,1)-Tw(0,1,0,1)-Tw(0), 1/x^2*Tw(1,0)-1/x^3*Tw(0)-x^30*Tw(), 1/x*Tw(0)-1/x^3*Tw(1)-1/x*Tw(), 1/x*Tw(0,1)-4/x^3*Tw(0)-x^5*Tw() ], stairs = [Tw()] ): gbdacr_ex( descr = "Ex09 possibly 2-rational", radix = 2, fns = none, gens = [ 1/x^2*Tw(0)-x*Tw(1)-1/x^2*Tw(), 1/x*Tw(1)-x*Tw(0)-1/x*Tw() ], stairs = [Tw(0), Tw(1)] ): gbdacr_ex( descr = "comb-shaped tree, depth = 2, radix = 2", radix = 2, fns = none, gens = [ Tw(1)+1/(1-x)*Tw(0), Tw(1,1)+1/(1-x)*Tw(0,1) ], stairs = [Tw(1), Tw(1,0)] ): gbdacr_ex( descr = "comb-shaped tree, depth = 3, radix = 2", radix = 2, fns = none, gens = [ Tw(1)+1/(1-x)*Tw(0), Tw(1,1)+1/(1-x)*Tw(0,1), Tw(1,1,1)+1/(1-x)*Tw(0,1,1) ], stairs = [Tw(1), Tw(1,0), Tw(1,0,0)] ): gbdacr_ex( descr = "comb-shaped tree, depth = 4, radix = 2", radix = 2, fns = none, gens = [ Tw(1)+1/(1-x)*Tw(0), Tw(1,1)+1/(1-x)*Tw(0,1), Tw(1,1,1)+1/(1-x)*Tw(0,1,1), Tw(1,1,1,1)+1/(1-x)*Tw(0,1,1,1) ], stairs = [Tw(1), Tw(1,0), Tw(1,0,0), Tw(1,0,0,0)] ): gbdacr_ex( descr = "comb-shaped tree, depth = 5, radix = 2", radix = 2, fns = none, gens = [ Tw(1)+1/(1-x)*Tw(0), Tw(1,1)+1/(1-x)*Tw(0,1), Tw(1,1,1)+1/(1-x)*Tw(0,1,1), Tw(1,1,1,1)+1/(1-x)*Tw(0,1,1,1), Tw(1,1,1,1,1)+1/(1-x)*Tw(0,1,1,1,1) ], stairs = [Tw(1), Tw(1,0), Tw(1,0,0), Tw(1,0,0,0), Tw(1,0,0,0,0)] ): gbdacr_ex( descr = "comb-shaped tree, depth = 6, radix = 2", radix = 2, fns = none, gens = [ Tw(1)+1/(1-x)*Tw(0), Tw(1,1)+1/(1-x)*Tw(0,1), Tw(1,1,1)+1/(1-x)*Tw(0,1,1), Tw(1,1,1,1)+1/(1-x)*Tw(0,1,1,1), Tw(1,1,1,1,1)+1/(1-x)*Tw(0,1,1,1,1), Tw(1,1,1,1,1,1)+1/(1-x)*Tw(0,1,1,1,1,1) ], stairs = [Tw(1), Tw(1,0), Tw(1,0,0), Tw(1,0,0,0), Tw(1,0,0,0,0), Tw(1,0,0,0,0,0)] ): gbdacr_ex( descr = "comb-shaped tree, depth = 2, radix = 3", radix = 3, fns = none, gens = [ Tw(2)+1/(1-x)*Tw(1)+1/(1-x)*Tw(0), Tw(2,2)+1/(1-x)*Tw(1,2)+1/(1-x)*Tw(0,2) ], stairs = [Tw(2), Tw(2,1)] ): gbdacr_ex( descr = "comb-shaped tree, depth = 3, radix = 3", radix = 3, fns = none, gens = [ Tw(2)+1/(1-x)*Tw(1)+1/(1-x)*Tw(0), Tw(2,2)+1/(1-x)*Tw(1,2)+1/(1-x)*Tw(0,2), Tw(2,2,2)+1/(1-x)*Tw(1,2,2)+1/(1-x)*Tw(0,2,2) ], stairs = [Tw(2), Tw(2,1), Tw(2,1,1)] ): gbdacr_ex( descr = "comb-shaped tree, depth = 4, radix = 3", radix = 3, fns = none, gens = [ Tw(2)+1/(1-x)*Tw(1)+1/(1-x)*Tw(0), Tw(2,2)+1/(1-x)*Tw(1,2)+1/(1-x)*Tw(0,2), Tw(2,2,2)+1/(1-x)*Tw(1,2,2)+1/(1-x)*Tw(0,2,2), Tw(2,2,2,2)+1/(1-x)*Tw(1,2,2,2)+1/(1-x)*Tw(0,2,2,2) ], stairs = [Tw(2), Tw(2,1), Tw(2,1,1), Tw(2,1,1,1)] ): gbdacr_ex( descr = "Ex17, already solved, radix 3", radix = 3, fns = none, gens = [ Tw(1)/x^2-Tw(), -(x^23+x^21+2*x^20+x^17-x^16-x^15-x^13+3*x^11+x^9+2*x^6+x^3+x^2-x-1)/x^31*Tw()+(x^29+x^25-x^21-2*x^18+2*x^15+2*x^14+x^11-x^10+2*x^8-x^7-x^4+x+1)/x^31*Tw(0)+(x^31+x^28-x^24+2*x^17+2*x^14-x^10+x^3+1)/x^32*Tw(0,0), (x^29+x^26-x^22+x^20+x^17+2*x^15+x^14-2*x^13+x^12+x^11-x^10+2*x^8+x^6-x^4+x^3+x+1)/x^33*Tw()-(x^32+x^31-x^24+x^21+x^20+2*x^18+x^17-2*x^14+x^7+3*x^4-1)/x^32*Tw(0)+(x^31+x^28-x^24+2*x^17+2*x^14-x^10+x^3+1)/x^32*Tw(1,0), -(x^33+x^30-x^26+x^23+x^21+2*x^20+2*x^19+x^17+x^16-x^15-x^13-x^12+3*x^11+x^9+2*x^6+x^5+x^3+2*x^2-x-1)/x^33*Tw()+(x^29+x^25-x^21-2*x^18+2*x^15+2*x^14+x^11-x^10+2*x^8-x^7-x^4+x+1)/x^33*Tw(0)+(x^31+x^28-x^24+2*x^17+2*x^14-x^10+x^3+1)/x^34*Tw(0,2), (x^32+x^29-x^27-x^25-x^24+x^23+2*x^20+2*x^18+x^17-x^16+2*x^15+x^14-x^13+x^11-x^10+x^8-x^6+x^4+x^3+x+1)/x^36*Tw()-(x^32+x^29-x^27-x^25-x^24-x^23-x^22-x^21+x^20+2*x^18-x^17-x^16+2*x^15+x^14-x^13-x^11-x^9-x^8-x^7+x^4-x^3+x-1)/x^33*Tw(0)+(x^31+x^28-x^24+2*x^17+2*x^14-x^10+x^3+1)/x^32*Tw(2,2), (x^32+x^29-x^27-x^25-x^24+x^23+2*x^20+2*x^18+x^17-x^16+2*x^15+x^14-x^13+x^11-x^10+x^8-x^6+x^4+x^3+x+1)/x^36*Tw()+(x^27+x^24+x^23+x^22+x^21-x^20+x^17+x^16-x^14+x^13+x^9+x^8+x^7+x^3+1)/x^33*Tw(0)+(x^31+x^28-x^24+2*x^17+2*x^14-x^10+x^3+1)/x^32*Tw(2,0), -(x^35+x^32-x^29-x^28-x^26+x^22+2*x^21-x^20+2*x^18-x^17-2*x^15-2*x^14+2*x^13-x^12-x^11+x^10-2*x^8+x^7-x^6+2*x^4-x^3-x-1)/x^35*Tw()-(2*x^32+x^31+x^29-x^25-x^24+x^21+x^20+4*x^18+x^17+2*x^15-2*x^14-x^11+x^7+4*x^4+x-1)/x^34*Tw(0)+(x^31+x^28-x^24+2*x^17+2*x^14-x^10+x^3+1)/x^34*Tw(1,2) ], stairs = [Tw(1), Tw(0,0), Tw(1,0), Tw(2,0), Tw(0,2), Tw(1,2), Tw(2,2)] ): gbdacr_ex( descr = "Ex18, already solved", radix = 2, fns = none, gens = [ Tw(0,0)+Tw(1,1)+Tw(1), -Tw(0)/(-1+3*x)+Tw(0,1,0), Tw(1,1,0)+(-x^2-1)*Tw(1,0)+x*Tw(0)/(x^2+x+1), Tw(0,1)+Tw(1,0)+Tw(0)/(x^2+x+1), Tw(1,1,0,0)-Tw(0,1,0,0)/(x+1)+Tw(1,0,0,0)/x-Tw(0,0,0,0)/x/(x+1)+(x^2+x+1)*Tw(1,0,0)/(81*x-1)/x/(x+1)+9*(x^2+x+1)*Tw(0,0,0)/(81*x-1)/x/(x+1)-(729*x^9+396*x^8+181*x^7-1736*x^6-2474*x^5-5461*x^4-3885*x^3-1360*x^2+204*x-2)*Tw(1,0)/(x^2+x+1)/(81*x-1)/(9*x-1)/x/(x+1)+(9*x^4-3*x^3-19*x^2-8*x+2)*Tw(0,0)/(x^2+x+1)/(9*x-1)/x/(x+1)+(243*x^6-165*x^5-374*x^4-368*x^3-41*x^2-74*x+4)*Tw(0)/(x^2+x+1)/(81*x-1)/(-1+3*x)/x/(x+1), Tw(1,0,1,0,0)-Tw(0,0,1,0,0)+(1-x)*Tw(1,1,0,0,0)-Tw(1,0,0,0,0)+Tw(0,0,0,0,0)-(6561*x^3+81*x^2-6641*x-81)*Tw(0,1,0,0)/(x+1)/(6561*x-1)-(729*x^3-81*x^2-9*x+1)*Tw(1,0,0,0)/x/(6561*x-1)-(9*x^3-639*x^2-729*x-1)*Tw(0,0,0,0)/(x+1)/x/(6561*x-1)-(531441*x^7+688743*x^6-748221*x^5-203519*x^4+688776*x^3-13305*x^2+4*x+1)*Tw(1,0,0)/(6561*x-1)/x/(x+1)/(81*x^3+80*x^2+80*x-1)+(531441*x^7+1706508*x^6+257077*x^5-1277256*x^4-313293*x^3+46677*x^2-25*x-9)*Tw(0,0,0)/(6561*x-1)/x/(x+1)/(81*x^3+80*x^2+80*x-1)+(4782969*x^12+8895987*x^11+13084425*x^10+34312157*x^9+36065635*x^8+45225188*x^7+39630992*x^6+21029128*x^5+13560502*x^4-2544497*x^3+27079*x^2+197*x-2)*Tw(1,0)/(x+1)/x/(59049*x^4+52479*x^3+52480*x^2-6569*x+1)/(81*x-1)-(59049*x^7+111285*x^6+64654*x^5+89804*x^4+88159*x^3+10269*x^2-262*x+2)*Tw(0,0)/(x+1)/x/(59049*x^4+52479*x^3+52480*x^2-6569*x+1)-(1594323*x^11+3319623*x^10+4894347*x^9+16566342*x^8+16806644*x^7+10722949*x^6+4883541*x^5-2505050*x^4-55454*x^3-15628*x^2-41*x+4)*Tw(0)/(x+1)/x/(531441*x^2-6642*x+1)/(-1+3*x)/(x^2+x+1)^2 ], stairs = [Tw(0,1), Tw(1,1), Tw(0,1,0), Tw(1,1,0), Tw(1,1,0,0), Tw(1,0,1,0,0)] ): (* The following examples for modules are run, although they are formally not justified. (The TOP ordering is incompatible with the reduction.) *) gbdacr_ex( descr = "wfdacr (1), a = 2", radix = 2, fns = [u, v, w], gens = [ TwFn(0, u) - 2*x * TwFn(v) + TwFn(w), TwFn(1, u) - TwFn(u) - 1/x^2 * TwFn(v), TwFn(0, v) - TwFn(1, v), TwFn(1, v) - 2 * TwFn(v) - 1/x * TwFn(u), TwFn(0, w) - 2 * TwFn(w), x * TwFn(1, w) - (1+x) * TwFn(w) ], stairs = [TwFn(0,w), TwFn(1,w), TwFn(0,v), TwFn(1,v), TwFn(0,u), TwFn(1,u)] ): gbdacr_ex( descr = "wfdacr (1), a = 1", radix = 2, fns = [u, v, w], gens = [ TwFn(0, u) - 2*x * TwFn(v) + TwFn(w), TwFn(1, u) - TwFn(u) - 1/x * TwFn(v), TwFn(0, v) - TwFn(1, v), TwFn(1, v) - 2 * TwFn(v) - 1/x * TwFn(u), TwFn(0, w) - 2 * TwFn(w), x * TwFn(1, w) - (1+x) * TwFn(w) ], stairs = [TwFn(0,w), TwFn(1,w), TwFn(0,v), TwFn(1,v), TwFn(0,u), TwFn(1,u)] ): gbdacr_ex( descr = "wfdacr (29)", radix = 2, fns = [u, v, w], gens = [ TwFn(0, u) - 2 * TwFn(v) - TwFn(w), TwFn(0, 1, u) - TwFn(u) - 1/x * TwFn(v), TwFn(1, 1, u) - TwFn(1, u), TwFn(0, v) - TwFn(0, 0, u) - 1/x * TwFn(0, v) - TwFn(w), TwFn(0, 1, v) - x^3 * TwFn(u) - TwFn(1, 0, v), TwFn(1, 1, v) - 1/x * TwFn(u) - TwFn(v), TwFn(0, w) - 2 * TwFn(w), x * TwFn(1, w) - (1+x) * TwFn(w) ], stairs = [TwFn(0,w), TwFn(1,w), TwFn(0,v), TwFn(0,u), TwFn(0,1,v), TwFn(1,1,v), TwFn(0,1,u), TwFn(1,1,u)] ): (* This example would reveal that the TOP ordering for modules is incompatible with the reduction. *) gbdacr_ex( descr = "Nicer form of Ex21", radix = 2, fns = [u, v, p[1], p[2], p[3], p[4]], gens = [ TrFn(2,1,v)-1/x*TrFn(1,0,u)+TrFn(1,0,p[1]), TrFn(4,0,u)-TrFn(1,0,u)-TrFn(2,0,v), TrFn(4,0,v)-TrFn(2,1,u)-TrFn(1,0,u), 1/x^2*TrFn(4,2,v)-1/x^2*TrFn(1,0,v)-1/x^2*TrFn(1,0,u)+TrFn(1,0,p[4]), 1/x*TrFn(2,1,u)-1/x*TrFn(1,0,v)-TrFn(1,0,v)+TrFn(1,0,p[2]), 1/x*TrFn(4,2,u)-TrFn(2,1,u)-TrFn(2,1,v)+TrFn(1,0,p[3]) ], stairs = [TwFn(1,v), TwFn(1,u), TwFn(0,0,v), TwFn(1,0,v), TwFn(0,0,u), TwFn(1,0,u)] ): (* binary thread-like tree *) (* radix 2 *) gbdacr_ex( descr = "thread-like graph, radix = 2, depth = 2", radix = 2, fns = none, gens = [ 1/(1-x)*Tw(0,1)+1/(1-x)*Tw(1), 1/(1-x)*Tw(0,0,1)+1/(1-x)*Tw(0,1) ], stairs = [Tw(0,1)] ): gbdacr_ex( descr = "thread-like graph, radix = 2, depth = 3", radix = 2, fns = none, gens = [ 1/(1-x)*Tw(0,1)+1/(1-x)*Tw(1), 1/(1-x)*Tw(0,0,1)+1/(1-x)*Tw(0,1), 1/(1-x)*Tw(0,0,0,1)+1/(1-x)*Tw(0,0,1) ], stairs = [Tw(0,1)] ): gbdacr_ex( descr = "thread-like graph, radix = 2, depth = 4", radix = 2, fns = none, gens = [ 1/(1-x)*Tw(0,1)+1/(1-x)*Tw(1), 1/(1-x)*Tw(0,0,1)+1/(1-x)*Tw(0,1), 1/(1-x)*Tw(0,0,0,1)+1/(1-x)*Tw(0,0,1), 1/(1-x)*Tw(0,0,0,0,1)+1/(1-x)*Tw(0,0,0,1) ], stairs = [Tw(0,1)] ): gbdacr_ex( descr = "thread-like graph, radix = 2, depth = 5", radix = 2, fns = none, gens = [ 1/(1-x)*Tw(0,1)+1/(1-x)*Tw(1), 1/(1-x)*Tw(0,0,1)+1/(1-x)*Tw(0,1), 1/(1-x)*Tw(0,0,0,1)+1/(1-x)*Tw(0,0,1), 1/(1-x)*Tw(0,0,0,0,1)+1/(1-x)*Tw(0,0,0,1), 1/(1-x)*Tw(0,0,0,0,0,1)+1/(1-x)*Tw(0,0,0,0,1) ], stairs = [Tw(0,1)] ): gbdacr_ex( descr = "thread-like graph, radix = 2, depth = 6", radix = 2, fns = none, gens = [ 1/(1-x)*Tw(0,1)+1/(1-x)*Tw(1), 1/(1-x)*Tw(0,0,1)+1/(1-x)*Tw(0,1), 1/(1-x)*Tw(0,0,0,1)+1/(1-x)*Tw(0,0,1), 1/(1-x)*Tw(0,0,0,0,1)+1/(1-x)*Tw(0,0,0,1), 1/(1-x)*Tw(0,0,0,0,0,1)+1/(1-x)*Tw(0,0,0,0,1), 1/(1-x)*Tw(0,0,0,0,0,0,1)+1/(1-x)*Tw(0,0,0,0,0,1) ], stairs = [Tw(0,1)] ): gbdacr_ex( descr = "thread-like graph, radix = 2, depth = 7", radix = 2, fns = none, gens = [ 1/(1-x)*Tw(0,1)+1/(1-x)*Tw(1), 1/(1-x)*Tw(0,0,1)+1/(1-x)*Tw(0,1), 1/(1-x)*Tw(0,0,0,1)+1/(1-x)*Tw(0,0,1), 1/(1-x)*Tw(0,0,0,0,1)+1/(1-x)*Tw(0,0,0,1), 1/(1-x)*Tw(0,0,0,0,0,1)+1/(1-x)*Tw(0,0,0,0,1), 1/(1-x)*Tw(0,0,0,0,0,0,1)+1/(1-x)*Tw(0,0,0,0,0,1), 1/(1-x)*Tw(0,0,0,0,0,0,0,1)+1/(1-x)*Tw(0,0,0,0,0,0,1) ], stairs = [Tw(0,1)] ): (* random polynomial coefficients with degree at most 3 and coeff in -9..9 *) (* radix 2 *) gbdacr_ex( descr = "5 polynomials of the same degree 2 with random coefficients in k[x]_(<= 2)", radix = 2, fns = none, gens = [ (-8*x^2+2*x-6)*Tw(0,0)+(-4*x^2-5*x+7)*Tw(0,1)+(-2*x^2-5*x-8)*Tw(1,0)+(8*x^2+x+9)*Tw(1,1), (4*x^2+8*x+5)*Tw(0,0)+(-2*x^2+4)*Tw(0,1)+(2*x^2-x+3)*Tw(1,0)+(6*x^2-9*x-4)*Tw(1,1), (3*x^2+4*x-3)*Tw(0,0)+(-3*x^2-7*x+4)*Tw(0,1)+(5*x^2+5*x+9)*Tw(1,0)+(2*x^2+9*x-2)*Tw(1,1), (-7*x^2+7*x+7)*Tw(0,0)+(-7*x^2-5*x-5)*Tw(0,1)-8*Tw(1,0)+(-2*x^2+5*x-8)*Tw(1,1), (-x^2-x-3)*Tw(0,0)+(-6*x^2+2*x+3)*Tw(0,1)+(9*x^2+5)*Tw(1,0)+(-x^2+2*x+1)*Tw(1,1) ], stairs = [Tw(0,0), Tw(1,0), Tw(0,1), Tw(1,1)] ): gbdacr_ex( descr = "5 polynomials of the same degree 3 with random coefficients in k[x]_(<= 2)", radix = 2, fns = none, gens = [ (-9-5*x)*Tw(0,0,0)+(3*x^2-8*x-2)*Tw(0,0,1)+(-8*x^2-5*x-9)*Tw(0,1,0)+(-7*x^2-8*x-8)*Tw(0,1,1)+(2*x^2+9*x-6)*Tw(1,0,0)+(-6*x^2-2*x+2)*Tw(1,0,1)+(x^2-3*x+7)*Tw(1,1,0)+(8*x^2+4*x+8)*Tw(1,1,1), (8*x^2+9*x+2)*Tw(0,0,0)+(-8*x^2+4*x)*Tw(0,0,1)+(-6*x^2+3*x+3)*Tw(0,1,0)+(-5*x^2-9*x-5)*Tw(0,1,1)+(-4*x^2+4*x+4)*Tw(1,0,0)+(6*x^2-7*x-2)*Tw(1,0,1)+(6*x^2-x-1)*Tw(1,1,0)+(4*x^2+4*x-7)*Tw(1,1,1), (7*x^2+5*x+2)*Tw(0,0,0)+(9*x^2-7*x-2)*Tw(0,0,1)+(-6*x^2+7*x+7)*Tw(0,1,0)+(-4*x^2+6*x+7)*Tw(0,1,1)+(-6*x^2+5)*Tw(1,0,0)+(6*x^2+4*x-7)*Tw(1,0,1)+(-8*x^2-9)*Tw(1,1,0)+(7*x^2+3*x+8)*Tw(1,1,1), (4+7*x)*Tw(0,0,0)+(2*x^2+5*x-3)*Tw(0,0,1)+(-5*x^2+9*x-7)*Tw(0,1,0)+(6*x^2+6*x-1)*Tw(0,1,1)+(2*x^2+6*x-9)*Tw(1,0,0)+(-4*x^2-9)*Tw(1,0,1)+(4*x^2-7*x-5)*Tw(1,1,0)+(5*x^2+2*x-7)*Tw(1,1,1), (-x^2-5*x-9)*Tw(0,0,0)+(-7*x^2+8*x+4)*Tw(0,0,1)+(3*x^2-8*x-5)*Tw(0,1,0)+(5*x^2-9*x-8)*Tw(0,1,1)+5*x^2*Tw(1,0,0)+(5*x^2+4*x)*Tw(1,0,1)+(5*x^2-x+5)*Tw(1,1,0)+(-6*x^2-x+6)*Tw(1,1,1) ], stairs = [Tw(1,1,0), Tw(0,0,1), Tw(1,0,1), Tw(0,1,1), Tw(1,1,1)] ): gbdacr_ex( descr = "5 polynomials of the same degree 4 with random coefficients in k[x]_(<= 2)", radix = 2, fns = none, gens = [ (-6*x^2+4*x-7)*Tw(0,0,0,0)+(8*x^2+6*x+7)*Tw(0,0,0,1)+(x^2+2*x-3)*Tw(0,0,1,0)+(-8+7*x)*Tw(0,0,1,1)+(-3*x^2+8*x-5)*Tw(0,1,0,0)+(-4*x^2+x+7)*Tw(0,1,0,1)+(8*x^2+5*x+5)*Tw(0,1,1,0)+(-9*x^2+7*x+6)*Tw(0,1,1,1)+(-x^2+4*x+3)*Tw(1,0,0,0)+(-3*x^2+x-7)*Tw(1,0,0,1)+(5-7*x)*Tw(1,0,1,0)+(7*x^2-2*x+5)*Tw(1,0,1,1)+(x^2+6*x-6)*Tw(1,1,0,0)+(-9*x^2+2)*Tw(1,1,0,1)+(-4*x^2-8*x-5)*Tw(1,1,1,0)+(6*x^2+7*x-1)*Tw(1,1,1,1), (3*x^2+2*x+5)*Tw(0,0,0,0)+(-9*x^2-2*x-2)*Tw(0,0,0,1)+(2*x^2-3*x+2)*Tw(0,0,1,0)+(8*x^2-3*x+8)*Tw(0,0,1,1)+(-4*x^2+6*x+7)*Tw(0,1,0,0)+(-7*x^2+2*x-6)*Tw(0,1,0,1)+(-6*x^2+7*x+3)*Tw(0,1,1,0)+(3*x^2+4*x)*Tw(0,1,1,1)+(5*x^2+6*x)*Tw(1,0,0,0)+(3+9*x)*Tw(1,0,0,1)+(-4*x^2-8*x-4)*Tw(1,0,1,0)+(-3*x^2-8*x-2)*Tw(1,0,1,1)+(-8*x^2-8*x+9)*Tw(1,1,0,0)+(-6*x^2+3*x+3)*Tw(1,1,0,1)+(3*x^2-x-9)*Tw(1,1,1,0)+(-8*x^2+9*x-2)*Tw(1,1,1,1), (-5*x^2+8*x)*Tw(0,0,0,0)+(-7*x^2+8*x-8)*Tw(0,0,0,1)+(5*x^2-9*x-4)*Tw(0,0,1,0)+(2*x^2+x-9)*Tw(0,0,1,1)+(-3-9*x)*Tw(0,1,0,0)+(-7*x^2+4*x-9)*Tw(0,1,0,1)+(-9*x^2-5*x+8)*Tw(0,1,1,0)+(-3*x^2+7*x-7)*Tw(0,1,1,1)+(2*x^2-9*x-8)*Tw(1,0,0,0)+(8*x^2+2*x+5)*Tw(1,0,0,1)+(-9*x^2+3*x-8)*Tw(1,0,1,0)+(6*x^2-7*x+4)*Tw(1,0,1,1)+(-2*x^2-6*x-8)*Tw(1,1,0,0)+(7+3*x)*Tw(1,1,0,1)+(9*x^2-2*x+3)*Tw(1,1,1,0)+(6*x^2-6*x)*Tw(1,1,1,1), (x^2+9)*Tw(0,0,0,0)+(-x^2+5*x-5)*Tw(0,0,0,1)+(2*x^2-x-2)*Tw(0,0,1,0)+(7*x^2+7*x-1)*Tw(0,0,1,1)+(3*x^2+6*x+1)*Tw(0,1,0,0)+(4*x^2+7*x+2)*Tw(0,1,0,1)+(-8*x^2+8*x-5)*Tw(0,1,1,0)+(5*x^2+4*x+2)*Tw(0,1,1,1)+(9*x^2+3*x+5)*Tw(1,0,0,0)+(-8*x^2+2*x-9)*Tw(1,0,0,1)+(-7*x^2-9*x-7)*Tw(1,0,1,0)+(-x^2-5*x+7)*Tw(1,0,1,1)+(-6*x^2-8*x+9)*Tw(1,1,0,0)+(8*x^2-2*x-9)*Tw(1,1,0,1)+(-9*x^2+5*x-6)*Tw(1,1,1,0)+(6*x^2+5*x+4)*Tw(1,1,1,1), (-3*x^2+2*x+1)*Tw(0,0,0,0)+(-4*x^2+2*x+9)*Tw(0,0,0,1)+(7*x^2-8*x-8)*Tw(0,0,1,0)+(-5*x^2-9*x+5)*Tw(0,0,1,1)+(3*x^2-5*x-4)*Tw(0,1,0,0)+(-3*x^2+6*x)*Tw(0,1,0,1)+(-8*x^2+2*x+1)*Tw(0,1,1,0)+(-5*x^2-4*x-3)*Tw(0,1,1,1)+(4*x^2-7*x-7)*Tw(1,0,0,0)+(-x^2-3*x+5)*Tw(1,0,0,1)+(-3*x^2-9*x+2)*Tw(1,0,1,0)+(8*x^2+6*x+3)*Tw(1,0,1,1)+(4*x^2-9*x)*Tw(1,1,0,0)+(-5*x^2+2*x+3)*Tw(1,1,0,1)+(x^2-9*x-4)*Tw(1,1,1,0)+(2*x^2+4*x-7)*Tw(1,1,1,1) ], stairs = [Tw(1,1,0,1), Tw(0,0,1,1), Tw(1,0,1,1), Tw(0,1,1,1), Tw(1,1,1,1)] ): gbdacr_ex( descr = "5 polynomials of the same degree 5 with random coefficients in k[x]_(<= 2)", radix = 2, fns = none, gens = [ -7*Tw(0,0,1,1,1)+(2*x^2+x-9)*Tw(1,1,1,0,1)+(2*x^2+6*x-6)*Tw(1,1,1,1,0)+(2*x^2+7*x-1)*Tw(1,1,1,1,1)+(7-9*x)*Tw(1,0,0,0,0)+(-x^2+6*x-9)*Tw(1,0,0,0,1)+(3*x^2+4*x-5)*Tw(1,0,0,1,0)+(9*x^2+6*x-2)*Tw(1,0,0,1,1)+(-9*x^2-8*x-3)*Tw(1,0,1,0,0)+(3*x^2+9*x-9)*Tw(1,0,1,0,1)+(9*x^2+3*x+1)*Tw(1,0,1,1,0)+(-3*x^2+9*x+8)*Tw(1,0,1,1,1)+(-3*x^2-4*x)*Tw(1,1,0,0,0)+(9*x^2-2*x-1)*Tw(1,1,0,0,1)+(-5*x^2+2*x-5)*Tw(0,0,1,0,1)+(-x^2+6)*Tw(0,0,1,1,0)+(-6*x^2-7*x-3)*Tw(0,1,0,0,0)+(4*x^2+x-7)*Tw(0,1,0,0,1)+(-6*x^2-5*x-2)*Tw(0,1,0,1,0)+(x^2-5*x+1)*Tw(0,1,0,1,1)+(6*x^2+6)*Tw(0,1,1,0,0)+(-3*x^2+2*x+7)*Tw(0,1,1,0,1)+(-9*x^2-7)*Tw(0,1,1,1,0)+(-9*x^2+8*x-7)*Tw(0,1,1,1,1)+(-2*x^2+3*x-1)*Tw(0,0,0,0,0)+(2-8*x)*Tw(0,0,0,0,1)+(6*x^2-3*x-5)*Tw(0,0,0,1,0)+(4*x^2-6)*Tw(0,0,0,1,1)+(-8*x^2+5*x-2)*Tw(0,0,1,0,0)+(2*x^2+2)*Tw(1,1,0,1,0)+(-5*x^2-5*x+9)*Tw(1,1,0,1,1)+(-6*x^2-6*x+4)*Tw(1,1,1,0,0), 3*x^2*Tw(0,1,0,0,1)+(-6*x^2-3*x-8)*Tw(1,1,1,1,0)+(3-5*x)*Tw(1,1,1,1,1)+(7+x)*Tw(1,0,0,0,1)+(-7*x^2+4*x-5)*Tw(1,0,0,1,0)+(-5*x^2-7*x+4)*Tw(1,0,0,1,1)+(-4*x^2-7*x-3)*Tw(1,0,1,0,0)+(4*x^2+7*x-4)*Tw(1,0,1,0,1)+(7*x^2-3*x+8)*Tw(1,0,1,1,0)+(-x^2-3*x-2)*Tw(1,0,1,1,1)+(x^2+2*x-7)*Tw(1,1,0,0,0)+(x^2+2*x-2)*Tw(1,1,0,0,1)+(-9*x^2+7*x-1)*Tw(1,1,0,1,0)+(9-7*x)*Tw(0,0,1,0,1)+(6*x^2-3)*Tw(0,0,1,1,0)+(8*x^2-9*x-7)*Tw(0,0,1,1,1)+(4*x^2-7*x+6)*Tw(0,1,0,0,0)+(-3-7*x)*Tw(0,1,0,1,0)+(-5*x^2-6*x-8)*Tw(0,1,0,1,1)+(-x^2-7*x+1)*Tw(0,1,1,0,0)+(8*x^2+4*x-2)*Tw(0,1,1,0,1)+(x^2-4*x-8)*Tw(0,1,1,1,0)+(-9*x^2+5*x-3)*Tw(0,1,1,1,1)+(1-5*x)*Tw(1,0,0,0,0)+(-9*x^2+3*x-3)*Tw(0,0,0,0,0)+(2*x^2+4*x-6)*Tw(0,0,0,0,1)+(-5*x^2-x+9)*Tw(0,0,0,1,0)+(8*x^2+4*x-6)*Tw(0,0,0,1,1)+(4*x^2+3*x)*Tw(0,0,1,0,0)+(9*x^2+6*x+5)*Tw(1,1,0,1,1)+(7*x^2+7*x-4)*Tw(1,1,1,0,0)+(3*x^2+7*x+4)*Tw(1,1,1,0,1), (2*x^2-6*x-2)*Tw(1,1,0,1,1)+(-6*x^2+7*x+4)*Tw(1,1,1,0,0)+(-8*x^2-6*x+3)*Tw(1,1,1,0,1)+(3*x^2-2*x-4)*Tw(1,1,1,1,0)+(-x^2-3*x+7)*Tw(1,1,1,1,1)+(-8*x^2+8)*Tw(1,1,0,1,0)+(6*x^2-9*x+5)*Tw(1,1,0,0,1)+(-6*x^2+9*x-9)*Tw(1,0,0,1,0)+(-6*x^2-3*x+2)*Tw(1,0,0,1,1)+(7*x^2+2*x+1)*Tw(1,0,1,0,0)+(-3*x^2-x-5)*Tw(1,0,1,0,1)+(5*x^2-2*x-9)*Tw(1,0,1,1,0)+(-3*x^2-3*x-3)*Tw(1,0,1,1,1)+(-2*x^2-9)*Tw(1,1,0,0,0)+(9*x^2-9*x+9)*Tw(0,0,1,1,0)+(-4*x^2+8*x+3)*Tw(0,0,1,1,1)+(9*x^2-9*x-6)*Tw(0,1,0,0,0)+(4*x^2-3*x+1)*Tw(0,1,0,0,1)+(-3*x^2-9*x-5)*Tw(0,1,0,1,0)+(5*x^2+9*x-8)*Tw(0,1,0,1,1)+(-3*x^2+4*x)*Tw(0,1,1,0,0)+(-4*x^2+9*x+6)*Tw(0,1,1,0,1)+(-9*x^2-2*x+9)*Tw(0,1,1,1,0)+(-3*x^2+9*x-5)*Tw(0,1,1,1,1)+(-3*x^2-3*x+2)*Tw(1,0,0,0,0)+(-5*x^2+8*x+7)*Tw(1,0,0,0,1)+(-3*x^2-8*x+2)*Tw(0,0,0,0,0)+(x^2+8*x+4)*Tw(0,0,0,0,1)+(-2*x^2+3*x+7)*Tw(0,0,0,1,0)+(-9*x^2-3*x-6)*Tw(0,0,0,1,1)+(6*x^2+4*x+1)*Tw(0,0,1,0,0)+(-5*x^2+6*x-7)*Tw(0,0,1,0,1), -6*x*Tw(0,0,1,1,0)+(5*x^2+9*x+8)*Tw(0,1,0,1,1)+(6+8*x)*Tw(0,1,1,0,0)+(2*x^2+2*x-1)*Tw(0,1,1,0,1)+(-5*x^2-6*x+4)*Tw(0,1,1,1,0)+(4*x^2+8*x-1)*Tw(0,1,1,1,1)+(-2*x^2+3*x+7)*Tw(1,0,0,0,0)+(7*x^2-2*x)*Tw(1,0,0,0,1)+(4*x^2-4*x-8)*Tw(1,0,0,1,0)+(-6*x^2-5*x-5)*Tw(1,0,0,1,1)+(2*x^2+x)*Tw(1,0,1,0,0)+(-2*x^2-6*x+7)*Tw(1,0,1,0,1)+(8*x^2-8*x+4)*Tw(1,0,1,1,0)+(-4*x^2-6*x+7)*Tw(0,0,0,0,0)+(7*x^2-9*x-9)*Tw(0,0,0,0,1)+(-6*x^2-6*x+4)*Tw(0,0,0,1,0)+(3*x^2-2*x+9)*Tw(0,0,0,1,1)+(5*x^2+x+5)*Tw(0,0,1,0,0)+(-5*x^2+9*x-8)*Tw(0,0,1,0,1)+(-2*x^2-7*x+5)*Tw(1,0,1,1,1)+(-2*x^2-2*x+6)*Tw(1,1,0,0,0)+(-7*x^2+4*x+1)*Tw(1,1,0,0,1)+(3*x^2+3*x-2)*Tw(1,1,0,1,0)+(x^2-4*x+6)*Tw(1,1,0,1,1)+(7*x^2-x+3)*Tw(1,1,1,0,0)+(9*x^2-x+1)*Tw(1,1,1,0,1)+(9*x^2+x+2)*Tw(1,1,1,1,0)+(x^2+2)*Tw(1,1,1,1,1)+(6*x^2+5*x-6)*Tw(0,0,1,1,1)+(2*x^2-4*x+5)*Tw(0,1,0,0,0)+(6*x^2-9*x+1)*Tw(0,1,0,0,1)+(7*x^2-8*x-4)*Tw(0,1,0,1,0), (x^2+7*x-9)*Tw(1,1,0,1,1)+(6*x^2-5*x+6)*Tw(1,1,1,0,0)+(-6*x^2+8*x-5)*Tw(1,1,1,0,1)+(3*x^2-3*x+1)*Tw(1,1,1,1,0)+(-7*x^2+2*x+9)*Tw(1,1,1,1,1)+(-3*x^2-6*x-4)*Tw(0,0,1,0,0)+(-5*x^2-9*x+1)*Tw(0,0,1,0,1)+(-3*x^2-3*x-6)*Tw(0,0,1,1,0)+(4*x^2+4*x)*Tw(0,0,1,1,1)+(2*x^2-4*x-7)*Tw(0,1,0,0,0)+(-x^2-8*x+3)*Tw(0,1,0,0,1)+(-6*x^2-9*x+7)*Tw(0,1,0,1,0)+(2*x^2-5*x-9)*Tw(0,1,0,1,1)+(9*x^2-x)*Tw(0,1,1,0,0)+(5*x^2+7*x+3)*Tw(0,1,1,0,1)+(-9*x^2-7*x+4)*Tw(0,1,1,1,0)+(-x^2+2*x-3)*Tw(0,1,1,1,1)+(2*x^2+7*x-1)*Tw(1,0,0,0,0)+(8*x^2-7*x-6)*Tw(1,0,0,0,1)+(-6*x^2-2*x+9)*Tw(1,0,0,1,0)+(-2*x^2-8*x+5)*Tw(1,0,0,1,1)+(-3*x^2+x-3)*Tw(0,0,0,0,0)+(6*x^2+6*x+5)*Tw(0,0,0,0,1)+(4*x^2-3*x-2)*Tw(0,0,0,1,0)+(6*x^2-5*x-6)*Tw(0,0,0,1,1)+(6*x^2-7*x+7)*Tw(1,0,1,0,0)+(6*x^2-4*x+8)*Tw(1,0,1,0,1)+(8*x^2+3*x+5)*Tw(1,0,1,1,0)+(-4*x^2-3*x)*Tw(1,0,1,1,1)+(-3*x^2-3*x-1)*Tw(1,1,0,0,0)+(-x^2-5*x)*Tw(1,1,0,0,1)+(-7*x^2-6*x+3)*Tw(1,1,0,1,0) ], stairs = [Tw(1,1,0,1,1), Tw(0,0,1,1,1), Tw(1,0,1,1,1), Tw(0,1,1,1,1), Tw(1,1,1,1,1)] ): gbdacr_ex( descr = "5 polynomials of the same degree 6 with random coefficients in k[x]_(<= 2)", radix = 2, fns = none, gens = [ (9*x^2-5*x-9)*Tw(0,0,0,0,0,1)+(-9*x^2+x-6)*Tw(0,0,0,0,1,0)+(-5*x^2-2*x+9)*Tw(0,0,0,0,1,1)+(7*x^2+8*x+6)*Tw(0,0,0,1,0,0)+(3*x^2+4*x-4)*Tw(0,0,0,1,0,1)+(-7*x^2-x-8)*Tw(0,0,0,1,1,0)+(9*x^2-x-5)*Tw(0,0,0,1,1,1)+(-7*x^2-3*x+7)*Tw(1,1,1,0,0,0)+(-4*x^2-7*x+1)*Tw(1,1,1,0,0,1)+(6*x^2-7*x-8)*Tw(1,1,1,0,1,0)+(4*x^2+5*x-1)*Tw(1,1,1,0,1,1)+(3*x^2-9*x+5)*Tw(1,1,1,1,0,0)+(-7*x^2+9*x-8)*Tw(1,1,1,1,0,1)+(x^2+5*x+3)*Tw(1,1,1,1,1,0)+(-5*x^2+5*x+7)*Tw(1,1,1,1,1,1)+(-6-3*x)*Tw(1,1,0,1,0,0)+(-5*x^2+3*x-7)*Tw(1,1,0,1,0,1)+(2*x^2-3*x+6)*Tw(1,1,0,1,1,0)+(7*x^2-4*x-2)*Tw(1,1,0,1,1,1)+(-6*x^2+6*x-9)*Tw(1,0,1,0,1,0)+(7*x^2-7*x-4)*Tw(1,0,1,0,1,1)+(-8*x^2+7*x-6)*Tw(1,0,1,1,0,0)+(-4-4*x)*Tw(1,0,1,1,0,1)+(4*x^2-5*x+2)*Tw(1,0,1,1,1,0)+(-8*x^2+7*x+1)*Tw(1,0,1,1,1,1)+(-4*x^2-9*x+3)*Tw(1,1,0,0,0,0)+(6*x^2+x+5)*Tw(1,1,0,0,0,1)+(5*x^2+9*x-3)*Tw(1,1,0,0,1,0)+(2*x^2+4*x-4)*Tw(1,1,0,0,1,1)+(-2*x^2+8*x+8)*Tw(1,0,0,0,0,1)+(7*x^2+9*x-7)*Tw(1,0,0,0,1,0)+(-8*x^2-2*x-1)*Tw(1,0,0,0,1,1)+(-9*x^2+6*x+2)*Tw(1,0,0,1,0,0)+(2*x^2-8*x+4)*Tw(1,0,0,1,0,1)+(6*x^2-5*x-6)*Tw(1,0,0,1,1,0)+(7*x^2+2*x+4)*Tw(1,0,0,1,1,1)+(-4*x^2+4*x+5)*Tw(1,0,1,0,0,0)+(-4*x^2-3*x-2)*Tw(1,0,1,0,0,1)+(-4*x^2-x+4)*Tw(0,1,0,0,1,0)+(-8*x^2+9*x+2)*Tw(0,1,0,0,1,1)+(3*x^2+4*x+9)*Tw(0,1,0,1,0,0)+(4*x^2+5*x-2)*Tw(0,1,0,1,0,1)+(5*x^2+8*x+8)*Tw(0,1,0,1,1,0)+(7*x^2+x+9)*Tw(0,1,0,1,1,1)+(4*x^2-4*x-7)*Tw(0,1,1,0,0,0)+(5*x^2-9*x-5)*Tw(0,1,1,0,0,1)+(-5*x^2-7*x+7)*Tw(0,1,1,0,1,0)+(-3*x^2-4*x+2)*Tw(0,1,1,1,0,0)+(-7*x^2-9*x+9)*Tw(0,1,1,1,0,1)+(-x^2+9*x+2)*Tw(0,1,1,1,1,0)+(4*x^2+x-6)*Tw(0,1,1,1,1,1)+(-5*x^2+2*x+1)*Tw(1,0,0,0,0,0)+(4*x^2-4*x-3)*Tw(0,0,1,0,0,0)+(9*x^2-9*x+2)*Tw(0,0,1,0,0,1)+(-x^2-8*x+1)*Tw(0,0,1,0,1,0)+(x^2+6*x+8)*Tw(0,0,1,0,1,1)+(-7*x^2+5*x-5)*Tw(0,0,1,1,0,0)+(-x^2-7*x+8)*Tw(0,0,1,1,0,1)+(-4*x^2-9*x+1)*Tw(0,0,1,1,1,0)+(-3*x^2-x-8)*Tw(0,0,1,1,1,1)+(x^2-3*x-6)*Tw(0,1,0,0,0,0)+(x^2+9*x-2)*Tw(0,1,0,0,0,1)+(5*x^2+3*x-7)*Tw(0,0,0,0,0,0)+2*x^2*Tw(0,1,1,0,1,1), (7*x^2+2*x+8)*Tw(1,1,1,1,1,0)+(9*x^2+2*x-6)*Tw(1,1,1,1,1,1)+(3*x^2-3*x+2)*Tw(1,0,1,1,1,0)+(3*x^2+6*x)*Tw(1,0,1,1,1,1)+(-9*x^2-5*x+5)*Tw(1,1,0,0,0,0)+(-5*x^2-6*x-8)*Tw(1,1,0,0,0,1)+(9*x^2-5*x-2)*Tw(1,1,0,0,1,0)+(-x^2+8*x+5)*Tw(1,1,0,0,1,1)+(-x^2+3*x)*Tw(1,1,0,1,0,0)+(5*x^2-8*x-3)*Tw(1,1,0,1,0,1)+(-6-7*x)*Tw(1,1,0,1,1,0)+(x^2-6*x+6)*Tw(1,1,0,1,1,1)+(-7*x^2+8*x-8)*Tw(1,1,1,0,0,0)+(-6*x^2+4*x-6)*Tw(1,1,1,0,0,1)+(7*x^2+6*x+3)*Tw(1,1,1,0,1,0)+(-5-4*x)*Tw(1,1,1,0,1,1)+(-6*x^2-7*x+9)*Tw(1,1,1,1,0,0)+(x^2+9*x-7)*Tw(1,1,1,1,0,1)+(9*x^2-6*x-7)*Tw(0,1,1,1,1,1)+(x^2+5*x-7)*Tw(1,0,0,0,0,0)+(2*x^2+9*x-6)*Tw(1,0,0,0,0,1)+(3*x^2+x+2)*Tw(1,0,0,0,1,0)+(-8*x^2+5*x+2)*Tw(1,0,0,0,1,1)+(3*x^2+5*x-9)*Tw(1,0,0,1,0,0)+(-2*x^2+2*x+1)*Tw(1,0,0,1,0,1)+(-7*x^2-6)*Tw(1,0,0,1,1,0)+(-8*x^2-8*x-5)*Tw(1,0,0,1,1,1)+(6*x^2-2*x+7)*Tw(1,0,1,0,0,0)+(-5*x^2+3*x)*Tw(1,0,1,0,0,1)+(-7*x^2+7*x+6)*Tw(1,0,1,0,1,0)+(7*x^2+5*x-3)*Tw(1,0,1,0,1,1)+(-7*x^2-7*x-8)*Tw(1,0,1,1,0,0)+(5*x^2-x+3)*Tw(1,0,1,1,0,1)+(8*x^2+6*x+2)*Tw(0,1,1,0,0,0)+(x^2-6*x-4)*Tw(0,1,1,0,0,1)+(2*x^2+6*x)*Tw(0,1,1,0,1,0)+(7*x^2-4*x-2)*Tw(0,1,1,0,1,1)+(-5*x^2+1)*Tw(0,1,1,1,0,0)+(-6*x^2+6*x-8)*Tw(0,1,1,1,0,1)+(-6*x^2-3*x-2)*Tw(0,1,1,1,1,0)+(-7*x^2-3*x-8)*Tw(0,1,0,0,1,1)+(-2*x^2-7*x-4)*Tw(0,1,0,1,0,1)+(-9*x^2+3*x+8)*Tw(0,1,0,1,1,1)+(-6*x^2+9*x+4)*Tw(0,0,0,1,0,0)+(x^2-8*x)*Tw(0,0,0,1,0,1)+(-x^2+9*x+4)*Tw(0,0,0,1,1,0)+(4*x^2+4*x+8)*Tw(0,0,0,1,1,1)+(8*x^2-3*x+1)*Tw(0,0,1,0,0,0)+(8*x^2+3*x+6)*Tw(0,0,1,0,0,1)+(5*x^2+8*x-7)*Tw(0,0,1,0,1,0)+(-4+8*x)*Tw(0,0,1,0,1,1)+(-5*x^2-6*x-9)*Tw(0,0,1,1,0,0)+(-7*x^2+4*x-5)*Tw(0,0,1,1,0,1)+(8+6*x)*Tw(0,0,1,1,1,0)+(9*x^2-7*x-6)*Tw(0,0,1,1,1,1)+(-3*x^2+x)*Tw(0,1,0,0,0,0)+(5*x^2-2*x+2)*Tw(0,1,0,0,0,1)+(-4*x^2-5*x-2)*Tw(0,1,0,0,1,0)+(2*x^2-x-9)*Tw(0,0,0,0,0,0)+(-x^2+x+8)*Tw(0,0,0,0,0,1)+(-4*x^2+4*x-4)*Tw(0,0,0,0,1,0)+(-2*x^2-8*x-8)*Tw(0,0,0,0,1,1)+7*x^2*Tw(0,1,0,1,0,0)+4*x^2*Tw(0,1,0,1,1,0), (9-5*x)*Tw(1,1,1,1,1,0)+(3*x^2-3*x+4)*Tw(1,1,1,1,1,1)+(-8*x^2-7*x+7)*Tw(1,1,0,0,1,1)+(-x^2-9*x-9)*Tw(1,1,0,1,0,0)+(x^2+7*x-9)*Tw(1,1,0,1,0,1)+(5*x^2-x-1)*Tw(1,1,0,1,1,0)+(-2*x^2+9*x+5)*Tw(1,1,0,1,1,1)+(5*x^2+6*x-5)*Tw(1,1,1,0,0,0)+(4*x^2+5*x+8)*Tw(1,1,1,0,0,1)+(5*x^2-6*x+2)*Tw(1,1,1,0,1,0)+(4*x^2-7*x-9)*Tw(1,1,1,0,1,1)+(7*x^2+8*x+3)*Tw(1,1,1,1,0,0)+(7*x^2+9*x+2)*Tw(1,1,1,1,0,1)+(-3*x^2-2*x+8)*Tw(1,0,0,1,0,0)+(9*x^2+7*x+8)*Tw(1,0,0,1,0,1)+(9*x^2+3*x+7)*Tw(1,0,0,1,1,0)+(4*x^2-2*x+3)*Tw(1,0,0,1,1,1)+(9*x^2+6)*Tw(1,0,1,0,0,0)+(9*x^2+7*x-9)*Tw(1,0,1,0,0,1)+(5*x^2-7*x-8)*Tw(1,0,1,0,1,0)+(-9*x^2-9*x-9)*Tw(1,0,1,0,1,1)+(4*x^2-x-9)*Tw(1,0,1,1,0,0)+(-4*x^2+7*x+3)*Tw(1,0,1,1,0,1)+(4*x^2+4*x+9)*Tw(1,0,1,1,1,0)+(2*x^2-x+1)*Tw(1,0,1,1,1,1)+(3*x^2+7*x-5)*Tw(1,1,0,0,0,0)+(-4*x^2-7*x-9)*Tw(1,1,0,0,0,1)+(-6*x^2-8*x+8)*Tw(1,1,0,0,1,0)+(-7*x^2+9*x-8)*Tw(0,1,1,0,0,1)+(-x^2-2)*Tw(0,1,1,0,1,0)+(-5*x^2-7*x+1)*Tw(0,1,1,0,1,1)+(2*x^2+8*x+2)*Tw(0,1,1,1,0,0)+(5-5*x)*Tw(0,1,1,1,0,1)+(-5*x^2+6*x-5)*Tw(0,1,1,1,1,0)+(-5*x^2+5*x-1)*Tw(0,1,1,1,1,1)+(-5*x^2-8*x-6)*Tw(1,0,0,0,0,0)+(8-3*x)*Tw(1,0,0,0,0,1)+(-x^2-8*x)*Tw(1,0,0,0,1,0)+(8*x^2+9*x-9)*Tw(1,0,0,0,1,1)+(-9*x^2-5*x+8)*Tw(0,1,0,0,1,1)+(8*x^2+2*x+5)*Tw(0,1,0,1,0,0)+(-6*x^2-4*x+2)*Tw(0,1,0,1,0,1)+(-2*x^2-4)*Tw(0,1,0,1,1,0)+(-7*x^2-7*x+2)*Tw(0,1,0,1,1,1)+(-4*x^2+8*x+8)*Tw(0,1,1,0,0,0)+(-6*x^2-5*x+3)*Tw(0,1,0,0,1,0)+(6*x^2+2*x+3)*Tw(0,0,1,1,1,1)+(-2*x^2-5*x-8)*Tw(0,1,0,0,0,0)+(-8*x^2+9*x+4)*Tw(0,1,0,0,0,1)+(-8*x^2+3*x-6)*Tw(0,0,0,1,1,0)+(6*x^2+6*x+6)*Tw(0,0,0,1,1,1)+(x^2+4*x-2)*Tw(0,0,1,0,0,0)+(-9*x^2-x-3)*Tw(0,0,1,0,0,1)+(3*x^2-4*x-2)*Tw(0,0,1,0,1,0)+(7*x^2-9)*Tw(0,0,1,0,1,1)+(3*x^2+5*x+3)*Tw(0,0,1,1,0,0)+(-x^2+9*x+9)*Tw(0,0,1,1,0,1)+(7*x^2-5*x)*Tw(0,0,1,1,1,0)+(8*x^2-2*x-9)*Tw(0,0,0,1,0,1)+(x^2-5*x+2)*Tw(0,0,0,1,0,0)+(-8*x^2-4*x+6)*Tw(0,0,0,0,0,0)+(-3*x^2-8*x)*Tw(0,0,0,0,0,1)+(-6*x^2+2*x-6)*Tw(0,0,0,0,1,0)+(7*x^2+5*x+3)*Tw(0,0,0,0,1,1), (9-x)*Tw(0,1,1,0,1,0)+(-2*x^2+3*x-6)*Tw(0,1,1,0,1,1)+(2*x^2+8)*Tw(0,1,1,1,0,0)+(4*x^2+2*x+9)*Tw(0,1,1,1,0,1)+(x^2+x-6)*Tw(0,1,1,1,1,0)+(-9*x^2+2*x-2)*Tw(0,1,1,1,1,1)+(-x^2+x-1)*Tw(1,0,0,0,0,0)+(8*x^2-7*x+1)*Tw(1,0,0,0,0,1)+(x^2+3*x+6)*Tw(1,0,0,0,1,0)+(-x^2-8)*Tw(0,0,1,0,0,1)+(-9*x^2+x+3)*Tw(0,0,1,0,1,0)+(-6*x^2+2*x+7)*Tw(0,0,1,0,1,1)+(-2*x^2-x-2)*Tw(0,0,1,1,0,0)+(7*x^2-9)*Tw(0,0,1,1,0,1)+(5+6*x)*Tw(0,0,1,1,1,0)+(-8*x^2-7*x)*Tw(0,0,1,1,1,1)+(x^2-4*x+1)*Tw(0,1,0,0,0,0)+(-x^2-5*x-2)*Tw(0,1,0,0,0,1)+(4*x^2+2*x-8)*Tw(0,1,0,0,1,0)+(-8*x^2+6)*Tw(0,1,0,0,1,1)+(7*x^2+6*x-6)*Tw(0,0,0,0,0,0)+(-6*x^2-x)*Tw(0,0,0,0,0,1)+(8*x^2-6*x-8)*Tw(0,0,0,0,1,0)+(4*x^2-8*x+4)*Tw(0,0,0,0,1,1)+(x^2+1)*Tw(0,0,0,1,0,0)+(7*x^2+3*x+7)*Tw(0,0,0,1,0,1)+(-4*x^2-3*x-2)*Tw(0,0,0,1,1,0)+(-5*x^2+8*x+3)*Tw(0,0,0,1,1,1)+(-5*x^2-x+1)*Tw(1,1,0,0,0,1)+(8*x^2-5*x-2)*Tw(1,1,0,0,1,0)+(-4*x^2+x-4)*Tw(1,1,0,0,1,1)+(3*x^2+1)*Tw(1,1,0,1,0,0)+(-6*x^2-5*x-5)*Tw(1,1,0,1,0,1)+(-2*x^2+3*x+5)*Tw(1,1,0,1,1,0)+(-3*x^2-9*x-6)*Tw(1,1,0,1,1,1)+(-6*x^2+6*x-3)*Tw(1,1,1,0,0,0)+(4*x^2+2*x+5)*Tw(1,1,1,0,0,1)+(-4*x^2+6*x-4)*Tw(1,1,1,0,1,0)+(8*x^2-8*x-3)*Tw(1,1,1,0,1,1)+(6*x^2+9*x)*Tw(1,1,1,1,0,0)+(-8*x^2-6*x+2)*Tw(1,1,1,1,0,1)+(-8*x^2-3*x+5)*Tw(1,1,1,1,1,0)+(8*x^2-2*x+1)*Tw(1,1,1,1,1,1)+(8*x^2+5*x-7)*Tw(1,0,0,0,1,1)+(8*x^2-5*x+9)*Tw(1,0,0,1,0,0)+(6*x^2-8*x-1)*Tw(1,0,0,1,0,1)+(-6*x^2-5*x-2)*Tw(1,0,0,1,1,0)+(8*x^2+8*x+9)*Tw(1,0,0,1,1,1)+(5+9*x)*Tw(1,0,1,0,0,0)+(-9*x^2+4*x+9)*Tw(1,0,1,0,0,1)+(6-5*x)*Tw(1,0,1,0,1,0)+(-4*x^2+4)*Tw(1,0,1,0,1,1)+(-2*x^2+2*x-3)*Tw(1,0,1,1,0,0)+(-4*x^2+6*x-2)*Tw(1,0,1,1,0,1)+(9*x^2+8*x+6)*Tw(1,0,1,1,1,0)+(4*x^2-2*x+8)*Tw(1,0,1,1,1,1)+(3*x^2+3*x-6)*Tw(1,1,0,0,0,0)+(8*x^2+9*x-1)*Tw(0,1,0,1,0,0)+(-3*x^2-6*x-4)*Tw(0,1,0,1,0,1)+(4-4*x)*Tw(0,1,0,1,1,0)+(-3*x^2+7*x+8)*Tw(0,1,0,1,1,1)+(4*x^2-3*x-8)*Tw(0,1,1,0,0,0)+(2*x^2+5*x-6)*Tw(0,1,1,0,0,1)-5*x*Tw(0,0,1,0,0,0), (-4*x^2+7*x+1)*Tw(1,1,1,1,1,0)+(-3*x^2+2*x+4)*Tw(1,1,1,1,1,1)+(4*x^2+4)*Tw(1,1,0,0,1,1)+(5*x^2-2*x-7)*Tw(1,1,0,1,0,0)+(-8*x^2-2*x-9)*Tw(1,1,0,1,0,1)+(-7*x^2-2*x-3)*Tw(1,1,0,1,1,0)+(-2*x^2+7*x-1)*Tw(1,1,0,1,1,1)+(7+9*x)*Tw(1,1,1,0,0,0)+(3*x^2-x+8)*Tw(1,1,1,0,0,1)+(2*x^2-2*x-4)*Tw(1,1,1,0,1,0)+(-9-3*x)*Tw(1,1,1,0,1,1)+(-7*x^2+3*x-1)*Tw(1,1,1,1,0,0)+(2*x^2-2*x-9)*Tw(1,1,1,1,0,1)+(3*x^2+6)*Tw(1,0,0,1,1,1)+(3*x^2-x-3)*Tw(1,0,1,0,0,0)+(2*x^2-9*x+6)*Tw(1,0,1,0,0,1)+(x^2-6*x-4)*Tw(1,0,1,0,1,0)+(-6*x^2-x+8)*Tw(1,0,1,0,1,1)+(8*x^2-7*x-8)*Tw(1,0,1,1,0,0)+(-8*x^2-9*x-1)*Tw(1,0,1,1,0,1)+(-2*x^2+9*x-9)*Tw(1,0,1,1,1,0)+(-7*x^2+2*x-1)*Tw(1,0,1,1,1,1)+(8*x^2-3*x)*Tw(1,1,0,0,0,0)+(-6*x^2+3*x-4)*Tw(1,1,0,0,0,1)+(6*x^2-x-8)*Tw(1,1,0,0,1,0)+(2*x^2+2*x+9)*Tw(0,1,1,0,1,1)+(9*x^2+7*x-3)*Tw(0,1,1,1,0,0)+(-5*x^2+5*x+2)*Tw(0,1,1,1,0,1)+(9*x^2+5*x+8)*Tw(0,1,1,1,1,0)+(8*x^2-5*x-9)*Tw(0,1,1,1,1,1)+(-x^2-4*x-4)*Tw(1,0,0,0,0,0)+(-4*x^2+3*x+3)*Tw(1,0,0,0,0,1)+(4*x^2+2*x+1)*Tw(1,0,0,0,1,0)+(4*x^2-2)*Tw(1,0,0,0,1,1)+(8*x^2+3*x+4)*Tw(1,0,0,1,0,0)+(8*x^2-7*x-4)*Tw(1,0,0,1,0,1)+(-1-5*x)*Tw(1,0,0,1,1,0)+(9*x^2-9*x-1)*Tw(0,0,1,1,1,1)+(-6*x^2-2)*Tw(0,1,0,0,0,0)+(7*x^2-7*x+2)*Tw(0,1,0,0,0,1)+(-6*x^2-8*x-1)*Tw(0,1,0,0,1,0)+(-6*x^2+2*x-3)*Tw(0,1,0,0,1,1)+(5*x^2+x-5)*Tw(0,1,0,1,0,0)+(3*x^2-3*x+6)*Tw(0,1,0,1,0,1)+(-x^2-5*x-4)*Tw(0,1,0,1,1,0)+(-8*x^2+7*x+7)*Tw(0,1,0,1,1,1)+(-x^2-5*x+3)*Tw(0,1,1,0,0,0)+(-2*x^2+3*x+4)*Tw(0,1,1,0,0,1)+(-9*x^2-9*x+9)*Tw(0,1,1,0,1,0)+(-7*x^2+x+2)*Tw(0,0,0,0,0,0)+(6*x^2+4*x+5)*Tw(0,0,0,0,0,1)+(-9*x^2-7*x-7)*Tw(0,0,0,0,1,0)+(-4*x^2-2*x)*Tw(0,0,0,0,1,1)+(6*x^2+5*x-3)*Tw(0,0,0,1,0,0)+(-x^2+5)*Tw(0,0,0,1,0,1)+(9*x^2-5*x+3)*Tw(0,0,0,1,1,0)+(-5*x^2-2*x-2)*Tw(0,0,0,1,1,1)+(-6*x^2+8*x-4)*Tw(0,0,1,0,0,0)+(3*x^2-x+8)*Tw(0,0,1,0,0,1)+(-9*x^2+4*x+8)*Tw(0,0,1,0,1,0)+(-8*x^2-4*x-9)*Tw(0,0,1,0,1,1)+(-3*x^2-2*x-6)*Tw(0,0,1,1,0,0)+(-9*x^2+2*x+6)*Tw(0,0,1,1,0,1)+(4*x^2-2*x+9)*Tw(0,0,1,1,1,0) ], stairs = [Tw(1,1,0,1,1,1), Tw(0,0,1,1,1,1), Tw(1,0,1,1,1,1), Tw(0,1,1,1,1,1), Tw(1,1,1,1,1,1)] ): (* random polynomial coefficients with degree at most 3 and coeff in -9..9 *) (* radix 3 *) gbdacr_ex( descr = "5 polynomials of the same degree 2 with random coefficients in k[x]_(<= 2)", radix = 3, fns = none, gens = [ (-8*x^2+2*x-6)*Tw(0,0)+(-4*x^2-5*x+7)*Tw(0,1)+(-2*x^2-5*x-8)*Tw(0,2)+(8*x^2+x+9)*Tw(1,0)+(4*x^2+8*x+5)*Tw(1,1)+(-2*x^2+4)*Tw(1,2)+(2*x^2-x+3)*Tw(2,0)+(6*x^2-9*x-4)*Tw(2,1)+(3*x^2+4*x-3)*Tw(2,2), (-3*x^2-7*x+4)*Tw(0,0)+(5*x^2+5*x+9)*Tw(0,1)+(2*x^2+9*x-2)*Tw(0,2)+(-7*x^2+7*x+7)*Tw(1,0)+(-7*x^2-5*x-5)*Tw(1,1)-8*Tw(1,2)+(-2*x^2+5*x-8)*Tw(2,0)+(-x^2-x-3)*Tw(2,1)+(-6*x^2+2*x+3)*Tw(2,2), (9*x^2+5)*Tw(0,0)+(-x^2+2*x+1)*Tw(0,1)+(-2*x^2-x+7)*Tw(0,2)+(8*x^2+x+3)*Tw(1,0)+(-2*x^2+7*x-4)*Tw(1,1)+(7*x^2-8*x-1)*Tw(1,2)+(-x^2-6*x+9)*Tw(2,0)+(-6*x^2-4*x-6)*Tw(2,1)+(-6*x^2-2)*Tw(2,2), (-8*x^2+6*x-8)*Tw(0,0)+(x^2+5*x+1)*Tw(0,1)+(-7*x^2-5*x+4)*Tw(0,2)+(-3*x^2+x+1)*Tw(1,0)+(-5*x^2+6*x+1)*Tw(1,1)+(-6*x^2-2*x-8)*Tw(1,2)+(x^2+x-4)*Tw(2,0)+(-2*x^2+6*x+1)*Tw(2,1)+(-x^2-7*x+8)*Tw(2,2), (7*x^2-9*x-5)*Tw(0,0)+(-8*x^2-6*x+7)*Tw(0,1)+(-7*x^2+7*x-3)*Tw(0,2)+(-8*x^2+2*x+7)*Tw(1,0)+(-5*x^2-7*x+5)*Tw(1,1)+(-6*x^2-2*x+4)*Tw(1,2)+(4*x^2-x+7)*Tw(2,0)+(-8*x^2-x-7)*Tw(2,1)+(-8*x^2-5*x-7)*Tw(2,2) ], stairs = [Tw(1,1), Tw(2,1), Tw(0,2), Tw(1,2), Tw(2,2)] ): gbdacr_ex( descr = "5 polynomials of the same degree 3 with random coefficients in k[x]_(<= 2)", radix = 3, fns = none, gens = [ (-9*x^2+2)*Tw(2,0,0)+(-4*x^2-8*x-5)*Tw(2,0,1)+(6*x^2+7*x-1)*Tw(2,0,2)+(3*x^2+2*x+5)*Tw(2,1,0)+(-3+9*x)*Tw(0,0,0)+(-5*x^2+4)*Tw(0,0,1)+(8*x^2-9*x+4)*Tw(0,0,2)+(7*x^2-8*x)*Tw(0,1,0)+(8*x^2-2*x-3)*Tw(0,1,1)+(-6*x^2+4*x-7)*Tw(0,1,2)+(8*x^2+6*x+7)*Tw(0,2,0)+(x^2+2*x-3)*Tw(0,2,1)+(-9*x^2-2*x-2)*Tw(2,1,1)+(2*x^2-3*x+2)*Tw(2,1,2)+(8*x^2-3*x+8)*Tw(2,2,0)+(-4*x^2+6*x+7)*Tw(2,2,1)+(-7*x^2+2*x-6)*Tw(2,2,2)+(-8+7*x)*Tw(0,2,2)+(-3*x^2+8*x-5)*Tw(1,0,0)+(-4*x^2+x+7)*Tw(1,0,1)+(8*x^2+5*x+5)*Tw(1,0,2)+(-9*x^2+7*x+6)*Tw(1,1,0)+(-x^2+4*x+3)*Tw(1,1,1)+(-3*x^2+x-7)*Tw(1,1,2)+(5-7*x)*Tw(1,2,0)+(7*x^2-2*x+5)*Tw(1,2,1)+(x^2+6*x-6)*Tw(1,2,2), (-8*x^2+9*x-2)*Tw(1,0,0)+(-5*x^2+8*x)*Tw(1,0,1)+(-7*x^2+8*x-8)*Tw(1,0,2)+(5*x^2-9*x-4)*Tw(1,1,0)+(2*x^2+x-9)*Tw(1,1,1)+(-3-9*x)*Tw(1,1,2)+(-7*x^2+4*x-9)*Tw(1,2,0)+(-9*x^2-5*x+8)*Tw(1,2,1)+(-3*x^2+7*x-7)*Tw(1,2,2)+(2*x^2-9*x-8)*Tw(2,0,0)+(8*x^2+2*x+5)*Tw(2,0,1)+(-9*x^2+3*x-8)*Tw(2,0,2)+(6*x^2-7*x+4)*Tw(2,1,0)+(-2*x^2-6*x-8)*Tw(2,1,1)+(7+3*x)*Tw(2,1,2)+(9*x^2-2*x+3)*Tw(2,2,0)+(6*x^2-6*x)*Tw(2,2,1)+(x^2+9)*Tw(2,2,2)+(-6*x^2+7*x+3)*Tw(0,0,0)+(3*x^2+4*x)*Tw(0,0,1)+(5*x^2+6*x)*Tw(0,0,2)+(3+9*x)*Tw(0,1,0)+(-4*x^2-8*x-4)*Tw(0,1,1)+(-3*x^2-8*x-2)*Tw(0,1,2)+(-8*x^2-8*x+9)*Tw(0,2,0)+(-6*x^2+3*x+3)*Tw(0,2,1)+(3*x^2-x-9)*Tw(0,2,2), (5*x^2+4*x+2)*Tw(0,2,0)+(9*x^2+3*x+5)*Tw(0,2,1)+(-8*x^2+2*x-9)*Tw(0,2,2)+(-7*x^2-9*x-7)*Tw(1,0,0)+(-x^2-5*x+7)*Tw(1,0,1)+(-6*x^2-8*x+9)*Tw(1,0,2)+(8*x^2-2*x-9)*Tw(1,1,0)+(-9*x^2+5*x-6)*Tw(1,1,1)+(6*x^2+5*x+4)*Tw(1,1,2)+(-3*x^2+2*x+1)*Tw(1,2,0)+(-4*x^2+2*x+9)*Tw(1,2,1)+(-x^2+5*x-5)*Tw(0,0,0)+(7*x^2-8*x-8)*Tw(1,2,2)+(-5*x^2-9*x+5)*Tw(2,0,0)+(3*x^2-5*x-4)*Tw(2,0,1)+(-3*x^2+6*x)*Tw(2,0,2)+(-8*x^2+2*x+1)*Tw(2,1,0)+(-5*x^2-4*x-3)*Tw(2,1,1)+(4*x^2-7*x-7)*Tw(2,1,2)+(-x^2-3*x+5)*Tw(2,2,0)+(-3*x^2-9*x+2)*Tw(2,2,1)+(8*x^2+6*x+3)*Tw(2,2,2)+(2*x^2-x-2)*Tw(0,0,1)+(7*x^2+7*x-1)*Tw(0,0,2)+(3*x^2+6*x+1)*Tw(0,1,0)+(4*x^2+7*x+2)*Tw(0,1,1)+(-8*x^2+8*x-5)*Tw(0,1,2), (8*x^2+4*x-8)*Tw(2,2,0)+(-4*x^2+x+9)*Tw(2,2,1)+(6*x^2-3*x+1)*Tw(2,2,2)+(-4*x^2-5*x+7)*Tw(0,2,1)+(8*x^2+9*x-3)*Tw(0,2,2)+(-8*x^2-2*x-4)*Tw(1,0,0)+(4*x^2+7*x+7)*Tw(1,0,1)+(8*x^2+3*x+3)*Tw(1,0,2)+(-3*x^2+8*x-4)*Tw(1,1,0)+(-7*x^2+7*x-9)*Tw(1,1,1)+(3*x^2-6*x+2)*Tw(1,1,2)+(9*x^2+x)*Tw(1,2,0)+(-4*x^2-4*x-8)*Tw(1,2,1)+(7*x^2-9*x-7)*Tw(1,2,2)+(7*x^2-6*x+9)*Tw(2,0,0)+(-2*x^2-3*x+2)*Tw(2,0,1)+(-2*x^2+6*x-8)*Tw(2,0,2)+(9-2*x)*Tw(2,1,0)+(4+6*x)*Tw(2,1,1)+(-6*x^2+3*x-9)*Tw(2,1,2)+(4*x^2-9*x)*Tw(0,0,0)+(-5*x^2+2*x+3)*Tw(0,0,1)+(x^2-9*x-4)*Tw(0,0,2)+(2*x^2+4*x-7)*Tw(0,1,0)+(5*x^2+6*x+6)*Tw(0,1,1)+(-6*x^2+8*x-7)*Tw(0,1,2)+(-5*x^2-4*x+8)*Tw(0,2,0), (2*x^2-5*x-6)*Tw(0,2,1)+(x^2-7*x-7)*Tw(0,2,2)+(-7*x^2-9*x+1)*Tw(1,0,0)+(x^2+6*x+1)*Tw(1,0,1)+(9*x^2-x)*Tw(1,0,2)+(4*x^2-2*x+3)*Tw(1,1,2)+(2*x^2+5*x)*Tw(1,2,0)+(4*x^2-3*x-5)*Tw(1,2,1)+(4*x^2+8*x+2)*Tw(1,2,2)+(-3*x^2-6*x+7)*Tw(2,0,0)+(2*x^2+5*x-7)*Tw(2,0,1)+(-7*x^2+x-7)*Tw(2,0,2)+(-3-5*x)*Tw(2,1,0)+(-2*x^2+x+1)*Tw(2,1,1)+(8*x^2+2*x-3)*Tw(2,1,2)+(-7*x^2-3*x+7)*Tw(2,2,0)+(6*x^2-8*x-1)*Tw(2,2,1)+(-2*x^2+9*x+8)*Tw(2,2,2)+(5*x^2+3*x-8)*Tw(1,1,0)+(-7*x^2+5*x-1)*Tw(1,1,1)+(-9-x)*Tw(0,0,0)+(-4*x^2-8*x-4)*Tw(0,0,1)+(6*x^2-2*x+4)*Tw(0,0,2)+(9*x^2-9*x+9)*Tw(0,1,0)+(3*x^2-3*x+7)*Tw(0,1,1)+(6*x^2+4*x-4)*Tw(0,1,2)+(-x^2+2*x-7)*Tw(0,2,0) ], stairs = [Tw(1,1,2), Tw(2,1,2), Tw(0,2,2), Tw(1,2,2), Tw(2,2,2)] ): gbdacr_ex( descr = "5 polynomials of the same degree 4 with random coefficients in k[x]_(<= 2)", radix = 3, fns = none, gens = [ (9*x^2+3*x-9)*Tw(2,1,1,1)+(x^2-9*x+7)*Tw(2,1,1,2)+(8*x^2+x+4)*Tw(2,1,2,0)+(-8*x^2+4*x+8)*Tw(2,1,2,1)+(7*x^2-7*x-7)*Tw(2,1,2,2)+(x^2-7*x+8)*Tw(2,2,0,0)+(-3*x^2+7*x+9)*Tw(2,2,0,1)+(x^2-x+9)*Tw(2,2,0,2)+(3*x^2-5*x+5)*Tw(1,1,1,2)+(8*x^2+4*x+9)*Tw(1,1,2,0)+(x^2+3*x-2)*Tw(1,1,2,1)+(x^2-9*x-5)*Tw(1,1,2,2)+(-9*x^2+2*x-6)*Tw(1,2,0,0)+(3*x^2+6*x+1)*Tw(1,2,0,1)+(-7*x^2-7*x+1)*Tw(1,2,0,2)+(3*x^2+3*x+4)*Tw(1,2,1,0)+(-3*x^2-7*x+5)*Tw(1,2,1,1)+(-4*x^2-8*x-6)*Tw(1,2,1,2)+(8*x^2-8*x-3)*Tw(2,1,1,0)+(-8*x^2+5*x-3)*Tw(2,2,2,0)+(-5*x^2-5*x+2)*Tw(2,2,2,1)+(2*x^2-3*x+8)*Tw(2,2,2,2)+(-7*x^2+9*x-5)*Tw(2,0,1,1)+(-4*x^2+5*x-2)*Tw(2,0,1,2)+(9*x^2+3*x+6)*Tw(2,0,2,0)+(-4+x)*Tw(2,0,2,1)+(3*x^2+8*x+4)*Tw(2,0,2,2)+(6*x^2+5*x-8)*Tw(2,1,0,0)+(-9+x)*Tw(2,1,0,1)+(8*x^2-2*x-3)*Tw(2,1,0,2)+(-4*x^2-3*x+6)*Tw(0,1,0,0)+(5*x^2+3*x+5)*Tw(0,1,0,1)+(2*x^2+x-3)*Tw(0,1,0,2)+(4*x^2+x+6)*Tw(0,1,1,0)+(-8*x^2-9*x+3)*Tw(0,1,1,1)+(6*x^2-5*x-9)*Tw(0,1,1,2)+(7*x^2+3*x+2)*Tw(0,1,2,0)+(2*x^2-x+6)*Tw(0,1,2,1)+(-8*x^2+8*x-4)*Tw(0,1,2,2)+(-3*x^2-9*x+5)*Tw(0,2,0,0)+(-3*x^2-9*x-8)*Tw(0,2,0,1)+(4*x^2-9*x+7)*Tw(0,2,0,2)+(-9*x^2+3*x-7)*Tw(0,2,1,0)+(6*x^2+7*x+5)*Tw(0,2,1,1)+(5*x^2+x+2)*Tw(0,2,1,2)+(-6*x^2-3*x-8)*Tw(0,0,0,0)+(5*x^2+3*x-1)*Tw(0,0,0,1)+(8*x^2+9*x-3)*Tw(0,0,0,2)+(9*x^2+4*x+8)*Tw(0,0,1,0)+(-9*x^2-3*x+3)*Tw(0,0,1,1)+(7*x^2+2*x-6)*Tw(0,0,1,2)+(3*x^2-6*x-7)*Tw(0,0,2,0)+(-9*x^2-8*x-1)*Tw(2,2,1,0)+(-8*x^2+9*x+4)*Tw(2,2,1,1)+(-4*x^2-9*x)*Tw(2,2,1,2)+(2*x^2+4*x-9)*Tw(0,0,2,1)+(-x^2+5*x+6)*Tw(1,1,1,1)+(-4*x^2-6*x+9)*Tw(1,1,1,0)+(2*x^2+7*x-7)*Tw(1,1,0,2)+(-2*x^2-4*x+8)*Tw(1,1,0,1)+(2*x^2+4*x-7)*Tw(1,2,2,0)+(-6*x^2+6*x-5)*Tw(1,2,2,1)+(-8*x^2+x-5)*Tw(1,2,2,2)+(6*x^2-7*x-5)*Tw(2,0,0,0)+(-4*x^2-3*x+8)*Tw(2,0,0,1)+(-9*x^2-9*x-3)*Tw(2,0,0,2)+(-8*x^2+6*x-6)*Tw(2,0,1,0)+(5*x^2-x-4)*Tw(0,2,2,0)+(7*x^2+8*x)*Tw(0,2,2,1)+(-6*x^2-3*x+5)*Tw(0,2,2,2)+(-x^2+4*x-9)*Tw(1,0,0,0)+(7*x^2+7*x-7)*Tw(1,0,0,1)+(-4*x^2-4*x+9)*Tw(1,0,0,2)+(3*x^2-3*x+4)*Tw(1,0,1,0)+(-x^2-9*x+8)*Tw(1,0,1,1)+(5*x^2+8*x+1)*Tw(1,0,1,2)+(-9*x^2-3*x-1)*Tw(1,0,2,0)+(-9*x^2-x-7)*Tw(1,0,2,1)+(6*x^2+5*x+4)*Tw(1,0,2,2)+(-8*x^2+5*x-5)*Tw(1,1,0,0)+2*x^2*Tw(0,0,2,2), (8*x^2+2*x)*Tw(1,0,2,1)+(6*x^2-1)*Tw(1,0,2,2)+(-3*x^2-x-2)*Tw(1,1,0,0)+(-6*x^2+8*x-6)*Tw(1,1,0,1)+(6+4*x)*Tw(1,1,0,2)+(x^2-9*x-9)*Tw(1,1,1,0)+(5*x^2+2*x-7)*Tw(1,1,1,1)+(x^2+9*x+1)*Tw(1,1,1,2)+(-4*x^2+8*x+4)*Tw(1,1,2,0)+(5*x^2-4*x-8)*Tw(1,2,1,1)+(-x^2+5*x+2)*Tw(1,2,1,2)+(-8*x^2+3*x-2)*Tw(1,2,2,0)+(5*x^2-x)*Tw(1,2,2,1)+(-5*x^2-7*x-2)*Tw(1,2,2,2)+(4*x^2-8*x+5)*Tw(2,0,0,0)+(-2*x^2-5*x-7)*Tw(2,0,0,1)+(-8*x^2-9*x+6)*Tw(2,0,0,2)+(7*x^2+3*x+4)*Tw(2,0,1,0)+(-4*x^2+6*x-4)*Tw(2,0,1,1)+(6*x^2+9*x-1)*Tw(2,0,1,2)+(7*x^2+4*x-4)*Tw(2,0,2,0)+(-2*x^2-7*x-9)*Tw(1,0,0,0)+(-2*x^2+4*x-1)*Tw(1,0,0,1)+(x^2+x-1)*Tw(1,0,0,2)+(5*x^2+9*x-9)*Tw(1,0,1,0)+(7*x^2+8*x-7)*Tw(1,0,1,1)+(8*x^2-6*x-1)*Tw(1,0,1,2)+(x^2-x+2)*Tw(1,0,2,0)+(9*x^2+6*x)*Tw(0,0,2,2)+(2*x^2+8*x-7)*Tw(0,1,0,0)+(-x^2+x+3)*Tw(2,2,2,0)+(-3*x^2+3*x-3)*Tw(2,2,2,1)+(-6*x^2-9*x-6)*Tw(2,2,2,2)+(8*x^2-3*x)*Tw(2,0,2,1)+(8*x^2-7*x-9)*Tw(2,0,2,2)+(3*x^2-x+3)*Tw(2,1,0,0)+(-6*x^2-x-2)*Tw(2,1,0,1)+(5*x^2+9*x+4)*Tw(2,1,0,2)+(-x^2+8*x+5)*Tw(2,1,1,0)+(x^2+4*x-4)*Tw(2,1,1,1)+(8*x^2+9*x-7)*Tw(2,1,1,2)+(3*x^2-6*x+9)*Tw(2,1,2,0)+(9*x^2-4*x+5)*Tw(2,1,2,1)+(2*x^2-9*x-2)*Tw(2,1,2,2)+(-6*x^2+9*x-8)*Tw(2,2,0,0)+(4*x^2+x+9)*Tw(2,2,0,1)+(-3*x^2-8*x+3)*Tw(2,2,0,2)+(1-2*x)*Tw(2,2,1,0)+(-4*x^2+7*x-9)*Tw(2,2,1,1)+(-5*x^2-x+2)*Tw(2,2,1,2)+(-2*x^2+x+5)*Tw(1,1,2,2)+(2*x^2+9*x-4)*Tw(1,2,0,0)+(-9*x^2+3*x-7)*Tw(1,2,0,1)+(-x^2+5*x)*Tw(1,2,0,2)+(-4*x^2+8*x-6)*Tw(1,2,1,0)+(-3*x^2-8*x-7)*Tw(1,1,2,1)+(-7*x^2-7*x+5)*Tw(0,1,0,1)+(4*x^2+3*x-1)*Tw(0,1,0,2)+(-3*x^2+9*x+2)*Tw(0,1,1,0)+(3*x^2-4*x-1)*Tw(0,1,1,1)+(-7*x^2+9*x)*Tw(0,1,1,2)+(2*x^2+4*x-7)*Tw(0,1,2,0)+(-6*x^2+6*x+8)*Tw(0,1,2,1)+(8*x^2+x-3)*Tw(0,1,2,2)+(2*x^2+9*x+4)*Tw(0,2,0,0)+(2*x^2-8*x-5)*Tw(0,2,0,1)+(3*x^2+7*x+4)*Tw(0,2,0,2)+(4*x^2+3*x-7)*Tw(0,2,1,0)+(-7*x^2+7*x-3)*Tw(0,2,1,1)+(-2*x^2-5*x-5)*Tw(0,2,1,2)+(3*x^2-7*x+4)*Tw(0,2,2,0)+(-5*x^2-9*x-7)*Tw(0,2,2,1)+(8*x^2+7*x-8)*Tw(0,2,2,2)+(6*x^2-6*x+8)*Tw(0,0,0,0)+(-2*x^2+9*x+2)*Tw(0,0,0,1)+(2*x^2-3*x-6)*Tw(0,0,0,2)+(6*x^2-2*x-1)*Tw(0,0,1,0)+(-3*x^2+x-3)*Tw(0,0,1,1)+(5*x^2-7)*Tw(0,0,1,2)+(-5*x^2+7*x-3)*Tw(0,0,2,0)+(4*x^2+3*x-3)*Tw(0,0,2,1), (6*x^2+8*x+3)*Tw(0,0,1,2)+(-8*x^2+x+9)*Tw(0,0,2,0)+(-x^2-7*x+4)*Tw(0,0,2,1)+(x^2-9*x-8)*Tw(0,0,2,2)+(-2*x^2-7*x-1)*Tw(0,1,0,0)+(8*x^2-6*x-1)*Tw(0,1,0,1)+(x^2-8*x-5)*Tw(0,1,0,2)+(7*x^2+8*x-2)*Tw(0,1,1,0)+(x^2-6*x-9)*Tw(1,2,1,2)+(x^2-2*x-7)*Tw(1,2,2,0)+(9*x^2+5*x+9)*Tw(1,2,2,1)+(8*x^2-3*x+5)*Tw(1,2,2,2)+(-9*x^2-5*x+6)*Tw(2,0,0,0)+(9*x^2+9*x-1)*Tw(2,0,0,1)+(-4+8*x)*Tw(2,0,0,2)+(9*x^2+8*x-9)*Tw(2,0,1,0)+(3*x^2-8*x-1)*Tw(2,0,1,1)+(-2*x^2+3*x-7)*Tw(2,0,1,2)+(7*x^2+6*x-3)*Tw(2,0,2,0)+(-3*x^2+4*x+9)*Tw(2,0,2,1)+(9*x^2-4*x+7)*Tw(2,0,2,2)+(-6*x^2-5)*Tw(2,1,0,0)+(4*x^2+7*x+3)*Tw(1,0,1,0)+(-2*x^2+x+9)*Tw(1,0,1,1)+(3*x^2+6*x-3)*Tw(1,0,1,2)+(-7*x^2+2*x)*Tw(1,0,2,0)+(-3-8*x)*Tw(1,0,2,1)+(5*x^2-x+2)*Tw(1,0,0,1)+(4-5*x)*Tw(1,0,0,2)+(-2*x^2+8*x+6)*Tw(0,0,0,0)+(-5*x^2-5*x-9)*Tw(0,0,0,1)+(-2*x^2+8*x+6)*Tw(0,0,0,2)+(7*x^2+9*x+9)*Tw(0,0,1,0)+(-8*x^2+7*x)*Tw(0,0,1,1)+(8*x^2-6*x+7)*Tw(1,0,2,2)+(-2*x^2+4*x+2)*Tw(1,1,0,0)+(3*x^2-8*x-9)*Tw(1,1,0,1)+(9*x^2+7*x-3)*Tw(1,1,0,2)+(-8*x^2+9*x-3)*Tw(1,1,1,0)+(-3*x^2-3*x-5)*Tw(1,1,1,1)+(7*x^2+6*x-2)*Tw(1,1,1,2)+(4*x^2+7*x-9)*Tw(1,1,2,0)+(-2*x^2-6*x+9)*Tw(1,1,2,1)+(6*x^2+x-6)*Tw(1,1,2,2)+(-9+x)*Tw(2,2,2,2)+(-6*x^2-2*x+3)*Tw(2,1,0,1)+(-5*x^2-8*x-4)*Tw(2,1,0,2)+(5*x^2-4*x+3)*Tw(2,1,1,0)+(8*x^2+x-7)*Tw(2,1,1,1)+(2*x^2-4*x+9)*Tw(2,1,1,2)+(-x^2+5*x+1)*Tw(2,1,2,0)+(x^2+9*x+5)*Tw(2,1,2,1)+(-x^2+3*x-8)*Tw(2,1,2,2)+(3*x^2-x+2)*Tw(2,2,0,0)+(6*x^2+8)*Tw(2,2,0,1)+(4*x^2+7*x-5)*Tw(2,2,0,2)+(-6*x^2+5*x+3)*Tw(2,2,1,0)+(x^2+4)*Tw(2,2,1,1)+(-7*x^2-5*x-6)*Tw(2,2,1,2)+(-9*x^2+4*x-8)*Tw(2,2,2,0)+(6*x^2+6*x+8)*Tw(2,2,2,1)+(-4*x^2+8*x+1)*Tw(1,2,0,2)+(-x^2+4*x-1)*Tw(1,2,1,0)+(-7*x^2+4*x+3)*Tw(1,2,1,1)+(-9+x)*Tw(1,2,0,0)+(-6*x^2+6*x+4)*Tw(1,2,0,1)+(-6*x^2-9*x+7)*Tw(0,1,1,1)+(-5*x^2-9*x-9)*Tw(0,1,1,2)+(9*x^2-3*x+6)*Tw(0,1,2,0)+(-5*x^2+x-7)*Tw(0,1,2,1)+(-3*x^2-8*x-7)*Tw(0,1,2,2)+(9*x^2-x+7)*Tw(0,2,0,0)+(-8*x^2+6*x-2)*Tw(0,2,0,1)+(-6*x^2+6*x+9)*Tw(0,2,0,2)+(-2*x^2-3*x-1)*Tw(0,2,1,0)+(x^2+4*x)*Tw(0,2,1,1)+(9*x^2+8*x-4)*Tw(0,2,1,2)+(-4*x^2-x-9)*Tw(0,2,2,0)+(7*x^2+5*x-2)*Tw(0,2,2,1)+(7*x^2-8*x-1)*Tw(0,2,2,2)+(8*x^2-3*x+1)*Tw(1,0,0,0), (-7*x^2+7*x-4)*Tw(1,2,0,0)+(3*x^2+6*x-8)*Tw(1,2,0,1)+(x^2-5*x-2)*Tw(1,2,0,2)+(-2*x^2+4)*Tw(1,2,1,0)+(6*x^2+4*x-2)*Tw(1,2,1,1)+(-5*x^2+2*x+8)*Tw(0,1,2,1)+(6*x^2+3*x+9)*Tw(0,1,2,2)+(-x^2-8*x)*Tw(0,2,0,0)+(6*x^2-x-4)*Tw(0,2,0,1)+(-6*x^2-2*x+7)*Tw(0,2,0,2)+(-5*x^2-8*x)*Tw(0,2,1,0)+(-4*x^2+x+4)*Tw(0,2,1,1)+(5*x^2+1)*Tw(0,2,1,2)+(-6*x^2-7*x+5)*Tw(0,2,2,0)+(4*x^2-3*x-6)*Tw(0,2,2,1)+(-4*x^2-5*x-5)*Tw(0,2,2,2)+(3*x^2-4*x-3)*Tw(1,0,0,0)+(-4*x^2+7*x+5)*Tw(1,0,0,1)+(-4*x^2+5*x-9)*Tw(1,0,0,2)+(7*x^2+6*x+3)*Tw(1,0,1,0)+(-x^2+8*x-8)*Tw(1,0,1,1)+(-8*x^2-x-3)*Tw(1,0,1,2)+(7*x^2-x+2)*Tw(0,0,0,0)+(-8*x^2-5*x-7)*Tw(0,0,0,1)+(9*x^2+7*x+6)*Tw(0,0,0,2)+(-2*x^2-3*x+2)*Tw(0,0,1,0)+(7*x^2-9*x)*Tw(0,0,1,1)+(-4*x^2-5*x-4)*Tw(0,0,1,2)+(-x^2-1)*Tw(0,0,2,0)+(9*x^2+5*x-5)*Tw(0,0,2,1)+(-2-4*x)*Tw(0,0,2,2)+(4*x^2+4*x+9)*Tw(0,1,0,0)+(-6*x^2+9*x-4)*Tw(0,1,0,1)+(4*x^2-3*x-6)*Tw(0,1,0,2)+(-5*x^2-2*x-7)*Tw(0,1,1,0)+(6*x^2-7*x+4)*Tw(0,1,1,1)+(-x^2-2*x-1)*Tw(0,1,1,2)+(6*x^2+7)*Tw(0,1,2,0)+(7*x^2-3*x-3)*Tw(2,1,1,1)+(-3*x^2+6*x+6)*Tw(2,1,1,2)+(x^2+4*x-8)*Tw(2,1,2,0)+(2*x^2-2*x+2)*Tw(2,1,2,1)+(3*x^2-3*x-2)*Tw(2,1,2,2)+(-7*x^2+4*x)*Tw(2,2,0,0)+(3*x^2-2*x+8)*Tw(2,2,0,1)+(-6*x^2-4*x-8)*Tw(2,2,0,2)+(2*x^2+7*x-5)*Tw(2,2,1,0)+(x^2+8*x-7)*Tw(2,2,1,1)+(-7*x^2-6*x+2)*Tw(2,2,1,2)+(x^2-9*x+2)*Tw(2,2,2,0)+(7*x^2-9*x+1)*Tw(2,2,2,1)+(-4*x^2-x)*Tw(2,2,2,2)+(-8-6*x)*Tw(1,2,1,2)+(-5*x^2+5*x-7)*Tw(1,2,2,0)+(-6*x^2-8*x-5)*Tw(1,2,2,1)+(7*x^2-9*x+4)*Tw(1,2,2,2)+(-9*x^2-7*x)*Tw(2,0,0,0)+(-2*x^2+5*x-7)*Tw(2,0,0,1)+(x^2+5*x-7)*Tw(2,0,0,2)+(x^2-3*x+2)*Tw(2,0,1,0)+(9*x^2+6*x-9)*Tw(2,0,1,1)+(-2*x^2-6*x+1)*Tw(2,0,1,2)+(-x^2+4*x-1)*Tw(2,0,2,0)+(-6*x^2+9*x+2)*Tw(2,0,2,1)+(4*x^2-2*x-3)*Tw(2,0,2,2)+(3*x^2-4*x+2)*Tw(2,1,0,0)+(4*x^2-4*x+4)*Tw(2,1,0,1)+(9*x^2+8*x-3)*Tw(2,1,0,2)+(9*x^2+8*x-4)*Tw(2,1,1,0)+(4*x^2-3*x+3)*Tw(1,0,2,0)+(9*x^2-7*x-3)*Tw(1,0,2,1)+(2*x^2+8*x+2)*Tw(1,0,2,2)+(5*x^2-5*x+1)*Tw(1,1,0,0)+(-6*x^2-6*x-8)*Tw(1,1,0,1)+(3*x^2+9*x+6)*Tw(1,1,0,2)+(-7*x^2-2*x+1)*Tw(1,1,1,0)+(-6*x^2-9*x-5)*Tw(1,1,1,1)+(9*x^2-5*x-7)*Tw(1,1,1,2)+(-7*x^2+4*x)*Tw(1,1,2,0)+(2*x^2-4*x-1)*Tw(1,1,2,1)+(-9*x^2+5*x+6)*Tw(1,1,2,2), (-2*x^2+x-8)*Tw(0,1,1,0)+(5*x^2-6*x+7)*Tw(0,1,1,1)+(-4*x^2+9*x+2)*Tw(0,1,1,2)+(-3*x^2+7*x+2)*Tw(0,1,2,0)+(-8*x^2+6*x-2)*Tw(0,1,2,1)+(9*x^2-3*x)*Tw(0,1,2,2)+(-3*x^2+3*x-4)*Tw(0,2,0,0)+(-4*x^2+x-3)*Tw(0,0,0,0)+(6*x^2-3*x-9)*Tw(0,0,0,1)+(2*x^2+8*x+8)*Tw(0,2,0,1)+(9-9*x)*Tw(0,2,0,2)+(6*x^2-3*x-1)*Tw(0,2,1,0)+(-5*x^2+6*x+6)*Tw(0,2,1,1)+(4*x^2-5*x+6)*Tw(0,2,1,2)+(-4*x^2+9*x+6)*Tw(0,2,2,0)+(-6*x^2-5*x-7)*Tw(0,2,2,1)+(-4*x^2-x-6)*Tw(0,2,2,2)+(-3*x^2+x-7)*Tw(1,1,2,0)+(x^2-5*x-4)*Tw(1,1,2,1)+(4*x^2+7*x+8)*Tw(1,1,2,2)+(-7*x^2-5*x-3)*Tw(1,2,0,0)+(3*x^2+3*x-3)*Tw(1,2,0,1)+(-7*x^2-8*x-2)*Tw(1,2,0,2)+(-x^2+6*x-1)*Tw(1,2,1,0)+(-6*x^2+7*x+4)*Tw(1,0,0,0)+(-9*x^2+2*x+9)*Tw(1,0,0,1)+(-6*x^2-7*x-4)*Tw(1,0,0,2)+(9*x^2+4*x+4)*Tw(1,0,1,0)+(3*x^2-3)*Tw(1,0,1,1)+(3*x^2+4*x-9)*Tw(1,0,1,2)+(-5*x^2-4*x-3)*Tw(1,0,2,0)+(-x^2-7*x-7)*Tw(1,0,2,1)+(2*x^2+3*x+2)*Tw(1,0,2,2)+(-9*x^2-2*x-4)*Tw(1,1,0,0)+(-6*x^2+6*x-5)*Tw(1,1,0,1)+(3*x^2+7*x)*Tw(1,1,0,2)+(3*x^2-3*x-2)*Tw(1,1,1,0)+(-2*x^2+2*x+5)*Tw(1,1,1,1)+(-2*x^2-6*x+2)*Tw(1,1,1,2)+(-7*x^2+5*x-6)*Tw(1,2,1,1)+(4*x^2-6*x-1)*Tw(1,2,1,2)+(-6*x^2+7*x+7)*Tw(1,2,2,0)+(-4*x^2-5*x-4)*Tw(1,2,2,1)+(6*x^2-2*x-3)*Tw(1,2,2,2)+(-6*x^2-4*x-7)*Tw(2,0,0,0)+(-3*x^2+8*x-7)*Tw(2,0,0,1)+(-2*x^2+2*x+7)*Tw(2,0,0,2)+(-x^2+6*x-5)*Tw(2,0,1,0)+(-8*x^2+5*x+2)*Tw(2,0,1,1)+(-7*x^2+2*x-2)*Tw(2,0,1,2)+(9*x^2-5*x-1)*Tw(2,0,2,0)+(5-7*x)*Tw(2,0,2,1)+(-2*x^2-5*x+3)*Tw(2,0,2,2)+(-2+2*x)*Tw(2,1,0,0)+(7*x^2+4*x-5)*Tw(2,1,0,1)+(3*x^2+9*x-6)*Tw(2,1,0,2)+(2*x^2+1)*Tw(2,1,1,0)+(-3*x^2+4*x+8)*Tw(2,1,1,1)+(x^2-2*x+1)*Tw(2,1,1,2)+(-9*x^2-5*x+4)*Tw(2,1,2,0)+(-3*x^2-7*x-2)*Tw(2,1,2,1)+(-3*x^2-5*x-6)*Tw(2,1,2,2)+(-5*x^2+6*x-2)*Tw(2,2,0,0)+(-3*x^2+7*x+1)*Tw(2,2,0,1)+(x^2+7*x+3)*Tw(2,2,0,2)+(8*x^2-x-7)*Tw(2,2,1,0)+(5*x^2+6*x-7)*Tw(2,2,1,1)+(8*x^2-3*x+6)*Tw(2,2,1,2)+(-2*x^2+3*x-3)*Tw(2,2,2,0)+(6*x^2+7*x-3)*Tw(2,2,2,1)+(-x^2-3*x+4)*Tw(2,2,2,2)+(-3*x^2+7*x-5)*Tw(0,0,0,2)+(9*x^2-5*x+7)*Tw(0,0,1,0)+(x^2-5*x+9)*Tw(0,0,1,1)+(6*x^2+5*x-6)*Tw(0,0,1,2)+(4*x^2+x+3)*Tw(0,0,2,0)+(-x^2+7*x+5)*Tw(0,0,2,1)+(7*x^2-5*x+3)*Tw(0,0,2,2)+(x^2+x-9)*Tw(0,1,0,0)+(7*x^2+x+9)*Tw(0,1,0,1)+(6*x^2+9*x)*Tw(0,1,0,2) ], stairs = [Tw(1,1,2,2), Tw(2,1,2,2), Tw(0,2,2,2), Tw(1,2,2,2), Tw(2,2,2,2)] ): gbdacr_ex( descr = "5 polynomials of the same degree 5 with random coefficients in k[x]_(<= 2)", radix = 3, fns = none, gens = [ (4*x^2-3)*Tw(2,2,2,2,0)+(-3*x^2+4*x+7)*Tw(2,2,2,2,1)+(-2*x^2-6*x+7)*Tw(2,2,2,2,2)+(3*x^2-3*x-1)*Tw(2,2,1,0,2)+(-7*x^2+9*x+8)*Tw(2,2,1,1,0)+(-2*x^2+9*x-6)*Tw(2,2,1,1,1)+(7+5*x)*Tw(2,2,1,1,2)+(4*x^2+8*x+8)*Tw(2,2,1,2,0)+(3*x^2-7*x+6)*Tw(2,2,1,2,1)+(-4*x^2+4*x-5)*Tw(2,2,1,2,2)+(3*x^2+9*x+1)*Tw(2,2,2,0,0)+(-4*x^2-2*x-7)*Tw(2,2,2,0,1)+(8*x^2-2)*Tw(2,2,2,0,2)+(-7*x^2+6*x-6)*Tw(2,2,2,1,0)+(-9*x^2+4*x+3)*Tw(2,2,2,1,1)+(8*x^2-x+6)*Tw(2,2,0,0,1)+(-4*x^2+x+5)*Tw(2,2,0,0,2)+(-8-9*x)*Tw(2,2,0,1,0)+(-6*x^2-7*x+4)*Tw(2,2,0,1,1)+(-7*x^2-6*x)*Tw(2,2,0,1,2)+(-5*x^2-8*x+8)*Tw(2,2,0,2,0)+(-6*x^2+3*x-2)*Tw(2,2,0,2,1)+(-7*x^2+3*x+8)*Tw(2,2,0,2,2)+(-5*x^2+x-9)*Tw(2,2,1,0,0)+(-3*x^2+6*x+9)*Tw(2,2,1,0,1)+(-6*x^2-9*x-4)*Tw(0,1,1,0,0)+(-5-4*x)*Tw(0,1,1,0,1)+(-7*x^2-1)*Tw(0,1,1,0,2)+(-2*x^2+4*x+2)*Tw(0,1,1,1,1)+(-x^2+7*x+9)*Tw(0,1,1,1,2)+(-6*x^2-2*x-1)*Tw(0,1,1,2,0)+(-9*x^2-5*x-8)*Tw(0,0,1,1,2)+(-6*x^2+7*x+3)*Tw(0,0,1,2,0)+(x^2+5*x+9)*Tw(0,0,1,2,1)+(8+8*x)*Tw(0,0,2,0,0)+(-x^2-2*x-9)*Tw(0,0,2,0,2)+(6*x^2+9*x-8)*Tw(0,0,2,1,0)+(-x^2+5*x)*Tw(0,0,2,1,1)+(2*x^2+8*x+8)*Tw(0,0,2,1,2)+(8*x^2+6*x+8)*Tw(0,0,2,2,0)+(5*x^2+x+4)*Tw(0,0,2,2,1)+(-8*x^2+7*x-3)*Tw(0,0,2,2,2)+(-7*x^2+5*x-7)*Tw(0,1,0,0,0)+(-2*x^2-5*x-8)*Tw(0,0,0,0,0)+(-x^2+x-9)*Tw(0,0,0,0,1)+(x^2+6*x+9)*Tw(0,0,0,0,2)+(5*x^2+2*x+4)*Tw(0,0,0,1,0)+(1-x)*Tw(0,0,0,1,1)+(-6*x^2+9*x+2)*Tw(0,0,0,1,2)+(9*x^2+x-8)*Tw(0,0,0,2,0)+(x^2-9)*Tw(0,0,0,2,1)+(-4*x^2-3*x+6)*Tw(0,0,0,2,2)+(8*x^2-5*x-9)*Tw(0,0,1,0,0)+(-9*x^2+6*x+4)*Tw(0,0,1,0,1)+(6+6*x)*Tw(0,0,1,0,2)+(3*x^2-x+2)*Tw(0,0,1,1,0)+(3*x^2-5)*Tw(0,0,1,1,1)+(x^2-7*x-6)*Tw(2,2,2,1,2)+(-6*x^2+3*x-4)*Tw(2,0,2,0,1)+(-7*x^2-5*x+6)*Tw(2,0,2,0,2)+(-x^2+5*x+4)*Tw(2,0,2,1,0)+(6*x^2+2*x+5)*Tw(2,0,2,1,1)+(5*x^2+8*x+5)*Tw(2,0,2,1,2)+(7*x^2-7*x-3)*Tw(2,0,2,2,0)+(-3*x^2-9*x-2)*Tw(2,0,0,0,1)+(8*x^2-x-1)*Tw(2,0,0,0,2)+(-9*x^2+2*x-6)*Tw(2,0,0,1,0)+(2+6*x)*Tw(2,0,0,1,1)+(4*x^2-x+8)*Tw(2,0,0,1,2)+(-9*x^2+2*x+3)*Tw(2,0,0,2,0)+(-2-6*x)*Tw(2,0,0,2,1)+(6*x^2+9*x-4)*Tw(2,0,0,2,2)+(-8*x^2+2*x-1)*Tw(2,0,1,0,0)+(-2*x^2-x-8)*Tw(0,2,1,0,2)+(-3*x^2-4*x-6)*Tw(0,2,1,1,0)+(2*x^2+x-6)*Tw(0,2,1,1,1)+(8*x^2+9*x+5)*Tw(0,2,1,1,2)+(6*x^2-9*x+8)*Tw(0,1,1,2,1)+(6*x^2-2*x-8)*Tw(0,1,1,2,2)+(7*x^2-8*x-3)*Tw(0,1,2,0,0)+(4*x^2+7*x-6)*Tw(0,1,2,0,1)+(-6*x^2-8*x+4)*Tw(0,1,2,0,2)+(-6*x^2-2*x+4)*Tw(0,1,2,1,0)+(-2-2*x)*Tw(0,1,2,1,1)+(-6*x^2+8*x-4)*Tw(0,1,2,1,2)+(-8*x^2-4*x+4)*Tw(0,1,2,2,0)+(4*x^2+2*x+4)*Tw(0,1,2,2,1)+(6*x^2-8*x+6)*Tw(0,1,2,2,2)+(x^2+6*x-8)*Tw(0,2,2,0,0)+(5*x^2+5*x-3)*Tw(0,2,2,0,1)+(3*x^2-5*x+2)*Tw(0,2,2,0,2)+(-8*x^2+5*x+6)*Tw(0,2,2,1,0)+(2*x^2-6*x+6)*Tw(0,2,2,1,1)+(-3*x^2-x-6)*Tw(2,0,1,0,1)+(8*x^2+9*x+8)*Tw(2,0,1,0,2)+(9*x^2+6*x-9)*Tw(1,2,2,1,0)+(2*x^2+9*x-7)*Tw(1,2,2,1,1)+(x^2-3*x-6)*Tw(1,2,2,1,2)+(3*x^2-7*x+4)*Tw(1,2,2,2,0)+(-2+4*x)*Tw(1,2,2,2,1)+(-2*x^2+7*x+5)*Tw(2,0,0,0,0)+(7*x^2+9*x+9)*Tw(1,2,0,2,1)+(5*x^2+x-8)*Tw(1,2,0,2,2)+(-4*x^2-5*x-6)*Tw(1,2,1,0,0)+(-9*x^2-5*x-8)*Tw(1,2,1,0,1)+(3*x^2+3*x+7)*Tw(1,2,1,0,2)+(9*x^2-6*x-8)*Tw(1,2,1,1,0)+(-2*x^2-9*x-3)*Tw(1,2,1,1,1)+(8*x^2-9*x+4)*Tw(1,2,1,1,2)+(4*x^2-9*x-1)*Tw(1,2,1,2,0)+(-3*x^2+9*x-1)*Tw(1,2,1,2,1)+(-3*x^2+8*x-3)*Tw(0,1,0,0,1)+(-x^2-4*x)*Tw(0,1,0,0,2)+(5*x^2+7*x-6)*Tw(0,1,0,1,0)+(2*x^2+x-8)*Tw(0,1,0,1,1)+(x^2+2*x-6)*Tw(0,1,0,1,2)+(-2*x^2+9*x+2)*Tw(0,1,0,2,0)+(2*x^2-5*x+2)*Tw(0,1,0,2,1)+(7-8*x)*Tw(0,1,0,2,2)+(6*x^2+4*x+6)*Tw(2,1,2,1,1)+(-x^2+6*x+3)*Tw(2,1,2,1,2)+(-8*x^2-2*x+8)*Tw(2,1,2,2,0)+(-3*x^2+3*x-5)*Tw(2,1,2,2,1)+(-2+6*x)*Tw(2,1,2,2,2)+(4*x^2+9)*Tw(2,2,0,0,0)+(-2*x^2-7*x+9)*Tw(2,0,2,2,1)+(9*x^2+4*x+4)*Tw(2,0,2,2,2)+(8*x^2-9*x-3)*Tw(2,1,0,0,0)+(-x^2-7*x-2)*Tw(2,1,0,0,1)+(9*x^2-3*x-1)*Tw(1,0,0,1,2)+(-8*x^2-6*x-5)*Tw(1,0,0,2,0)+(-6*x^2+9*x)*Tw(1,0,0,2,1)+(6*x^2+9*x+8)*Tw(1,0,0,2,2)+(6*x^2-8*x-7)*Tw(1,0,1,0,0)+(-4*x^2-4)*Tw(1,0,1,0,1)+(8*x^2-5*x+4)*Tw(1,0,1,0,2)+(5+6*x)*Tw(1,0,1,1,0)+(-5*x^2+3*x-4)*Tw(0,2,1,2,0)+(-9*x^2+4*x-1)*Tw(0,2,1,2,1)+(-7*x^2+7*x+5)*Tw(0,2,1,2,2)+(5+x)*Tw(2,1,1,1,2)+(-7*x^2+6*x+2)*Tw(2,1,1,2,0)+(-x^2-9*x-5)*Tw(2,1,1,2,1)+(8*x^2+7*x+2)*Tw(2,1,1,2,2)+(4*x^2+7*x+7)*Tw(2,1,2,0,0)+(2*x^2+5*x-1)*Tw(2,1,2,0,1)+(-8*x^2-3*x+8)*Tw(2,1,2,0,2)+(-x^2+6*x-8)*Tw(0,2,0,0,0)+(7*x^2-7*x+6)*Tw(0,2,0,0,1)+(-4*x^2-6*x+7)*Tw(0,2,0,0,2)+(5*x^2+x+5)*Tw(0,2,0,1,0)+(7+9*x)*Tw(1,2,1,2,2)+(3*x^2-7*x-2)*Tw(1,2,2,0,0)+(-2*x^2+5)*Tw(1,2,2,0,1)+(7*x^2-6*x)*Tw(1,2,2,0,2)+(9*x^2+5*x-1)*Tw(1,1,2,1,0)+(-7*x^2+3*x+1)*Tw(1,1,2,1,1)+(-8*x^2+5*x)*Tw(1,1,2,1,2)+(8*x^2+7*x-7)*Tw(1,1,2,2,0)+(-3*x^2+3*x-8)*Tw(1,1,2,2,1)+(-x^2-5*x-2)*Tw(1,1,2,2,2)+(9+9*x)*Tw(1,2,0,0,0)+(5*x^2+8*x+1)*Tw(1,2,0,0,1)+(-7*x^2+3*x-2)*Tw(1,2,0,0,2)-5*x*Tw(0,0,2,0,1)+8*Tw(0,0,1,2,2)+8*Tw(0,1,1,1,0)+Tw(2,1,2,1,0)+(-4*x^2-6)*Tw(2,1,0,0,2)+(3*x^2+7*x+8)*Tw(2,1,0,1,0)+(-5*x^2+8*x+6)*Tw(2,1,0,1,1)+(8*x^2-8*x+8)*Tw(2,1,0,1,2)+(-3*x^2-2*x-2)*Tw(2,1,0,2,0)+(-3*x^2+2*x+9)*Tw(2,1,0,2,1)+(3+2*x)*Tw(2,1,0,2,2)+(x^2+9*x+4)*Tw(2,1,1,0,0)+(-8*x^2-6*x-7)*Tw(2,1,1,0,1)+(4*x^2-x-3)*Tw(2,1,1,0,2)+(-x^2-6*x+8)*Tw(2,1,1,1,0)+(-6*x^2-7*x-7)*Tw(2,1,1,1,1)+(-7*x^2+3*x)*Tw(2,0,1,1,0)+(-3*x^2+x)*Tw(2,0,1,1,1)+(4*x^2+6*x-1)*Tw(2,0,1,1,2)+(6*x^2-4*x+3)*Tw(2,0,1,2,0)+(8*x^2-5*x+5)*Tw(2,0,1,2,1)+(9*x^2-3*x-1)*Tw(2,0,1,2,2)+(5*x^2+6*x+2)*Tw(2,0,2,0,0)+(3*x^2+5*x-2)*Tw(1,1,0,2,1)+(3*x^2+x+6)*Tw(1,1,0,2,2)+(2*x^2-4*x-8)*Tw(1,1,1,0,0)+(-x^2-3*x-5)*Tw(1,0,1,1,1)+(-8*x^2+x+3)*Tw(1,0,1,1,2)+(-6*x^2-9*x+1)*Tw(1,0,1,2,0)+(-8*x^2+8*x+6)*Tw(1,0,1,2,1)+(4*x^2-9*x-6)*Tw(1,0,1,2,2)+(-9*x^2+3)*Tw(1,0,2,0,0)+(9*x^2+6*x+3)*Tw(1,0,2,0,1)+(-1-8*x)*Tw(1,0,2,0,2)+(3*x^2-5*x+5)*Tw(1,0,2,1,0)+(4*x^2+5*x+7)*Tw(1,0,2,1,1)+(-4*x^2+9*x-1)*Tw(1,0,0,0,1)+(8*x^2+2*x-6)*Tw(1,0,0,0,2)+(-6*x^2+1)*Tw(1,0,0,1,0)+(-6*x^2-2*x+3)*Tw(1,0,0,1,1)+(3*x^2-8*x+2)*Tw(1,2,0,1,0)+(x^2-3*x-4)*Tw(1,2,0,1,1)+(9*x^2-x-3)*Tw(1,2,0,1,2)+(-8*x^2-7*x+8)*Tw(1,2,0,2,0)+(-7*x^2-5*x-4)*Tw(1,1,1,0,1)+(9*x^2-9*x-1)*Tw(1,1,1,0,2)+(6*x^2+5*x-9)*Tw(1,1,1,1,0)+(9*x^2+3*x-2)*Tw(1,1,1,1,1)+(4*x^2-x+3)*Tw(1,1,1,1,2)+(6*x^2-2*x+9)*Tw(1,1,1,2,0)+(8*x^2-5*x-6)*Tw(1,1,1,2,1)+(-6*x^2+6*x+9)*Tw(1,1,1,2,2)+(-x^2-8*x-2)*Tw(1,1,2,0,0)+(6*x^2-2*x-3)*Tw(1,1,2,0,1)+(-8*x^2+9*x+9)*Tw(1,1,2,0,2)+(-x^2+4*x+4)*Tw(1,0,2,1,2)+(6*x^2-8*x-5)*Tw(1,0,2,2,0)+(-8*x^2-x-2)*Tw(1,0,2,2,1)+(x^2+6*x-1)*Tw(1,0,2,2,2)+(8*x^2-3)*Tw(1,1,0,0,0)+(4*x^2-x-1)*Tw(1,1,0,0,1)+(9*x^2-2*x+9)*Tw(1,1,0,0,2)+(x^2+4*x+8)*Tw(1,1,0,1,0)+(-x^2+4*x-9)*Tw(1,1,0,1,1)+(-8*x^2+2*x+9)*Tw(1,1,0,1,2)+(2*x^2+3)*Tw(1,1,0,2,0)+(-7*x^2-6*x-2)*Tw(0,2,2,1,2)+(8*x^2-x+2)*Tw(0,2,2,2,0)+(3*x^2-6*x+5)*Tw(0,2,2,2,1)+(4*x^2+7*x-7)*Tw(0,2,2,2,2)+(7*x^2-8*x-9)*Tw(1,0,0,0,0)+(7+5*x)*Tw(0,2,0,1,1)+(2+2*x)*Tw(0,2,0,1,2)+(-8*x^2+5*x-1)*Tw(0,2,0,2,0)+(-2*x^2-5*x-9)*Tw(0,2,0,2,1)+(6*x^2+9*x-3)*Tw(0,2,0,2,2)+(3*x^2-x+5)*Tw(0,2,1,0,0)+(x^2-8*x+1)*Tw(0,2,1,0,1)+5*x^2*Tw(1,2,2,2,2), (7*x^2+2*x-5)*Tw(0,0,1,0,0)+(-6-x)*Tw(0,0,1,0,1)+(-7*x^2-x+4)*Tw(1,0,1,2,0)+(5*x^2-6*x+7)*Tw(1,0,1,2,1)+(-7*x^2+5*x-5)*Tw(1,0,1,2,2)+(-3-5*x)*Tw(1,0,2,0,0)+(5*x^2-2*x+5)*Tw(0,2,1,2,0)+(-3*x^2-4*x-8)*Tw(0,2,1,2,1)+(-9*x^2-9*x-9)*Tw(0,2,1,2,2)+(-8*x^2+2*x-4)*Tw(0,2,2,0,0)+(-9*x^2+4*x-1)*Tw(0,2,2,0,1)+(8+6*x)*Tw(0,2,2,0,2)+(6-7*x)*Tw(0,2,2,1,0)+(-x^2-6*x-6)*Tw(0,2,2,1,1)+(x^2-9*x+6)*Tw(0,2,2,1,2)+(6*x^2+2*x-1)*Tw(0,2,2,2,0)+(9*x^2+6*x-9)*Tw(0,2,2,2,1)+(-8*x^2-x-3)*Tw(0,2,2,2,2)+(6*x^2+2*x-9)*Tw(1,0,0,0,0)+(-8*x^2+x-2)*Tw(1,0,0,0,1)+(2*x^2+7)*Tw(1,0,0,0,2)+(6*x^2-8*x+7)*Tw(0,1,2,2,2)+(4*x^2-4*x+4)*Tw(0,2,0,0,0)+(3*x^2+3*x-7)*Tw(0,2,0,0,1)+(4*x^2+7*x+5)*Tw(0,2,0,0,2)+(7*x^2+3*x+3)*Tw(0,2,0,1,0)+(5*x^2+x-5)*Tw(0,2,0,1,1)+(7*x^2-8*x-3)*Tw(0,2,0,1,2)+(6*x^2+2*x+1)*Tw(0,2,0,2,0)+(-6*x^2+6*x+4)*Tw(0,2,0,2,1)+(6*x^2+3)*Tw(0,2,0,2,2)+(6*x^2-4*x+8)*Tw(0,2,1,0,0)+(2*x^2+9*x+6)*Tw(0,2,1,0,1)+(-4*x^2+7*x+9)*Tw(0,2,1,0,2)+(-7*x^2+6*x-1)*Tw(0,2,1,1,0)+(x^2-5*x-6)*Tw(0,0,2,0,2)+(-6*x^2-4*x+8)*Tw(0,0,2,1,0)+(8*x^2+3*x-3)*Tw(2,2,1,2,1)+(5*x^2-5*x)*Tw(2,2,1,2,2)+(-x^2+x+2)*Tw(2,2,2,0,0)+(7*x^2-9*x)*Tw(2,2,2,0,1)+(-9*x^2-6*x-2)*Tw(2,2,2,0,2)+(7*x^2+3*x-4)*Tw(2,2,2,1,0)+(6*x^2-6*x+8)*Tw(2,2,2,1,1)+(4*x^2+9*x+3)*Tw(2,2,2,1,2)+(6*x^2+5*x+9)*Tw(2,2,2,2,0)+(6*x^2+8*x+5)*Tw(2,2,2,2,1)+(-8-8*x)*Tw(2,2,0,0,2)+(-2*x^2-2*x+3)*Tw(2,2,0,1,0)+(4*x^2-8*x-7)*Tw(2,2,0,1,1)+(-5*x^2+5*x-4)*Tw(2,2,0,1,2)+(-6*x^2-5*x+6)*Tw(2,2,0,2,0)+(x^2+9*x-1)*Tw(1,2,2,1,2)+(-5+3*x)*Tw(1,2,2,2,0)+(-6*x^2+8*x-3)*Tw(1,2,2,2,1)+(-8*x^2+4*x+1)*Tw(1,2,2,2,2)+(6*x^2+7*x+4)*Tw(2,0,0,0,0)+(-7*x^2-7*x+1)*Tw(2,0,0,0,1)+(4*x^2+6*x-5)*Tw(2,0,0,0,2)+(5*x^2-8*x+5)*Tw(2,0,0,1,0)+(-6*x^2+7*x-8)*Tw(2,0,0,1,1)+(4*x^2+9*x+3)*Tw(2,0,0,1,2)+(7*x^2-x-5)*Tw(1,2,0,1,2)+(-4*x^2-8*x+8)*Tw(1,2,0,2,0)+(-9*x^2+8*x-3)*Tw(1,2,0,2,1)+(3*x^2-7*x-8)*Tw(1,2,0,2,2)+(2*x^2-x-7)*Tw(1,2,1,0,0)+(-5*x^2-x-6)*Tw(1,2,1,0,1)+(8*x^2-8*x-9)*Tw(1,2,1,0,2)+(-8*x^2+2*x)*Tw(2,2,2,2,2)+(-9*x^2+7)*Tw(2,2,1,0,1)+(6*x^2-3*x+2)*Tw(2,2,1,0,2)+(-4*x^2-4*x-6)*Tw(2,2,1,1,0)+(-5*x^2-6*x+2)*Tw(2,2,1,1,1)+(3*x^2-5*x-7)*Tw(2,2,1,1,2)+(5*x^2-6*x+5)*Tw(2,2,1,2,0)+(-5*x^2+6*x-1)*Tw(1,1,1,0,0)+(-5*x^2-3*x+4)*Tw(1,1,1,0,1)+(7*x^2+7*x-1)*Tw(1,1,1,0,2)+(-7*x^2-2*x-7)*Tw(1,1,1,1,0)+(3*x^2+3*x+7)*Tw(1,1,1,1,1)+(5*x^2-9*x+8)*Tw(1,1,1,1,2)+(-5-9*x)*Tw(1,1,1,2,0)+(9*x^2+2*x-8)*Tw(1,1,1,2,1)+(2*x^2-4*x-3)*Tw(1,1,1,2,2)+(7*x^2-7*x+5)*Tw(1,0,2,0,1)+(-7*x^2+6*x+8)*Tw(1,0,2,0,2)+(-x^2+8*x+4)*Tw(1,0,2,1,0)+(9*x^2+3*x-8)*Tw(1,0,2,1,1)+(-x^2-6*x+8)*Tw(1,0,2,1,2)+(5*x^2-2*x+2)*Tw(1,0,2,2,0)+(-x^2+4*x+7)*Tw(1,0,2,2,1)+(-x^2+4*x+5)*Tw(1,0,2,2,2)+(-3*x^2-6*x-6)*Tw(1,1,0,0,0)+(3*x^2-x+3)*Tw(1,1,0,0,1)+(3*x^2-9*x-1)*Tw(1,1,0,0,2)+(-6*x^2+2*x-5)*Tw(1,1,0,1,0)+(8*x^2-8*x-3)*Tw(1,1,0,1,1)+(x^2+7*x+7)*Tw(1,0,0,1,0)+(4*x^2+x-3)*Tw(1,0,0,1,1)+(-6*x^2+9*x-2)*Tw(1,0,0,2,0)+(7*x^2-8*x-7)*Tw(1,0,0,2,1)+(1-9*x)*Tw(1,0,0,2,2)+(-9*x^2-x+4)*Tw(1,0,1,0,0)+(9*x^2-8)*Tw(1,0,1,0,1)+(-8*x^2+7*x-7)*Tw(1,0,1,0,2)+(-9*x^2+2*x+5)*Tw(1,0,1,1,0)+(4*x^2+8*x)*Tw(1,0,1,1,1)+(4*x^2+x+8)*Tw(1,0,1,1,2)+(-4*x^2-3*x-5)*Tw(2,1,2,1,1)+(8*x^2-4*x-5)*Tw(2,1,2,1,2)+(5*x^2-8*x-8)*Tw(2,1,2,2,0)+(8*x^2-7*x-2)*Tw(2,1,2,2,1)+(-2*x^2-4*x-4)*Tw(2,1,2,2,2)+(-5*x^2-2*x+3)*Tw(2,2,0,0,0)+(5*x^2+8*x-9)*Tw(2,2,0,0,1)+(7*x^2-7*x+1)*Tw(2,1,1,0,1)+(7*x^2+6*x-5)*Tw(2,1,1,0,2)+(3*x^2+2*x+5)*Tw(2,1,1,1,0)+(-6+3*x)*Tw(2,1,1,1,1)+(5*x^2-2*x+5)*Tw(2,1,1,1,2)+(-8*x^2+9*x+8)*Tw(2,1,1,2,0)+(9*x^2-2*x+7)*Tw(2,1,1,2,1)+(-2*x^2+4*x-8)*Tw(2,1,1,2,2)+(-x^2-2*x+3)*Tw(2,0,2,1,0)+(2*x^2-3*x-4)*Tw(2,0,2,1,1)+(x^2-3*x+8)*Tw(2,0,2,1,2)+(-5*x^2+8*x+2)*Tw(2,0,2,2,0)+(8*x^2+7*x+6)*Tw(0,2,1,1,1)+(-2*x^2-8*x+8)*Tw(0,2,1,1,2)+(7-8*x)*Tw(0,1,1,1,2)+(x^2-3*x+5)*Tw(0,1,1,2,0)+(2*x^2-6*x-7)*Tw(0,1,1,2,1)+(-7*x^2-x)*Tw(0,1,1,2,2)+(8*x^2+5*x+4)*Tw(0,1,2,0,0)+(5*x^2+9*x-1)*Tw(0,1,2,0,1)+(7*x^2+5*x-1)*Tw(0,1,2,0,2)+(-9*x^2+9)*Tw(0,1,2,1,0)+(4*x^2+9*x+6)*Tw(0,1,2,1,1)+(2*x^2+7*x+9)*Tw(0,1,2,1,2)+(4*x^2-x-1)*Tw(0,1,2,2,0)+(8*x^2-x+5)*Tw(0,1,2,2,1)+(3*x^2+x-9)*Tw(0,1,0,0,0)+(9*x^2+x+7)*Tw(0,1,0,0,1)+(7*x^2-6*x+1)*Tw(0,1,0,0,2)+(3*x^2+7*x+5)*Tw(0,1,0,1,0)+(3*x^2+4*x-4)*Tw(0,1,0,1,1)+(-6*x^2-6*x+1)*Tw(0,1,0,1,2)+(4*x^2+6*x+6)*Tw(0,1,0,2,0)+(-7*x^2+9*x+7)*Tw(0,1,0,2,1)+(-4*x^2-3*x+1)*Tw(0,1,0,2,2)+(-6*x^2+5)*Tw(0,1,1,0,0)+(-x^2+6*x-6)*Tw(0,1,1,0,1)+(-7*x^2-5*x+2)*Tw(0,1,1,0,2)+(-x^2-x+2)*Tw(0,1,1,1,0)+(7*x^2+2*x-2)*Tw(0,1,1,1,1)+(4*x^2+6*x+3)*Tw(0,0,1,0,2)+(-9*x^2+7*x+5)*Tw(0,0,1,1,0)+(5*x^2-9*x-2)*Tw(0,0,1,1,1)+(-5*x^2-9*x+8)*Tw(0,0,1,1,2)+(-6*x^2+3*x-9)*Tw(0,0,1,2,0)+(5*x^2-x-8)*Tw(0,0,2,1,1)+(-2*x^2-6*x+7)*Tw(0,0,2,1,2)+(3*x^2+2*x+4)*Tw(0,0,2,2,0)+(-3*x^2+6*x+9)*Tw(0,0,2,2,1)+(4*x^2+2*x)*Tw(0,0,2,2,2)+(7*x^2-9*x-1)*Tw(0,0,0,0,0)+(-7*x^2-9*x-1)*Tw(0,0,0,0,1)+(6+3*x)*Tw(0,0,0,0,2)+(2*x^2+6*x-8)*Tw(0,0,1,2,1)+(6*x^2-5*x+3)*Tw(0,0,1,2,2)+(4*x^2-5)*Tw(0,0,2,0,0)+(-4*x^2-5*x+8)*Tw(0,0,2,0,1)+(-8*x^2+5*x+8)*Tw(1,2,1,1,0)+(6*x^2+2*x+1)*Tw(1,2,1,1,1)+(7*x^2+5)*Tw(1,2,1,1,2)+(9*x^2-7*x+1)*Tw(1,2,1,2,0)+(-9+6*x)*Tw(1,2,1,2,1)+(4*x^2+6*x-6)*Tw(1,2,1,2,2)+(7*x^2-6*x-1)*Tw(1,2,2,0,0)+(-6*x^2-2*x-8)*Tw(1,2,2,0,1)+(8*x^2-3*x+1)*Tw(1,2,2,0,2)+(-8*x^2-9*x+9)*Tw(1,1,2,0,0)+(2*x^2+9*x+7)*Tw(1,1,2,0,2)+(2*x^2-x-4)*Tw(1,1,2,1,0)+(2+8*x)*Tw(1,1,2,1,1)+(-3*x^2-x+5)*Tw(1,1,2,1,2)+(-6*x^2+2*x-1)*Tw(1,1,2,2,0)+(-9*x^2+2*x+3)*Tw(1,1,2,2,1)+(-3*x^2+2*x+7)*Tw(1,1,2,2,2)+(-8*x^2+3*x-7)*Tw(1,2,0,0,0)+(2*x^2-x+9)*Tw(1,2,0,0,1)+(-x^2-3*x-4)*Tw(1,2,0,0,2)+(x^2-2*x+8)*Tw(1,2,0,1,0)+(-8*x^2+2*x-3)*Tw(1,2,0,1,1)+(-6*x^2-6)*Tw(1,1,0,1,2)+(-4*x^2+x+4)*Tw(1,1,0,2,0)+(-2*x^2+5*x-9)*Tw(1,1,0,2,1)+(-1+6*x)*Tw(1,1,0,2,2)+(5*x^2-8)*Tw(0,0,0,1,0)+(5*x^2+4*x+3)*Tw(0,0,0,1,1)+(-7*x^2+7*x-2)*Tw(0,0,0,1,2)+(6*x^2-7*x-8)*Tw(0,0,0,2,0)+(3*x^2+x-7)*Tw(0,0,0,2,1)+(-7*x^2-6*x-3)*Tw(0,0,0,2,2)+5*x^2*Tw(1,0,0,1,2)-2*x*Tw(1,1,2,0,1)+(-9*x^2-9*x+9)*Tw(2,2,0,2,1)+(x^2+8*x+7)*Tw(2,2,0,2,2)+(5*x^2-7*x+1)*Tw(2,2,1,0,0)+(2*x^2+4*x-4)*Tw(2,1,2,0,0)+(-1-2*x)*Tw(2,1,2,0,1)+(-8*x^2+x+3)*Tw(2,1,2,0,2)+(-1-7*x)*Tw(2,1,2,1,0)+(8*x^2+7*x+6)*Tw(2,0,2,2,1)+(8*x^2-7*x-5)*Tw(2,0,2,2,2)+(-7+5*x)*Tw(2,1,0,0,0)+(-2*x^2-x+6)*Tw(2,1,0,0,1)+(-4*x^2-9*x+9)*Tw(2,1,0,0,2)+(6*x^2+2*x+6)*Tw(2,1,0,1,0)+(8*x^2+6*x-8)*Tw(2,1,0,1,1)+(-x^2+3)*Tw(2,1,0,1,2)+(-7*x^2+9*x-9)*Tw(2,1,0,2,0)+(-5*x^2-6*x-8)*Tw(2,1,0,2,1)+(3*x^2-x-6)*Tw(2,1,0,2,2)+(7*x^2-9)*Tw(2,1,1,0,0)+(-3*x^2-6*x-9)*Tw(2,0,0,2,0)+(-2*x^2+4*x-6)*Tw(2,0,0,2,1)+(-7*x^2-x+3)*Tw(2,0,0,2,2)+(-7*x^2-7*x)*Tw(2,0,1,0,0)+(-3*x^2+5*x-1)*Tw(2,0,1,0,1)+(-8*x^2-9*x+3)*Tw(2,0,1,0,2)+(-7*x^2+6*x-1)*Tw(2,0,1,1,0)+(3*x^2-9*x+8)*Tw(2,0,1,1,1)+(-2*x^2-8*x+9)*Tw(2,0,1,1,2)+(4*x^2+7*x-4)*Tw(2,0,1,2,0)+(5*x^2-9*x+3)*Tw(2,0,1,2,1)+(-6*x^2-7*x)*Tw(2,0,1,2,2)+(-x^2+4*x+7)*Tw(2,0,2,0,0)+(-4*x^2-9)*Tw(2,0,2,0,1)+(2*x^2-6*x+1)*Tw(2,0,2,0,2)+(-9*x^2-2*x+1)*Tw(1,2,2,1,0)+(-7*x^2-4*x+7)*Tw(1,2,2,1,1), (-5*x^2+9*x+8)*Tw(0,1,2,2,1)+(-7*x^2+3*x+3)*Tw(0,1,2,2,2)+(8*x^2-3*x+3)*Tw(0,2,0,0,0)+(3*x^2+5*x-1)*Tw(0,2,0,0,1)+(8*x^2+2*x+8)*Tw(0,2,0,0,2)+(4*x^2+2*x+4)*Tw(0,2,0,1,0)+(9*x^2+7*x)*Tw(0,2,0,1,1)+(-8*x^2+4*x+2)*Tw(0,2,0,1,2)+(9*x^2-6*x-4)*Tw(0,2,0,2,0)+(9*x^2+7*x+3)*Tw(0,2,0,2,1)+(3*x^2+6*x-8)*Tw(0,2,0,2,2)+(2+8*x)*Tw(0,2,1,0,0)+(-6*x^2+7*x+3)*Tw(0,2,1,0,1)+(-6*x^2+9*x+1)*Tw(0,2,1,0,2)+(-5*x^2-6*x+6)*Tw(0,2,1,1,0)+(x^2+2*x-4)*Tw(0,2,1,1,1)+(8*x^2-2*x-7)*Tw(0,1,1,0,2)+(6*x^2+5*x-7)*Tw(0,1,1,1,0)+(4*x^2+2*x+4)*Tw(0,1,1,1,1)+(-6*x^2+4*x-5)*Tw(0,1,1,1,2)+(7*x^2-x+1)*Tw(0,1,1,2,0)+(2*x^2+6*x+2)*Tw(0,1,1,2,1)+(4*x^2-2*x)*Tw(0,1,1,2,2)+(-x^2-4*x+2)*Tw(2,0,2,1,1)+(4*x^2+9*x-2)*Tw(2,0,2,1,2)+(-5*x^2-3*x+9)*Tw(2,0,2,2,0)+(-5*x^2-9*x+4)*Tw(2,0,2,2,1)+(-2+6*x)*Tw(2,0,2,2,2)+(3*x^2+8*x+2)*Tw(2,1,0,0,0)+(-4*x^2-8*x-9)*Tw(2,1,0,0,1)+(x^2+2*x+1)*Tw(2,1,0,0,2)+(-2*x^2+8*x+8)*Tw(2,1,0,1,0)+(-6*x^2-6*x+7)*Tw(2,1,0,1,1)+(-9*x^2-8*x+7)*Tw(2,1,0,1,2)+(6*x^2+6*x+2)*Tw(2,1,0,2,0)+(-9*x^2+9*x+2)*Tw(1,2,1,2,0)+(-9*x^2-8*x+2)*Tw(1,2,1,2,1)+(2*x^2-2*x+4)*Tw(1,2,1,2,2)+(4*x^2-4*x+5)*Tw(1,1,1,1,2)+(9*x^2-8*x+7)*Tw(1,1,1,2,0)+(3*x^2+3*x-3)*Tw(1,1,1,2,1)+(7*x^2+5*x-7)*Tw(1,1,1,2,2)+(-3*x^2+9*x+2)*Tw(1,1,2,0,0)+(4+7*x)*Tw(2,2,2,1,1)+(5*x^2-2*x)*Tw(2,2,2,1,2)+(-6*x^2+3*x-6)*Tw(2,2,2,2,0)+(2*x^2+4*x+9)*Tw(2,2,2,2,1)+(x^2+5*x)*Tw(2,2,2,2,2)+(x^2+7*x-7)*Tw(2,2,0,2,1)+(5*x^2+3*x+1)*Tw(2,2,0,2,2)+(-2*x^2-x-1)*Tw(2,2,1,0,0)+(-2*x^2+6*x-4)*Tw(2,2,1,0,1)+(x^2-6*x+6)*Tw(2,2,1,0,2)+(6*x^2+x-3)*Tw(2,2,1,1,0)+(7*x^2+5*x-2)*Tw(2,2,1,1,1)+(7*x^2-6*x-8)*Tw(2,2,1,1,2)+(8*x^2-8)*Tw(2,2,1,2,0)+(-3*x^2+9*x-9)*Tw(2,2,1,2,1)+(-4*x^2+7*x-5)*Tw(2,2,1,2,2)+(-7*x^2-x-6)*Tw(2,2,2,0,0)+(-5*x^2-x-5)*Tw(2,2,2,0,1)+(-3*x^2-5*x+4)*Tw(2,2,2,0,2)+(-2*x^2-9*x-9)*Tw(0,2,2,0,0)+(-8*x^2-7*x+2)*Tw(0,2,2,0,1)+(3*x^2+4*x-8)*Tw(0,2,2,0,2)+(-8*x^2-2*x+6)*Tw(0,2,2,1,0)+(8*x^2+9*x-2)*Tw(0,2,2,1,1)+(4*x^2-3)*Tw(0,2,2,1,2)+(4*x^2+9*x+4)*Tw(0,2,2,2,0)+(-6*x^2+8)*Tw(0,2,2,2,1)+(-x^2+2*x+2)*Tw(0,2,2,2,2)+6*Tw(1,2,0,0,0)+(8*x^2-9*x+6)*Tw(1,1,1,0,0)+(6*x^2-3*x-4)*Tw(1,1,1,0,1)+(9*x^2+4*x+7)*Tw(1,1,1,0,2)+(-9*x^2-6)*Tw(1,1,1,1,0)+(-6*x^2-6*x+6)*Tw(1,1,1,1,1)+(-8*x^2-4*x-3)*Tw(1,0,1,1,2)+(6*x^2+x-3)*Tw(1,0,1,2,0)+(3*x^2-3*x+2)*Tw(1,0,1,2,1)+(7*x^2+9*x-2)*Tw(1,0,1,2,2)+(-4*x^2-5*x+4)*Tw(1,0,2,0,0)+(-4*x^2-4*x-6)*Tw(1,0,2,0,1)+(8*x^2+6*x-2)*Tw(1,0,2,0,2)+(5*x^2-2*x+1)*Tw(1,0,2,1,0)+(5*x^2-7*x-9)*Tw(1,0,2,1,1)+(5*x^2+3*x+2)*Tw(1,0,2,1,2)+(-9*x^2+7)*Tw(1,0,2,2,0)+(8*x^2-4*x+7)*Tw(1,0,2,2,1)+(-9*x^2+6*x-4)*Tw(1,0,2,2,2)+(8*x^2+x+3)*Tw(1,1,0,0,0)+(7*x^2-x+3)*Tw(1,1,0,0,1)+(x^2-4*x+1)*Tw(1,0,0,0,0)+(-9*x^2+x-6)*Tw(1,0,0,0,1)+(7*x^2+2*x+4)*Tw(1,0,0,0,2)+(-7*x^2-6*x+5)*Tw(1,0,0,1,0)+(-4*x^2+7*x-5)*Tw(1,0,0,1,1)+(x^2+7*x-2)*Tw(1,0,0,1,2)+(-1+x)*Tw(1,0,0,2,0)+(-5*x^2-7*x+4)*Tw(1,0,0,2,1)+(9-8*x)*Tw(1,0,0,2,2)+(9*x^2-6*x+1)*Tw(1,0,1,0,0)+(2*x^2+8*x)*Tw(1,0,1,0,1)+(-5*x^2-8*x-6)*Tw(1,0,1,0,2)+(8*x^2+9*x-5)*Tw(1,0,1,1,0)+(2*x^2+8*x-6)*Tw(1,0,1,1,1)+(-x^2+5*x+2)*Tw(0,2,1,1,2)+(-5*x^2+x+3)*Tw(0,2,1,2,0)+(-8*x^2-3*x-6)*Tw(2,0,2,1,0)+(-3*x^2+9*x+2)*Tw(2,0,1,1,0)+(5*x^2+8)*Tw(2,0,1,1,1)+(-x^2+x+4)*Tw(2,0,1,1,2)+(3*x^2+4*x+1)*Tw(2,0,1,2,0)+(-2*x^2-x)*Tw(2,0,1,2,1)+(8*x^2-2*x+4)*Tw(2,0,1,2,2)+(5*x^2-7*x-4)*Tw(2,0,2,0,0)+(x^2+x+2)*Tw(2,0,2,0,1)+(-4*x^2+6*x-5)*Tw(2,0,2,0,2)+(-6*x^2-7*x+7)*Tw(1,2,2,0,0)+(9*x^2-3*x-6)*Tw(1,2,2,0,1)+(-2*x^2-6*x-4)*Tw(1,2,2,0,2)+(-3*x^2+3*x+3)*Tw(1,2,2,1,0)+(4*x^2-8*x-1)*Tw(1,2,2,1,1)+(-2*x^2+8*x-5)*Tw(1,2,2,1,2)+(4*x^2-7*x)*Tw(1,2,2,2,0)+(-3*x^2+6*x+8)*Tw(1,2,2,2,1)+(-x^2-7*x-7)*Tw(1,2,2,2,2)+(x^2-9*x-9)*Tw(2,0,0,0,0)+(3*x^2+5*x+2)*Tw(2,0,0,0,1)+(-2*x^2-8*x+6)*Tw(2,0,0,0,2)+(3*x^2+3*x+3)*Tw(2,0,0,1,0)+(-8*x^2+9*x+1)*Tw(2,0,0,1,1)+(6*x^2+9*x+2)*Tw(2,0,0,1,2)+(5*x^2-4*x+6)*Tw(1,2,0,1,1)+(2*x^2+x-1)*Tw(1,2,0,1,2)+(5*x^2+7*x+3)*Tw(1,2,0,2,0)+(9*x^2-5*x+8)*Tw(1,2,0,2,1)+(3-7*x)*Tw(1,2,0,2,2)+(6*x^2+x+1)*Tw(1,2,1,0,0)+(x^2-3*x)*Tw(1,2,1,0,1)+(8*x^2+9*x+1)*Tw(1,2,1,0,2)+(3*x^2+3*x-1)*Tw(1,2,1,1,0)+(7*x^2+6*x)*Tw(1,2,1,1,1)+(-8*x^2+3*x-9)*Tw(1,2,1,1,2)+(-8*x^2-8*x-8)*Tw(0,2,1,2,1)+(-7*x^2+6*x-1)*Tw(0,2,1,2,2)+(-3*x^2-5*x+2)*Tw(0,1,2,0,0)+(-9*x^2-9*x+4)*Tw(0,1,2,0,1)+(9*x^2+5*x-7)*Tw(0,1,2,0,2)+(-8*x^2+x-4)*Tw(0,1,2,1,0)+(-x^2+x+2)*Tw(0,1,2,1,1)+(-6+3*x)*Tw(0,1,2,1,2)+(2*x^2+8)*Tw(0,1,2,2,0)+(-9*x^2+9*x+1)*Tw(0,1,0,1,0)+(-9*x^2+4*x+7)*Tw(0,1,0,1,1)+(5*x^2+3*x+8)*Tw(0,1,0,1,2)+(5*x^2+6*x+3)*Tw(0,1,0,2,0)+(x^2+x-3)*Tw(0,1,0,2,1)+(-7*x^2-5*x+7)*Tw(0,1,0,2,2)+(x^2-7*x+2)*Tw(0,1,1,0,0)+(-3*x^2-2*x-3)*Tw(0,1,1,0,1)+(-8*x^2+2*x+8)*Tw(0,0,2,1,2)+(-4*x^2+5*x-1)*Tw(0,0,2,2,0)+(8*x^2+5*x-4)*Tw(0,0,2,2,1)+(7*x^2+9*x-5)*Tw(0,0,2,2,2)+(-8*x^2-2*x+8)*Tw(0,1,0,0,0)+(-9*x^2-4*x+8)*Tw(0,1,0,0,1)+(5*x^2+9)*Tw(0,1,0,0,2)+(-7*x^2-8*x+3)*Tw(0,0,1,0,2)+(-4*x^2+3*x-5)*Tw(0,0,1,1,0)+(x^2-2*x+8)*Tw(0,0,1,1,1)+(7*x^2-7*x-5)*Tw(0,0,1,1,2)+(3*x^2+6*x-4)*Tw(0,0,1,2,0)+(3*x^2+7*x+6)*Tw(0,0,1,2,1)+(5*x^2+6*x-9)*Tw(0,0,1,2,2)+(9*x^2+9*x+5)*Tw(0,0,2,0,0)+(-7-5*x)*Tw(0,0,2,0,1)+(-3*x^2-7*x+8)*Tw(0,0,2,0,2)+(-5*x^2+4*x-1)*Tw(0,0,2,1,0)+(5*x^2+8*x-4)*Tw(0,0,2,1,1)+(-9*x^2-8*x+4)*Tw(2,2,2,1,0)+(4*x^2+7*x+8)*Tw(2,1,2,0,1)+(-9*x^2+7*x+1)*Tw(2,1,2,0,2)+(-5*x^2-x-8)*Tw(2,1,2,1,0)+(-3*x^2-2*x+1)*Tw(2,1,2,1,1)+(-7*x^2+x-9)*Tw(2,1,2,1,2)+(6*x^2-x+2)*Tw(2,1,2,2,0)+(5*x^2+8*x+1)*Tw(2,1,2,2,1)+(-7*x^2-9*x+3)*Tw(2,1,2,2,2)+(-9*x^2-6*x-4)*Tw(2,2,0,0,0)+(-6*x^2-x+1)*Tw(2,2,0,0,1)+(-x^2+2*x-4)*Tw(2,2,0,0,2)+(-7-6*x)*Tw(2,2,0,1,0)+(-6*x^2-7*x-1)*Tw(2,2,0,1,1)+(-6*x^2-5*x-3)*Tw(2,2,0,1,2)+(4*x^2-9*x)*Tw(2,2,0,2,0)+(4*x^2-6*x+8)*Tw(2,1,1,0,2)+(-9*x^2+x+9)*Tw(2,1,1,1,0)+(-7*x^2-4*x+7)*Tw(2,1,1,1,1)+(-3*x^2-6*x+5)*Tw(2,1,1,1,2)+(-3*x^2-9*x+5)*Tw(2,1,1,2,0)+(2*x^2-3*x+1)*Tw(2,1,1,2,1)+(-5*x^2+5*x)*Tw(2,1,1,2,2)+(3*x^2-5*x)*Tw(2,1,2,0,0)+(5*x^2-8*x+6)*Tw(2,1,1,0,1)+(-9*x^2+x+6)*Tw(2,1,0,2,2)+(x^2-8*x+8)*Tw(2,1,1,0,0)+(-4*x^2+3*x+6)*Tw(2,1,0,2,1)+(-3*x^2-7)*Tw(2,0,0,2,0)+(9*x^2-x)*Tw(2,0,0,2,1)+(-4*x^2-7*x-5)*Tw(2,0,0,2,2)+(-6-8*x)*Tw(2,0,1,0,0)+(3*x^2+8*x+5)*Tw(2,0,1,0,1)+(x^2-9*x+3)*Tw(2,0,1,0,2)+(6*x^2+6*x-3)*Tw(0,0,0,0,0)+(-9*x^2-6*x+4)*Tw(0,0,0,0,1)+(2*x^2-6*x-6)*Tw(0,0,0,0,2)+(8*x^2-6*x)*Tw(0,0,0,1,0)+(-5*x^2+8*x+4)*Tw(0,0,0,1,1)+(-x^2-5*x-6)*Tw(0,0,0,1,2)+(-2*x^2-8*x+3)*Tw(0,0,0,2,0)+(-x^2+3*x+1)*Tw(0,0,0,2,1)+(8*x^2-5*x+3)*Tw(0,0,0,2,2)+(-5*x^2+7*x)*Tw(0,0,1,0,0)+(4*x^2+7*x-4)*Tw(0,0,1,0,1)+(-5*x^2-4*x-4)*Tw(1,1,2,0,1)+(9*x^2+x-6)*Tw(1,1,2,0,2)+(-4*x^2+5*x+6)*Tw(1,1,2,1,0)+(-x^2-5*x+4)*Tw(1,1,2,1,1)+(3*x^2-x+8)*Tw(1,1,2,1,2)+(-7*x^2-6*x-4)*Tw(1,1,2,2,0)+(-9*x^2+9*x+7)*Tw(1,1,2,2,1)+(9*x^2+4*x-2)*Tw(1,1,2,2,2)+(3*x^2-4*x+6)*Tw(1,2,0,0,1)+(5*x^2-2*x+2)*Tw(1,2,0,0,2)+(-2*x^2+4*x+2)*Tw(1,2,0,1,0)+(2*x^2-5*x-4)*Tw(1,1,0,0,2)+(8*x^2-9*x+4)*Tw(1,1,0,1,0)+(-9*x^2-4*x+4)*Tw(1,1,0,1,1)+(-4*x^2+x-4)*Tw(1,1,0,1,2)+(-8*x^2+9*x-7)*Tw(1,1,0,2,0)+(5*x^2-2*x-3)*Tw(1,1,0,2,1)+(-7+3*x)*Tw(1,1,0,2,2), (5*x^2+4*x-1)*Tw(1,2,0,0,0)+(7*x^2+6*x+9)*Tw(1,1,0,0,0)+(4*x^2+9*x+6)*Tw(1,1,0,0,1)+(8*x^2+6*x-9)*Tw(1,1,0,0,2)+(-3*x^2+8*x-6)*Tw(1,1,0,1,0)+(5*x^2+4*x-7)*Tw(1,1,0,1,1)+(-4*x^2+8*x-8)*Tw(1,1,0,1,2)+(-9*x^2+7)*Tw(1,1,0,2,0)+(-8+3*x)*Tw(1,1,0,2,1)+(8*x^2+9*x-7)*Tw(1,1,0,2,2)+(8-5*x)*Tw(1,1,1,0,0)+(6*x^2-8*x-7)*Tw(1,1,1,0,1)+(-3*x^2-8*x+6)*Tw(1,1,1,0,2)+(-6*x^2-6*x+5)*Tw(1,1,1,1,0)+(-x^2+7*x-6)*Tw(1,1,1,1,1)+(-3*x^2-4*x+9)*Tw(1,0,2,0,2)+(-9*x^2+2*x+2)*Tw(1,0,2,1,0)+(-5*x^2-3*x+9)*Tw(1,0,2,1,1)+(3*x^2+3*x+1)*Tw(1,0,2,1,2)+(2*x^2+5*x+7)*Tw(1,0,2,2,0)+(-2*x^2-6*x-3)*Tw(2,2,0,2,2)+(5*x^2-x+5)*Tw(2,2,1,0,0)+(8*x^2-9*x+6)*Tw(2,2,1,0,1)+(x^2+9*x-2)*Tw(2,2,1,0,2)+(3*x^2-7*x+5)*Tw(2,2,1,1,0)+(-x^2-7*x+1)*Tw(2,2,1,1,1)+(-6*x^2-9*x-1)*Tw(2,2,1,1,2)+(7+5*x)*Tw(2,2,1,2,0)+(-2*x^2-7*x+3)*Tw(2,2,1,2,1)+(-4*x^2+6*x-4)*Tw(2,2,1,2,2)+(6*x^2+9*x+4)*Tw(2,1,2,1,1)+(9*x^2+8)*Tw(2,1,2,1,2)+(-6*x^2-9*x+2)*Tw(2,1,2,2,0)+(6*x^2+x+7)*Tw(2,1,2,2,1)+(7*x^2+8*x+7)*Tw(2,1,2,2,2)+(-7*x^2-3*x-8)*Tw(2,2,0,0,0)+3*Tw(1,1,1,1,2)+(-5*x^2-6*x-1)*Tw(1,2,1,1,1)+(-6*x^2+5*x-4)*Tw(1,2,1,1,2)+(x^2+4*x+8)*Tw(1,2,1,2,0)+(-4*x^2-x+1)*Tw(1,1,1,2,0)+(3*x^2+2*x-2)*Tw(1,1,1,2,1)+(-6+3*x)*Tw(1,1,1,2,2)+(-5*x^2-3)*Tw(0,0,0,0,0)+(-2*x^2+5*x+7)*Tw(0,0,0,0,1)+(6*x^2+5*x+6)*Tw(0,0,0,0,2)+(-9*x^2-8*x+3)*Tw(0,0,0,1,0)+(-3*x^2-7)*Tw(0,0,0,1,1)+(3+6*x)*Tw(0,0,0,1,2)+(3*x^2-2*x+8)*Tw(0,0,0,2,0)+(-x^2-6*x-2)*Tw(0,0,0,2,1)+(-x^2+2*x+6)*Tw(0,0,0,2,2)+(-4*x^2-9*x-6)*Tw(1,0,2,2,1)+(6*x^2+5*x-2)*Tw(1,0,2,2,2)+(5*x^2-x+1)*Tw(1,0,2,0,1)+(-8*x^2-6*x-7)*Tw(1,0,2,0,0)+(-3*x^2+7*x+2)*Tw(1,0,1,2,2)+(6*x^2-2*x-7)*Tw(1,0,1,2,1)+(-8*x^2-8*x+8)*Tw(1,0,1,2,0)+(-8*x^2-8*x+9)*Tw(1,0,1,1,2)+(6*x^2+x+8)*Tw(1,0,1,1,0)+(4*x^2+7*x+9)*Tw(1,0,1,1,1)+(-7*x^2+4*x-6)*Tw(1,0,1,0,2)+(-x^2+6*x-3)*Tw(1,0,1,0,1)+(-9*x^2+4*x-6)*Tw(1,0,1,0,0)+(2*x^2+8)*Tw(0,2,2,1,2)+(7*x^2+3*x+5)*Tw(0,2,2,2,0)+(-7*x^2-8*x-5)*Tw(0,2,2,2,1)+(x^2+4*x-9)*Tw(0,2,2,2,2)+(9*x^2-2*x+4)*Tw(1,0,0,0,0)+(-8*x^2-7*x-2)*Tw(1,0,0,0,1)+(-4*x^2+x+3)*Tw(1,0,0,0,2)+(-9*x^2-x)*Tw(1,0,0,1,0)+(3*x^2-x+9)*Tw(1,0,0,1,1)+(-2*x^2-7*x-1)*Tw(2,2,0,0,1)+(2*x^2+7*x+2)*Tw(2,2,0,0,2)+(-4*x^2+3*x+5)*Tw(2,2,0,1,0)+(-x^2-4*x+9)*Tw(2,2,0,1,1)+(-2*x^2-2*x-6)*Tw(2,2,0,1,2)+(-4*x^2-x+7)*Tw(2,2,0,2,0)+(-x^2-3*x+3)*Tw(2,2,0,2,1)+(7*x^2-8*x-4)*Tw(2,1,0,2,2)+(x^2-8*x-5)*Tw(2,1,1,0,0)+(-6+6*x)*Tw(2,1,1,0,1)+(6*x^2-3*x-3)*Tw(2,1,1,0,2)+(-6*x^2-x+6)*Tw(2,1,1,1,0)+(-2*x^2+8*x-2)*Tw(2,1,1,1,1)+(6*x^2-2*x)*Tw(2,1,1,1,2)+(-5*x^2-7*x+4)*Tw(2,1,1,2,0)+(7*x^2-x-4)*Tw(2,1,1,2,1)+(3+6*x)*Tw(2,1,1,2,2)+(3*x^2+9*x-1)*Tw(2,1,2,0,0)+(8*x^2+7*x-7)*Tw(2,1,2,0,1)+(-3*x^2-x+6)*Tw(2,1,2,0,2)+(7-x)*Tw(2,1,2,1,0)+(5*x^2-5*x-9)*Tw(2,0,2,0,2)+(2*x^2+2*x+2)*Tw(2,0,2,1,0)+(-6*x^2+6*x+5)*Tw(2,0,2,1,1)+(3*x^2+8*x-4)*Tw(2,0,2,1,2)+(-9*x^2+7*x+9)*Tw(2,0,2,2,0)+(4*x^2+6*x+8)*Tw(2,0,2,2,1)+(2*x^2-x+5)*Tw(0,2,0,2,1)+(-x^2+2*x+3)*Tw(0,2,0,2,2)+(4*x^2-6*x+7)*Tw(0,2,1,0,0)+(-8*x^2+x-3)*Tw(0,1,0,2,1)+(x^2-5*x+2)*Tw(0,1,0,2,2)+(-7*x^2-7*x)*Tw(0,1,1,0,0)+(-4*x^2-5*x-6)*Tw(0,1,1,0,1)+(-x^2-6*x+8)*Tw(0,1,1,0,2)+(4*x^2+7*x+5)*Tw(0,1,1,1,0)+(-7*x^2-6*x-2)*Tw(0,1,1,1,1)+(-4*x^2+x-8)*Tw(0,1,1,1,2)+(-2*x^2-9*x+3)*Tw(0,0,2,1,2)+(-9*x^2-x+8)*Tw(0,0,2,2,1)+(-8*x^2+5*x-5)*Tw(0,0,2,2,2)+(-5*x^2+8*x-4)*Tw(0,1,0,0,0)+(3*x+4)*Tw(0,1,0,0,1)+(6*x^2-6*x+8)*Tw(0,1,0,0,2)+(5*x^2+3*x+4)*Tw(0,1,0,1,0)+(-6*x^2+3*x+2)*Tw(0,1,0,1,1)+(-4*x^2+8*x-5)*Tw(0,1,0,1,2)+(6*x^2-3*x-7)*Tw(0,1,0,2,0)+(6*x^2-2*x-4)*Tw(0,0,1,0,0)+(-2*x^2-8*x+4)*Tw(0,0,1,0,1)+(-7*x^2-6*x+2)*Tw(0,0,1,0,2)+(5-2*x)*Tw(0,0,1,1,0)+(2*x^2-2*x-9)*Tw(0,0,1,1,1)+(-5+9*x)*Tw(0,0,1,1,2)+(-3*x^2-9*x-6)*Tw(0,0,1,2,0)+(-3*x^2-9*x)*Tw(0,0,1,2,1)+(-9*x^2+x+1)*Tw(0,0,1,2,2)+(7*x^2+8*x-6)*Tw(0,0,2,0,0)+(-3*x^2+5*x+2)*Tw(0,0,2,0,1)+(-9*x^2-4*x+8)*Tw(0,0,2,0,2)+(-6*x^2+5*x+1)*Tw(2,0,2,2,2)+(-3*x^2-3*x+5)*Tw(2,1,0,0,0)+(9*x^2+3*x-4)*Tw(2,1,0,0,1)+(-7*x^2-4*x+4)*Tw(2,1,0,0,2)+(3*x^2-9*x-9)*Tw(2,1,0,1,0)+(-4*x^2+8*x-5)*Tw(2,1,0,1,1)+(-4*x^2+2*x+5)*Tw(2,1,0,1,2)+(6*x^2-x+5)*Tw(2,1,0,2,0)+(9*x^2-2*x+7)*Tw(2,1,0,2,1)+(2*x^2-2*x-1)*Tw(2,0,0,1,1)+(-6*x^2-7*x-2)*Tw(2,0,0,1,2)+(4*x^2+4*x-7)*Tw(2,0,0,2,0)+(-5*x^2-9*x-6)*Tw(2,0,0,2,1)+(-9-2*x)*Tw(2,0,0,2,2)+(-5*x^2-8*x+4)*Tw(2,0,1,0,0)+(-2*x^2+7*x-3)*Tw(2,0,1,0,1)+(6*x^2+5*x-1)*Tw(2,0,1,0,2)+(-7*x^2+7*x-2)*Tw(2,2,2,0,0)+(-6*x^2+3*x-6)*Tw(2,2,2,0,1)+(8*x^2+2*x+1)*Tw(2,2,2,0,2)+(3*x^2+x)*Tw(2,2,2,1,0)+(-7*x^2-9*x-5)*Tw(2,2,2,1,1)+(-2*x^2-6*x+5)*Tw(2,2,2,1,2)+(7*x^2-3*x-9)*Tw(2,2,2,2,0)+(7*x^2+7*x-1)*Tw(2,2,2,2,1)+(-2*x^2-9*x+1)*Tw(2,2,2,2,2)+(-7*x^2+x+3)*Tw(1,1,2,0,0)+(x^2+2)*Tw(1,1,2,0,1)+(-9*x^2-9*x+6)*Tw(1,1,2,0,2)+(-5*x^2-5*x+4)*Tw(1,1,2,1,0)+(3*x^2-2*x-2)*Tw(1,1,2,1,1)+(9*x^2-7*x+3)*Tw(1,1,2,1,2)+(-7*x^2+9*x+9)*Tw(1,1,2,2,0)+(7*x^2-9*x-1)*Tw(1,1,2,2,1)+(-8*x^2+6*x-4)*Tw(1,1,2,2,2)+(4*x^2-3*x+5)*Tw(1,0,0,1,2)+(-5*x^2-7*x-5)*Tw(1,0,0,2,0)+(3*x^2+3*x+6)*Tw(1,0,0,2,1)+(9*x^2-x+7)*Tw(1,0,0,2,2)+(9*x^2-2*x)*Tw(0,2,1,0,1)+(-x^2+5*x+1)*Tw(0,2,1,0,2)+(-3*x^2-7*x+2)*Tw(0,2,1,1,0)+(-3*x^2+2*x-4)*Tw(0,2,1,1,1)+(-3*x^2+7*x-6)*Tw(0,2,1,1,2)+(5*x^2+2*x+9)*Tw(0,2,1,2,0)+(-4*x^2-8*x+1)*Tw(0,2,1,2,1)+(-6*x^2-4*x+2)*Tw(0,2,1,2,2)+(4*x^2-1)*Tw(0,2,2,0,0)+(-6*x^2+3*x-8)*Tw(0,2,2,0,1)+(-3*x^2-7*x-7)*Tw(0,2,2,0,2)+(3*x^2-7*x-5)*Tw(0,2,2,1,0)+(-8*x^2+3*x-9)*Tw(0,2,2,1,1)+(2*x^2-6*x+7)*Tw(0,1,2,1,2)+(-5*x^2-1)*Tw(0,1,2,2,0)+(-4*x^2-2*x)*Tw(0,1,2,2,1)+(-4*x^2-3*x+9)*Tw(0,1,2,2,2)+(2*x^2-3*x-8)*Tw(0,2,0,0,0)+(3*x^2-6*x-9)*Tw(0,2,0,0,1)+(-9*x^2+3*x-7)*Tw(0,2,0,0,2)+(3*x^2+8*x+2)*Tw(0,2,0,1,0)+(8*x^2+3*x-8)*Tw(0,2,0,1,1)+(3*x^2-7*x+4)*Tw(0,2,0,1,2)+(3*x^2+4*x+8)*Tw(0,2,0,2,0)+(6*x^2-7*x-8)*Tw(0,1,1,2,2)+(8*x^2+9*x-8)*Tw(0,1,2,0,0)+(9*x^2+4*x-2)*Tw(0,1,2,0,2)+(-2*x^2+7*x+8)*Tw(0,1,2,1,0)+(-x^2-8*x-5)*Tw(0,1,2,1,1)+(-8*x^2-4*x+9)*Tw(0,0,2,1,0)+(-8*x^2+8*x-6)*Tw(0,0,2,1,1)+(2*x^2-9)*Tw(0,1,1,2,0)+(-3*x^2-8*x+6)*Tw(0,1,1,2,1)+(-5*x^2-4*x-3)*Tw(2,0,1,1,0)+(-9*x^2-3*x-2)*Tw(2,0,1,1,1)+(-3*x^2+2*x-6)*Tw(2,0,1,1,2)+(-3*x^2+7*x-6)*Tw(2,0,1,2,0)+(-x^2+9*x-3)*Tw(2,0,1,2,1)+(8*x^2-8*x+9)*Tw(2,0,1,2,2)+(7*x^2-2)*Tw(2,0,2,0,0)+(-x^2-9*x+4)*Tw(2,0,2,0,1)+(5*x^2+8*x+7)*Tw(1,2,1,2,1)+(6+4*x)*Tw(1,2,1,2,2)+(-x^2+7*x+4)*Tw(1,2,2,0,0)+(-4*x^2-8*x-3)*Tw(1,2,2,0,1)+(-8*x^2+7*x+7)*Tw(1,2,2,0,2)+(-4*x^2+9)*Tw(1,2,2,1,0)+(8*x^2-2*x+4)*Tw(1,2,2,1,2)+(-8*x^2-x-9)*Tw(1,2,2,2,0)+(-4*x^2-3*x+3)*Tw(1,2,2,2,1)+(4*x^2-8*x+1)*Tw(1,2,2,2,2)+(9*x^2-4*x+3)*Tw(2,0,0,0,0)+(-6*x^2-1)*Tw(2,0,0,0,1)+(-9*x^2-8*x-9)*Tw(2,0,0,0,2)+(3*x^2-8*x-1)*Tw(2,0,0,1,0)+(-x^2+8*x+2)*Tw(1,2,0,0,1)+(-2*x^2-2*x+7)*Tw(1,2,0,0,2)+(4*x^2+9*x+9)*Tw(1,2,0,1,0)+(7*x^2-8*x)*Tw(1,2,0,1,1)+(6*x^2-6*x-1)*Tw(1,2,0,1,2)+(-7*x^2+9*x+7)*Tw(1,2,0,2,0)+(4*x^2-8*x-1)*Tw(1,2,0,2,1)+(6*x^2+x+2)*Tw(1,2,0,2,2)+(4*x^2+4*x+8)*Tw(1,2,1,0,0)+(7*x^2-4*x-8)*Tw(1,2,1,0,1)+(-5*x^2+5*x)*Tw(1,2,1,1,0)+3*x*Tw(1,2,2,1,1)+4*x*Tw(1,2,1,0,2)+6*x*Tw(0,1,2,0,1)+5*x^2*Tw(0,0,2,2,0), (-7*x^2+7*x+7)*Tw(0,2,2,1,1)+(-4*x^2+9*x+6)*Tw(0,2,2,1,2)+(-2*x^2-2*x-9)*Tw(0,2,2,2,0)+(x^2-x-7)*Tw(0,2,2,2,1)+(x^2+8*x-1)*Tw(0,2,2,2,2)+(5*x^2-3*x-3)*Tw(1,0,0,0,0)+(2*x^2-8*x+7)*Tw(1,0,0,0,1)+(-8*x^2+x+9)*Tw(1,0,0,0,2)+(-4*x^2-3*x-4)*Tw(1,0,0,1,0)+(-2*x^2+4*x+9)*Tw(1,0,0,1,1)+(9*x^2-x-8)*Tw(1,0,0,1,2)+(6*x^2+x+6)*Tw(1,0,0,2,0)+(-4*x^2+3*x+7)*Tw(0,2,1,0,0)+(-x^2+3*x-5)*Tw(0,2,1,0,1)+(5*x^2-8*x+4)*Tw(0,2,1,0,2)+(-4*x^2+x+4)*Tw(0,2,1,1,0)+(8*x^2-4*x-5)*Tw(0,2,1,1,1)+(1+7*x)*Tw(0,2,1,1,2)+(-9*x^2-8*x+8)*Tw(0,2,1,2,0)+(-3*x^2-8*x-2)*Tw(0,2,1,2,1)+(-x^2+4*x)*Tw(0,2,1,2,2)+(8*x^2+8*x+5)*Tw(0,2,2,0,0)+(8*x^2+6*x-4)*Tw(0,2,2,0,1)+(2*x^2+6*x+8)*Tw(0,2,0,0,1)+(3*x^2+2*x-8)*Tw(0,2,0,0,2)+(9*x^2+7*x-6)*Tw(0,2,0,1,0)+(x^2+7*x+5)*Tw(0,2,0,1,1)+(7*x^2+7*x-1)*Tw(0,2,0,1,2)+(-9*x^2+9*x+1)*Tw(0,2,0,2,0)+(8*x^2+2*x+5)*Tw(0,2,0,2,1)+(-9*x^2+4*x+1)*Tw(0,2,0,2,2)+(-9*x^2+4*x+7)*Tw(0,2,0,0,0)+(9*x^2+6*x+5)*Tw(0,1,1,1,0)+(3*x^2-7*x+5)*Tw(0,1,1,1,1)+(-4*x^2-8*x-2)*Tw(0,1,1,1,2)+(8*x^2+7*x+7)*Tw(0,1,1,2,0)+(5*x^2+7*x-5)*Tw(0,1,1,2,1)+(-9*x^2-x-6)*Tw(1,1,2,1,0)+(7*x^2+3*x-6)*Tw(1,1,2,1,1)+(-4*x^2+x-6)*Tw(1,1,2,1,2)+(-4*x^2-4*x+2)*Tw(1,1,2,2,0)+(4*x^2+9*x+8)*Tw(1,1,1,0,0)+(9*x^2-3*x+7)*Tw(1,1,1,0,1)+(-3*x^2-x-3)*Tw(1,1,1,0,2)+(8*x^2+3*x-2)*Tw(1,1,0,0,2)+(9*x^2-5*x-1)*Tw(1,1,0,1,0)+(-5*x^2-6*x-5)*Tw(1,1,0,1,1)+(5*x^2-2*x-8)*Tw(1,1,0,1,2)+(-8*x^2-9*x+8)*Tw(1,1,0,2,0)+(6*x^2-8*x-2)*Tw(1,1,0,2,1)+(5*x^2-9*x+4)*Tw(1,1,0,2,2)+(-3*x^2+4*x-4)*Tw(1,0,1,1,2)+(6*x^2-4*x-1)*Tw(1,0,1,2,0)+(-6*x^2+6*x-8)*Tw(1,0,1,2,1)+(-5*x^2+5*x-3)*Tw(2,2,1,2,2)+(x^2-5*x-1)*Tw(2,2,2,0,0)+(-x^2-7*x+2)*Tw(2,2,2,0,1)+(3*x^2-3*x-7)*Tw(2,2,2,0,2)+(7*x^2-6*x-9)*Tw(1,0,2,1,1)+(-6*x^2+6*x+1)*Tw(1,0,2,1,2)+(6*x^2-x+6)*Tw(1,0,2,2,0)+(-2*x^2+3*x-8)*Tw(1,0,2,2,1)+(-3*x^2+2*x-4)*Tw(1,0,2,2,2)+(5*x^2-7*x-5)*Tw(1,1,0,0,0)+(4*x^2+7*x+8)*Tw(1,1,0,0,1)+(x^2+8*x-4)*Tw(1,0,0,2,2)+(9*x^2+5*x-9)*Tw(1,0,1,0,0)+(9*x^2+6*x-2)*Tw(1,0,1,0,1)+(-6*x^2-4*x+8)*Tw(1,0,1,0,2)+(-4*x^2-x+4)*Tw(1,0,1,1,0)+(-7*x^2+3*x+1)*Tw(1,0,1,1,1)+(4-5*x)*Tw(1,0,0,2,1)+(5*x^2-x-4)*Tw(0,2,2,0,2)+(-6*x^2-8*x-3)*Tw(0,2,2,1,0)+(-8*x^2+8*x+1)*Tw(1,2,1,2,1)+(2*x^2-9*x)*Tw(1,2,1,2,2)+(7*x^2+x+7)*Tw(1,2,2,0,0)+(7*x^2-2*x+1)*Tw(1,2,2,0,1)+(9*x^2+3)*Tw(2,2,2,1,0)+(-x^2-6*x+5)*Tw(2,2,2,1,1)+(-9*x^2+4*x-8)*Tw(2,2,2,1,2)+(4*x^2+6*x-1)*Tw(2,2,2,2,0)+(9*x^2+4*x-6)*Tw(2,2,2,2,1)+(-5*x^2+3*x+4)*Tw(2,2,2,2,2)+(8*x^2+2*x+8)*Tw(2,2,1,1,1)+(-2*x^2-x-6)*Tw(2,2,1,1,2)+(6*x^2+4*x-4)*Tw(0,1,1,2,2)+(-8*x^2+6*x)*Tw(0,1,2,0,0)+(-7*x^2+8*x-3)*Tw(0,1,2,0,1)+(-7*x^2+9*x-6)*Tw(0,1,2,0,2)+(-3*x^2-5*x-1)*Tw(0,1,2,1,0)+(-9*x^2-3*x+2)*Tw(0,1,2,1,1)+(5*x^2-9*x+1)*Tw(0,1,2,1,2)+(9*x^2-x-2)*Tw(0,1,2,2,0)+(3*x^2-3*x+8)*Tw(0,1,2,2,1)+(7*x^2+9*x+8)*Tw(0,1,2,2,2)+(7*x^2-9*x+1)*Tw(0,0,2,2,0)+(-x^2+2*x+2)*Tw(0,1,0,2,1)+(3*x^2-9*x-5)*Tw(0,1,0,2,2)+(3*x^2+9)*Tw(0,1,1,0,0)+(-2*x^2+5*x+7)*Tw(0,1,1,0,1)+(-8*x^2-3)*Tw(0,1,1,0,2)+(7*x^2-9*x+2)*Tw(0,0,0,2,2)+(-x^2+6*x-4)*Tw(0,0,1,0,0)+(-2*x^2+9*x+5)*Tw(0,0,1,0,1)+(4*x^2+5*x-7)*Tw(0,0,1,0,2)+(7*x^2-8*x+3)*Tw(0,0,1,1,0)+(-9*x^2-9*x-3)*Tw(0,0,1,1,1)+(-5*x^2-7*x-7)*Tw(0,0,1,1,2)+(-5*x^2-3*x+9)*Tw(0,0,1,2,0)+(2*x^2-5*x+3)*Tw(0,0,1,2,1)+(-6*x^2-x+4)*Tw(0,0,1,2,2)+(4*x^2-3*x-7)*Tw(0,0,2,0,0)+(5*x^2-3)*Tw(0,0,2,0,1)+(3*x^2+7*x)*Tw(0,0,2,0,2)+(-x^2-5*x-4)*Tw(0,0,2,1,0)+(6*x^2-2*x+5)*Tw(0,0,2,1,1)+(x^2+1)*Tw(0,0,2,1,2)+(-9*x^2-5*x+8)*Tw(0,0,0,1,2)+(7*x^2-7*x+5)*Tw(0,0,0,2,0)+(-5*x^2-4*x-3)*Tw(0,0,0,2,1)+(7*x^2+7*x+8)*Tw(0,1,0,1,1)+(8*x^2+9*x+2)*Tw(0,1,0,1,2)+(x^2-1)*Tw(0,1,0,2,0)+(4*x^2-3*x+2)*Tw(1,2,2,0,2)+(-8*x^2-3*x+7)*Tw(1,2,2,1,0)+(7*x^2+4*x-2)*Tw(1,2,2,1,1)+(-2*x^2+x-3)*Tw(1,2,2,1,2)+(6*x^2-2*x+5)*Tw(1,2,2,2,0)+(3*x^2-2*x-4)*Tw(1,2,2,2,1)+(3*x^2-9*x-2)*Tw(1,2,2,2,2)+(-5*x^2+3*x+6)*Tw(2,0,0,0,0)+(-3*x^2-4*x+5)*Tw(1,2,1,0,0)+(6+9*x)*Tw(1,2,1,0,1)+(4*x^2-3*x-2)*Tw(1,2,1,0,2)+(8*x^2+9*x-6)*Tw(1,2,1,1,0)+(-4*x^2-x-5)*Tw(1,2,1,1,1)+(-8*x^2+3*x+1)*Tw(1,2,1,1,2)+(-x^2-4*x-6)*Tw(1,1,2,2,1)+(8*x^2+7*x-5)*Tw(1,1,2,2,2)+(-9*x^2-2*x-9)*Tw(1,2,0,0,0)+(-9*x^2+9*x-9)*Tw(1,2,0,0,1)+(-5*x^2-9*x+6)*Tw(1,2,0,0,2)+(-5*x^2+6*x-5)*Tw(1,2,0,1,0)+(-3*x^2+4*x)*Tw(1,2,0,1,1)+(-3*x^2-4*x+3)*Tw(1,2,0,1,2)+(-4*x^2-6)*Tw(1,2,0,2,0)+(-7*x^2-9*x+7)*Tw(1,2,0,2,1)+(-x^2-5*x-5)*Tw(1,2,0,2,2)+(-2*x^2+5*x+8)*Tw(1,1,1,1,0)+(-8*x^2-5)*Tw(1,1,1,1,1)+(x^2-x-2)*Tw(1,1,1,1,2)+(-2*x^2-2*x-2)*Tw(1,1,1,2,0)+(5*x^2+2*x+2)*Tw(1,1,1,2,1)+(-5*x^2+9*x+9)*Tw(1,1,1,2,2)+(-7*x^2-x-8)*Tw(1,1,2,0,0)+(7*x^2-9*x-8)*Tw(1,1,2,0,1)+(7-x)*Tw(1,1,2,0,2)+(4*x^2-9*x-4)*Tw(2,1,0,2,0)+(-6-9*x)*Tw(2,1,0,2,1)+(-7*x^2+5*x+4)*Tw(2,1,0,2,2)+(3*x^2-3*x-5)*Tw(2,1,1,0,0)+(-4*x^2+x-1)*Tw(2,1,1,0,1)+(-x^2+x+6)*Tw(2,1,1,0,2)+(-5*x^2-6*x-2)*Tw(2,0,1,1,1)+(2*x^2-5*x+4)*Tw(2,0,1,1,2)+(x^2+x-5)*Tw(2,0,1,2,0)+(x^2-9)*Tw(2,0,1,2,1)+(9*x^2-5*x)*Tw(2,0,1,2,2)+(-x^2-3*x-9)*Tw(2,0,2,0,0)+(-5*x^2+5*x+3)*Tw(2,0,2,0,1)+(-6*x^2-2*x+9)*Tw(2,0,2,0,2)+(9*x^2+6*x+8)*Tw(2,0,2,1,0)+(-3+7*x)*Tw(2,0,2,1,1)+(-3*x^2-6*x+1)*Tw(2,0,2,1,2)+(-6*x^2-7*x+6)*Tw(2,0,2,2,0)+(-3*x^2-6*x-7)*Tw(2,0,0,0,1)+(-5*x^2-2*x)*Tw(2,0,0,0,2)+(6*x^2-2*x+2)*Tw(2,0,0,1,0)+(-2*x^2+5*x-1)*Tw(2,0,0,1,1)+(5*x^2+2*x+8)*Tw(2,0,0,1,2)+(-4*x^2-9*x-1)*Tw(2,0,0,2,0)+(9*x^2-x+4)*Tw(2,0,0,2,1)+(x^2+4*x+3)*Tw(2,0,0,2,2)+(2*x^2-9*x-4)*Tw(2,0,1,0,0)+(x^2+8*x-5)*Tw(2,0,1,0,1)+(7*x^2-4*x-4)*Tw(2,0,1,0,2)+(6*x^2+4*x+5)*Tw(2,0,1,1,0)+(-2*x^2+3*x-1)*Tw(1,2,1,2,0)+(-7*x^2-6*x+3)*Tw(0,0,2,2,1)+(9*x^2-5*x+9)*Tw(0,0,2,2,2)+(6*x^2-3*x+7)*Tw(0,1,0,0,0)+(-x^2-3*x+4)*Tw(0,1,0,0,1)+(6*x^2-6*x+2)*Tw(0,1,0,0,2)+(2*x^2+7*x+7)*Tw(0,1,0,1,0)+(6-6*x)*Tw(2,2,1,2,0)+(6*x^2+3*x+3)*Tw(2,2,1,2,1)+(-9*x^2-9*x+9)*Tw(2,1,2,2,2)+(2*x^2+7*x+6)*Tw(2,2,0,0,0)+(-2*x^2-8*x+1)*Tw(2,2,0,0,1)+(-8*x^2-3*x+7)*Tw(2,2,0,0,2)+(7*x^2-2)*Tw(2,2,0,1,0)+(-6*x^2-3*x+4)*Tw(2,2,0,1,1)+(-8*x^2-9*x+6)*Tw(2,2,0,1,2)+(-7*x^2-2*x-6)*Tw(2,2,0,2,0)+(-6*x^2+x-7)*Tw(2,2,0,2,1)+(x^2+4*x+8)*Tw(2,2,0,2,2)+(6*x^2+7*x+8)*Tw(2,2,1,0,0)+(4*x^2+3*x-2)*Tw(2,2,1,0,1)+(-4*x^2+x-8)*Tw(2,2,1,0,2)+(x^2-5*x+2)*Tw(2,2,1,1,0)+(-4*x^2+3*x-8)*Tw(2,1,1,1,0)+(-x^2-4*x-7)*Tw(2,1,1,1,1)+(-3*x^2+6*x+9)*Tw(2,1,1,1,2)+(2*x^2-6*x+1)*Tw(2,1,1,2,0)+(-8*x^2+7*x-9)*Tw(2,1,1,2,1)+(6*x^2+3*x+8)*Tw(2,1,1,2,2)+(x^2+9*x-1)*Tw(2,1,2,0,0)+(-9*x^2-3*x+1)*Tw(2,1,2,0,1)+(8*x^2-x-6)*Tw(2,1,2,0,2)+(-5*x^2-3*x-3)*Tw(2,1,2,1,0)+(x^2-7*x+5)*Tw(2,1,2,1,1)+(8*x^2-6*x-6)*Tw(2,1,2,1,2)+(-6*x^2-9*x+9)*Tw(2,1,2,2,0)+(-6*x^2+3*x-8)*Tw(2,1,2,2,1)+(x^2+3*x-3)*Tw(2,0,2,2,1)+(-5*x^2+9*x+9)*Tw(2,0,2,2,2)+(2*x^2-3*x+1)*Tw(2,1,0,0,0)+(-5-x)*Tw(2,1,0,0,1)+(4*x^2+7*x-1)*Tw(2,1,0,0,2)+(x^2-2*x-5)*Tw(2,1,0,1,0)+(-3*x^2-5*x-1)*Tw(2,1,0,1,1)+(-2*x^2-4)*Tw(2,1,0,1,2)+(-9*x^2+8*x+4)*Tw(0,0,0,0,0)+(6*x^2+6*x-3)*Tw(0,0,0,0,1)+(3*x^2+7*x+7)*Tw(0,0,0,0,2)+(9*x^2-7*x+6)*Tw(0,0,0,1,0)+(9*x^2+9*x+9)*Tw(0,0,0,1,1)+(-6*x^2-8*x-3)*Tw(1,0,1,2,2)+(x^2+9*x+6)*Tw(1,0,2,0,0)+(6*x^2+6*x-4)*Tw(1,0,2,0,1)+(-7*x^2+5*x+2)*Tw(1,0,2,0,2)+(3*x^2+9*x+4)*Tw(1,0,2,1,0) ], stairs = [Tw(1,1,2,2,2), Tw(2,1,2,2,2), Tw(0,2,2,2,2), Tw(1,2,2,2,2), Tw(2,2,2,2,2)] ): (* all thread-like polynomials with radom coefficients and degree d and d-1 *) (* radix 2 *) gbdacr_ex( descr = "all thread-like polynomials of degrees 2 and 1 with random coefficients in k[x]_(<= 2)", radix = 2, fns = none, gens = [ (8*x^2+x+9)*Tw(0,0)+(4*x^2+8*x+5)*Tw(0)+(-2*x^2+4)*Tw(), (2*x^2-x+3)*Tw(0,1)+(6*x^2-9*x-4)*Tw(1)+(3*x^2+4*x-3)*Tw(), (-3*x^2-7*x+4)*Tw(1,0)+(5*x^2+5*x+9)*Tw(0)+(2*x^2+9*x-2)*Tw(), (-7*x^2+7*x+7)*Tw(1,1)+(-7*x^2-5*x-5)*Tw(1)-8*Tw(), (-2*x^2+5*x-8)*Tw(0)+(-x^2-x-3)*Tw(), (-6*x^2+2*x+3)*Tw(1)+(9*x^2+5)*Tw() ], stairs = [Tw()] ): gbdacr_ex( descr = "all thread-like polynomials of degrees 3 and 2 with random coefficients in k[x]_(<= 2)", radix = 2, fns = none, gens = [ (7*x^2-7*x+7)*Tw(0,0,0)+(-3*x^2-8*x+2)*Tw(0,0)+(7*x^2-5*x-7)*Tw(0)+(5*x^2-6*x-2)*Tw(), (4*x^2+4*x-1)*Tw(0,0,1)+(7*x^2-8*x-1)*Tw(0,1)+(-7*x^2-8*x-5)*Tw(1)+(-7*x^2-x-5)*Tw(), (4*x^2+6*x+9)*Tw(0,1,0)+(-7*x^2-x+3)*Tw(1,0)+(-7*x^2-2*x-3)*Tw(0)+(-x^2+7)*Tw(), (-5*x^2-9*x-9)*Tw(0,1,1)+(9*x^2-x-1)*Tw(1,1)+(x^2+4*x+3)*Tw(1)+(2*x^2-x+8)*Tw(), (-5*x^2+7*x+8)*Tw(1,0,0)+(-x^2-5*x+2)*Tw(0,0)+(-2*x^2-8*x-9)*Tw(0)+(2*x^2-x+4)*Tw(), (3*x^2+5*x+7)*Tw(1,0,1)+(-x^2+4*x+7)*Tw(0,1)+(5*x^2-5*x+7)*Tw(1)+(-5-5*x)*Tw(), (-7*x^2-9*x-6)*Tw(1,1,0)+(4*x^2+8*x-8)*Tw(1,0)+(8*x^2-6*x+7)*Tw(0)+(8*x^2-5)*Tw(), (-9*x^2+3*x-8)*Tw(1,1,1)+(-2*x^2-8*x-5)*Tw(1,1)+(-9*x^2-7*x-8)*Tw(1)+(-8*x^2+2*x+9)*Tw(), (-6*x^2-6*x-2)*Tw(0,0)+(2*x^2+x-3)*Tw(0)+(7*x^2+8*x+4)*Tw(), (8*x^2+8*x+9)*Tw(0,1)+(2*x^2-8*x+4)*Tw(1)+(-6*x+3)*Tw(), (3*x^2-5*x-9)*Tw(1,0)+(-5*x^2-4*x+4)*Tw(0)+(4*x^2+6*x-7)*Tw(), (-2*x^2+6*x-1)*Tw(1,1)+(-x^2+4*x+4)*Tw(1)+(-7*x^2+7*x+5)*Tw() ], stairs = [Tw()] ): gbdacr_ex( descr = "all thread-like polynomials of degrees 4 and 3 with random coefficients in k[x]_(<= 2)", radix = 2, fns = none, gens = [ (-9*x^2-x+8)*Tw(0,0,0,0)+(-8*x^2+2*x-7)*Tw(0,0,0)+(7*x^2-6*x-9)*Tw(0,0)+(5*x^2+3*x-6)*Tw(0)+(5*x^2-2*x+4)*Tw(), (-5*x^2-6*x+2)*Tw(0,0,0,1)+(x^2-3*x+6)*Tw(0,0,1)+(9*x^2-7*x-8)*Tw(0,1)+(2*x^2+2*x+9)*Tw(1)+(9*x^2-6*x-3)*Tw(), (7*x^2-3*x-5)*Tw(0,0,1,0)+(-6*x^2-5*x-5)*Tw(0,1,0)+(-8*x^2+2*x+1)*Tw(1,0)+(-3-8*x)*Tw(0)+(6*x^2-8*x+3)*Tw(), (7*x^2-7*x+1)*Tw(0,0,1,1)+(x^2-4*x+6)*Tw(0,1,1)+(4*x^2+4*x+2)*Tw(1,1)+(-8*x^2-x-5)*Tw(1)+(7*x^2+2*x+3)*Tw(), (-3*x^2-3*x+7)*Tw(0,1,0,0)+(-2*x^2-7*x-2)*Tw(1,0,0)+(4*x^2+8)*Tw(0,0)+(-7*x^2+2*x-4)*Tw(0)+(-6*x^2+3*x-7)*Tw(), (5*x^2-9*x+4)*Tw(0,1,0,1)+(-6*x^2+4*x+9)*Tw(1,0,1)+(-9-3*x)*Tw(0,1)+(-5*x^2-4*x)*Tw(1)+(9*x^2+7*x-6)*Tw(), (-7*x^2+6*x-7)*Tw(0,1,1,0)+(-x^2-9*x-9)*Tw(1,1,0)+(-4*x^2+5*x+9)*Tw(1,0)+(-3*x^2-6*x-5)*Tw(0)+(-7*x^2+8*x+8)*Tw(), (-x^2-7*x-4)*Tw(0,1,1,1)+(-8*x^2-3*x-7)*Tw(1,1,1)+(4*x^2+5*x+6)*Tw(1,1)+(-9*x^2+5)*Tw(1)+7*x*Tw(), (-8*x^2+x-1)*Tw(1,0,0,0)+(7*x^2+x-6)*Tw(0,0,0)+(-4*x^2+2*x-8)*Tw(0,0)+(-2*x^2-4*x+9)*Tw(0)+(6*x^2+3*x-5)*Tw(), (-9-9*x)*Tw(1,0,0,1)+(-3*x^2-3*x+5)*Tw(0,0,1)+(4*x^2-2*x-6)*Tw(0,1)+(-2*x^2-9*x+1)*Tw(1)+(4*x^2+6*x-6)*Tw(), (-6*x^2-x-9)*Tw(1,0,1,0)+(-8*x^2-x-2)*Tw(0,1,0)+(6*x^2+4*x-4)*Tw(1,0)+(-7*x^2-4*x-9)*Tw(0)+(2*x^2+5*x+9)*Tw(), (-9*x^2+7*x+9)*Tw(1,0,1,1)+(-5*x^2-x-5)*Tw(0,1,1)+(5-7*x)*Tw(1,1)+(8*x^2-5*x+9)*Tw(1)+(-8*x^2+6*x+3)*Tw(), (5*x^2+6*x+6)*Tw(1,1,0,0)+(-4*x^2-4)*Tw(1,0,0)+(-2*x^2+6)*Tw(0,0)+(2*x^2+7*x-3)*Tw(0)+(9*x^2-8*x+5)*Tw(), (-6*x^2-8*x-9)*Tw(1,1,0,1)+(2*x^2+4*x+3)*Tw(1,0,1)+(-2*x^2+9*x-6)*Tw(0,1)+(5*x^2+4*x-1)*Tw(1)+(-6*x^2-3*x+6)*Tw(), (-6*x^2+3*x-7)*Tw(1,1,1,0)+(-5*x^2-7*x)*Tw(1,1,0)+(-x^2+6*x+2)*Tw(1,0)+(-4*x^2+6*x+9)*Tw(0)+(4*x^2-5*x+7)*Tw(), (-7*x^2+6*x+3)*Tw(1,1,1,1)+(-7*x^2-9*x-9)*Tw(1,1,1)+(4*x^2+6*x-7)*Tw(1,1)+(5*x^2-x-3)*Tw(1)+(-8*x^2+x-5)*Tw(), (-2*x^2-4*x-6)*Tw(0,0,0)+(-6+3*x)*Tw(0,0)+(7*x^2+7*x+9)*Tw(0)+(6*x^2-x+6)*Tw(), (-7+9*x)*Tw(0,0,1)+(4-9*x)*Tw(0,1)+(4*x^2+2*x+8)*Tw(1)+(-3*x^2-5*x-2)*Tw(), (3*x^2-6)*Tw(0,1,0)+(-8*x^2-x-1)*Tw(1,0)+(8*x^2-5*x+2)*Tw(0)+(7*x^2-5*x+8)*Tw(), (-6-4*x)*Tw(0,1,1)+(4*x^2+7*x-6)*Tw(1,1)+(-9*x^2+7*x+3)*Tw(1)+(9*x^2+9*x+3)*Tw(), (-3*x^2-4*x+3)*Tw(1,0,0)+(6*x^2-8*x+6)*Tw(0,0)+(-2*x^2+1)*Tw(0)+(2*x^2+2*x+3)*Tw(), (2*x^2+x-9)*Tw(1,0,1)+(7*x^2+3*x-4)*Tw(0,1)+(5*x^2+6*x+8)*Tw(1)+(-4*x^2+9*x+1)*Tw(), (3*x^2-4*x+6)*Tw(1,1,0)+(6*x^2+6*x+3)*Tw(1,0)+(-2*x^2-8*x+4)*Tw(0)+(-6*x^2+x-4)*Tw(), (3*x^2+5)*Tw(1,1,1)+(x^2-7*x-3)*Tw(1,1)+(-8*x^2+2*x+3)*Tw(1)+(-8*x^2-9*x+8)*Tw() ], stairs = [Tw()] ): gbdacr_ex( descr = "all thread-like polynomials of degrees 5 and 4 with random coefficients in k[x]_(<= 2)", radix = 2, fns = none, gens = [ (-7*x^2+9*x-8)*Tw(0,0,0,0,0)+(2*x^2-2*x-1)*Tw(0,0,0,0)+(5*x^2-6*x-7)*Tw(0,0,0)+(1-9*x)*Tw(0,0)+(3*x^2+3*x+3)*Tw(0)+(-9*x^2+5*x-5)*Tw(), (8+9*x)*Tw(0,0,0,0,1)+(-3*x^2-3)*Tw(0,0,0,1)+(-x^2+5*x+8)*Tw(0,0,1)+(8*x^2+8*x+4)*Tw(0,1)+(3*x^2-7*x+2)*Tw(1)+(-5*x^2+7*x-3)*Tw(), (5*x^2+4*x-7)*Tw(0,0,0,1,0)+(-6*x^2+8*x-9)*Tw(0,0,1,0)+(3*x^2+2)*Tw(0,1,0)+(4*x^2+2*x+7)*Tw(1,0)+(7*x^2-8*x-6)*Tw(0)+(-5*x^2-8*x)*Tw(), (-7*x^2-4*x-8)*Tw(0,0,0,1,1)+(x^2-6*x-1)*Tw(0,0,1,1)+(6*x^2-x-2)*Tw(0,1,1)+(8*x^2+7*x+9)*Tw(1,1)+(-7*x^2-3*x-2)*Tw(1)+(x^2-4*x+3)*Tw(), (4*x^2-2*x-2)*Tw(0,0,1,0,0)+(-x^2+8*x)*Tw(0,1,0,0)+(3*x^2+5*x-8)*Tw(1,0,0)+(2*x^2-2*x+7)*Tw(0,0)+(-7*x^2-3*x)*Tw(0)+(-4*x^2-4*x-1)*Tw(), (2*x^2+2)*Tw(0,0,1,0,1)+(4*x^2+x+4)*Tw(0,1,0,1)+(4*x^2+7*x-5)*Tw(1,0,1)+(-x^2-9*x)*Tw(0,1)+(-2*x^2-x+1)*Tw(1)+(2*x^2-9*x+6)*Tw(), (-8*x^2+3*x-5)*Tw(0,0,1,1,0)+(-7*x^2+6*x+5)*Tw(0,1,1,0)+(4*x^2-6*x+6)*Tw(1,1,0)+(2*x^2-9*x+3)*Tw(1,0)+(6*x^2+5*x-7)*Tw(0)+(-7*x^2-6*x-7)*Tw(), (8-7*x)*Tw(0,0,1,1,1)+(-7*x^2+8*x)*Tw(0,1,1,1)+(-4-x)*Tw(1,1,1)+(-2*x^2-5*x+4)*Tw(1,1)+(7*x^2-2)*Tw(1)+(-9*x^2+6*x+7)*Tw(), (8*x^2+6*x+5)*Tw(0,1,0,0,0)+(5*x^2-3*x-2)*Tw(1,0,0,0)+(7*x^2-8*x-6)*Tw(0,0,0)+(2*x^2-7*x+5)*Tw(0,0)+(5*x^2-6*x+6)*Tw(0)+(-9*x^2-3*x+1)*Tw(), (x^2+4*x+2)*Tw(0,1,0,0,1)+(5*x^2+9*x+5)*Tw(1,0,0,1)+(-2*x^2-8*x-6)*Tw(0,0,1)+(3*x^2-4*x+9)*Tw(0,1)+(7*x^2-6*x+3)*Tw(1)+(-5*x^2+8*x-3)*Tw(), (-x^2-6*x+4)*Tw(0,1,0,1,0)+(9*x^2+3*x)*Tw(1,0,1,0)+(4*x^2-7*x-5)*Tw(0,1,0)+(5*x^2-2*x)*Tw(1,0)+(-4*x^2+3)*Tw(0)+(3*x^2-x-4)*Tw(), (5*x^2-8*x+9)*Tw(0,1,0,1,1)+(8*x^2+x-7)*Tw(1,0,1,1)+(9*x^2-5*x+4)*Tw(0,1,1)+(-7*x^2+7*x+3)*Tw(1,1)+(-4*x^2-6*x-3)*Tw(1)+(2*x^2-7*x+1)*Tw(), (-3*x^2-8*x-3)*Tw(0,1,1,0,0)+(-3*x^2+8*x-6)*Tw(1,1,0,0)+(-9*x^2+5*x+8)*Tw(1,0,0)+(7*x^2-2*x+4)*Tw(0,0)+(9*x^2-4*x)*Tw(0)+(-6*x^2-6*x+2)*Tw(), (6*x^2-9*x-4)*Tw(0,1,1,0,1)+(-3*x^2-x-4)*Tw(1,1,0,1)+(-6*x^2+3*x-6)*Tw(1,0,1)+(2*x^2-5*x+3)*Tw(0,1)+(-5*x^2-7*x+1)*Tw(1)+(-6*x^2+3*x+1)*Tw(), (-2*x^2-8*x-4)*Tw(0,1,1,1,0)+(2*x^2-9*x-4)*Tw(1,1,1,0)+(2*x^2+9*x+6)*Tw(1,1,0)+(-3*x^2+6*x+7)*Tw(1,0)+(-x^2-8*x-6)*Tw(0)+(8-6*x)*Tw(), (9*x^2-4)*Tw(0,1,1,1,1)+(5*x^2-4*x+4)*Tw(1,1,1,1)+(x^2-2*x-5)*Tw(1,1,1)+(6*x^2+4*x+4)*Tw(1,1)+(2*x^2-8*x+2)*Tw(1)+(-8*x^2+2*x-1)*Tw(), (-5*x^2+2*x+6)*Tw(1,0,0,0,0)+(-x^2-6*x+4)*Tw(0,0,0,0)+(-8*x^2+9)*Tw(0,0,0)+(-2*x^2-8)*Tw(0,0)+(6*x^2+3*x+2)*Tw(0)+(-3*x^2-9*x+9)*Tw(), (6*x^2-x+4)*Tw(1,0,0,0,1)+(3*x^2-5*x-1)*Tw(0,0,0,1)+(-4*x^2-2*x+4)*Tw(0,0,1)+(-2*x^2+x)*Tw(0,1)+(7*x^2+2*x+9)*Tw(1)+(-6*x^2+3*x-1)*Tw(), (3*x^2-5*x-2)*Tw(1,0,0,1,0)+(-4*x^2+4*x+8)*Tw(0,0,1,0)+(-2*x^2+2*x+3)*Tw(0,1,0)+(5*x^2-2*x+4)*Tw(1,0)+(-5*x^2-8*x+4)*Tw(0)+(-x^2+9*x-1)*Tw(), (7*x^2-3*x-2)*Tw(1,0,0,1,1)+(-7*x^2+6*x+4)*Tw(0,0,1,1)+(-6*x^2+7*x+2)*Tw(0,1,1)+(-8*x^2-6*x-2)*Tw(1,1)+(7*x^2-5*x-9)*Tw(1)+(5*x^2+5*x-1)*Tw(), (-x^2+9*x+5)*Tw(1,0,1,0,0)+(x^2-5*x-4)*Tw(0,1,0,0)+(-6*x^2-2*x-9)*Tw(1,0,0)+(-7*x^2-6*x+9)*Tw(0,0)+(-6*x^2+7*x+6)*Tw(0)+(3*x^2+7*x+3)*Tw(), (2*x^2+6*x+2)*Tw(1,0,1,0,1)+(8*x^2+x+4)*Tw(0,1,0,1)+(-4*x^2+3*x+2)*Tw(1,0,1)+(7*x^2+6)*Tw(0,1)+(9*x^2+8*x+5)*Tw(1)+(-8*x^2-7*x-3)*Tw(), (7*x^2-5*x-8)*Tw(1,0,1,1,0)+(8*x^2-3*x-7)*Tw(0,1,1,0)+(9*x^2-9*x-5)*Tw(1,1,0)+(-2*x^2-8*x-2)*Tw(1,0)+(2*x^2+5*x-5)*Tw(0)+(x^2+9*x+3)*Tw(), (5*x^2-3*x+6)*Tw(1,0,1,1,1)+(9*x^2+4*x-2)*Tw(0,1,1,1)+(7*x^2+2*x+8)*Tw(1,1,1)+(-2*x^2+2*x+7)*Tw(1,1)+(x^2+9*x+2)*Tw(1)+(-6*x^2+5*x-1)*Tw(), (5*x^2-9*x-3)*Tw(1,1,0,0,0)+(9*x^2+3*x-1)*Tw(1,0,0,0)+(-9*x^2-5*x+9)*Tw(0,0,0)+(2*x^2+7*x-1)*Tw(0,0)+(-7*x^2+5*x-7)*Tw(0)+(-x^2+8*x+1)*Tw(), (8*x^2-x+6)*Tw(1,1,0,0,1)+(7*x^2+4)*Tw(1,0,0,1)+(x^2+2*x-7)*Tw(0,0,1)+(-x^2+9*x-1)*Tw(0,1)+(5*x^2+3*x-4)*Tw(1)+(5*x^2-6*x)*Tw(), (-9*x^2+6*x-7)*Tw(1,1,0,1,0)+(-2*x^2+x)*Tw(1,0,1,0)+(2*x^2-7*x-1)*Tw(0,1,0)+(-x^2-9*x-6)*Tw(1,0)+6*Tw(0)+(2*x^2+4*x+4)*Tw(), (5*x^2+8*x)*Tw(1,1,0,1,1)+(-9*x^2-5*x+5)*Tw(1,0,1,1)+(3*x^2+4*x-9)*Tw(0,1,1)+(5*x^2-3*x-1)*Tw(1,1)+(-7*x^2+7*x-1)*Tw(1)+(4-7*x)*Tw(), (-2*x^2+6*x-1)*Tw(1,1,1,0,0)+(9*x^2-3*x-8)*Tw(1,1,0,0)+(5*x^2+8*x-8)*Tw(1,0,0)+(4*x^2-3*x+6)*Tw(0,0)+(-8*x^2+6*x+1)*Tw(0)+(-2*x^2-3*x-2)*Tw(), (6*x^2+6*x-4)*Tw(1,1,1,0,1)+(-3*x^2+2*x-6)*Tw(1,1,0,1)+(-x^2+4*x+8)*Tw(1,0,1)+(9*x^2+2*x-3)*Tw(0,1)+(9*x^2+6*x)*Tw(1)+(x^2+5*x-1)*Tw(), (7*x^2+5*x+2)*Tw(1,1,1,1,0)+(-x^2-6)*Tw(1,1,1,0)+(5*x^2+2*x+2)*Tw(1,1,0)+(-x^2-4*x+1)*Tw(1,0)+(x^2+2*x+1)*Tw(0)+(4*x^2-8*x-4)*Tw(), (-8*x^2+2*x+9)*Tw(1,1,1,1,1)+(3*x^2+7*x-6)*Tw(1,1,1,1)+(-2*x^2-3*x-8)*Tw(1,1,1)+(-4*x^2+2*x+2)*Tw(1,1)+(-x^2+2*x-2)*Tw(1)+(4*x^2+5*x+1)*Tw(), (-7*x^2+8)*Tw(0,0,0,0)+(-2*x^2+5*x-1)*Tw(0,0,0)+(8*x^2+x+7)*Tw(0,0)+(-2*x^2-8*x-4)*Tw(0)+(-9*x^2+7*x-5)*Tw(), (-2*x^2+x)*Tw(0,0,0,1)+(8*x^2-4*x-4)*Tw(0,0,1)+(-9*x^2-6*x-3)*Tw(0,1)+(8*x^2-9*x+8)*Tw(1)+(5*x^2+8*x-4)*Tw(), (6*x^2+x-8)*Tw(0,0,1,0)+(9*x^2-3*x-8)*Tw(0,1,0)+(3*x^2-7*x-2)*Tw(1,0)+(-2*x^2-x+4)*Tw(0)+(-9*x^2+2*x+1)*Tw(), (6*x^2+7*x-1)*Tw(0,0,1,1)+(8*x^2-9*x-9)*Tw(0,1,1)+(6*x^2-6*x+9)*Tw(1,1)+(-9+7*x)*Tw(1)+(7*x^2-9*x+1)*Tw(), (-5-3*x)*Tw(0,1,0,0)+(-3*x^2-x)*Tw(1,0,0)+(-4*x^2-8)*Tw(0,0)+(x^2+5*x+2)*Tw(0)+(-2*x^2+6*x+2)*Tw(), (3*x^2-5*x-2)*Tw(0,1,0,1)+(-8*x^2+3*x+6)*Tw(1,0,1)+(-3*x^2+8*x+7)*Tw(0,1)+(-8*x^2+8*x+3)*Tw(1)+(-2*x^2-x-5)*Tw(), (7*x^2-3*x-5)*Tw(0,1,1,0)+(6*x^2+6*x-2)*Tw(1,1,0)+(-8*x^2+5*x+5)*Tw(1,0)+(-4*x^2-2*x+4)*Tw(0)+(8*x^2-6*x+2)*Tw(), (-7*x^2+x+2)*Tw(0,1,1,1)+(x^2-4*x-8)*Tw(1,1,1)+(-9*x^2-x+9)*Tw(1,1)+(-4*x^2+2*x+4)*Tw(1)+(x^2-8)*Tw(), (8*x^2+6*x+7)*Tw(1,0,0,0)+(9*x^2-3*x+8)*Tw(0,0,0)+(x^2-7*x-2)*Tw(0,0)+(-9*x^2-1)*Tw(0)+(8*x^2+9*x-6)*Tw(), (-3*x^2+8*x-2)*Tw(1,0,0,1)+(-3*x^2-7)*Tw(0,0,1)+(1-6*x)*Tw(0,1)+(-8*x^2+9*x-3)*Tw(1)+(6*x^2-x+7)*Tw(), (-6*x^2+x+5)*Tw(1,0,1,0)+(5*x^2+6*x+5)*Tw(0,1,0)+(-5*x^2+x+9)*Tw(1,0)+(8*x^2-6)*Tw(0)+(-7*x^2-2)*Tw(), (-8*x^2+5*x+1)*Tw(1,0,1,1)+(6*x^2-9*x+2)*Tw(0,1,1)+(4*x^2-6*x+3)*Tw(1,1)+(-4*x^2-9*x+3)*Tw(1)+(-2*x^2+9*x+8)*Tw(), (4*x^2-6*x-5)*Tw(1,1,0,0)+(-4*x^2-8*x-1)*Tw(1,0,0)+(3*x^2+x-3)*Tw(0,0)+(8*x^2+x+8)*Tw(0)+(7-9*x)*Tw(), (-5*x^2-9*x-7)*Tw(1,1,0,1)+(-7*x^2-5*x)*Tw(1,0,1)+(x^2+4*x-3)*Tw(0,1)+(8*x^2+8*x+1)*Tw(1)+(-9*x^2+2*x+4)*Tw(), (-3*x^2-2*x+8)*Tw(1,1,1,0)+(-9*x^2-5*x+8)*Tw(1,1,0)+(-2*x^2+1)*Tw(1,0)+(4*x^2+4*x-3)*Tw(0)+(7*x^2+5*x+1)*Tw(), (5*x^2-6*x-7)*Tw(1,1,1,1)+(-6*x^2+4*x-1)*Tw(1,1,1)+(x^2+3*x-4)*Tw(1,1)+(4+9*x)*Tw(1)+(9*x^2-9*x+6)*Tw() ], stairs = [Tw()] ):