If[$VersionNumber>=2.,$Messages=OutputStream["",1],$Messages={}] If[!ValueQ[Transfor`q`Private`simplify[PPP]], <Hyp`q`ph[Sort[List1],Sort[List2],q,z]); wendeAn[wExpr_,cexpr_,nummer_,formel_,text__]:=Module[{ZwExpr}, Switch[Length[formel], 1,ZwExpr=(wExpr/.formel), 2,ZwExpr=((wExpr/.formel[[1]])/.formel[[2]]), 3,ZwExpr=(((wExpr/.formel[[1]])/.formel[[2]])/.formel[[3]])]; If[(ZwExpr[[Argument[Table[1,{nummer+1}]]]]/.Hyp`q`PQSort)=== (cexpr/.Hyp`q`PQSort), Empty,{ZwExpr,text}]]; WendeAn[WExpr_,Formel_,Text__]:=Module[{ZWExpr=WExpr}, If[Head[WExpr]=!=List,ZWExpr={0,WExpr,{WExpr}}]; Map[wendeAn[#,ZWExpr[[2]],ZWExpr[[1]],Formel,Text]&,Drop[ZWExpr,2]]]; Pivot[expr_]:=If[Head[expr]=!=List,{1,expr},{expr[[1]]+1,expr[[2]]}]; ErgListe[Arg1_,Args__]:=Module[{Beg=Pivot[Arg1],EListe=Join[Args],HListe}, EListe=Select[EListe,FreeQ[#,Empty]&]; HListe=(EListe/.Sortph); HListe=Table[HListe[[i,Argument[Table[1,{Beg[[1]]+1}]]]],{i,1,Length[HListe]}]; HListe=Union[Flatten[HListe]]; HListe=Table[Position[EListe/.Sortph,HListe[[i]]][[1,1]],{i,1,Length[HListe]}]; EListe=Table[EListe[[HListe[[i]]]],{i,1,Length[HListe]}]; Join[Beg,EListe] ]; TFrage[Ph_,Trans_,Perm1__,u,Perm2__,l]:=WendeAn[Ph,{Hyp`q`phPerm[Perm1,Global`u],Hyp`q`phPerm[Perm2,Global`l],Regel[Trans]},{"phPerm"[Perm1,"u"],"phPerm"[Perm2,"l"],StringJoin["T",ToString[Trans]]}]; TFrage[Ph_,Trans_,Perm1__,u]:=WendeAn[Ph,{Hyp`q`phPerm[Perm1,Global`u],Regel[Trans]},{"phPerm"[Perm1,"u"],StringJoin["T",ToString[Trans]]}]; TFrage[Ph_,Trans_,Perm1__,l]:=WendeAn[Ph,{Hyp`q`phPerm[Perm1,Global`l],Regel[Trans]},{"phPerm"[Perm1,"l"],StringJoin["T",ToString[Trans]]}]; TFrage[Ph_,Trans_,Perm1__,b]:=WendeAn[Ph,{Hyp`q`phPerm[Perm1,Global`b],Regel[Trans]},{"phPerm"[Perm1,"b"],StringJoin["T",ToString[Trans]]}]; TFrage[Ph_,Trans_]:=WendeAn[Ph,{Regel[Trans]},StringJoin["T",ToString[Trans]]]; Tli2101:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2101], TFrage[Expr,2101,2,1,u]]); Tli2102:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2102], TFrage[Expr,2102,2,1,u]]); Tli2103:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2103]]); Tli2104:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2104], TFrage[Expr,2104,2,1,u]]); Tli2105:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2105], TFrage[Expr,2105,2,1,u]]); Tli2106:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2106], TFrage[Expr,2106,2,1,u]]); Tli2107:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2107], TFrage[Expr,2107,2,1,u]]); Tli2108:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2108], TFrage[Expr,2108,2,1,u]]); Tli2109:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2109], TFrage[Expr,2109,2,1,u]]); Tli2110:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2110], TFrage[Expr,2110,2,1,u]]); Tli2111:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2111], TFrage[Expr,2111,2,1,u]]); Tli2112:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2112,2,1,u]]); Tli2161:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2161], TFrage[Expr,2161,2,1,u]]); Tli2162:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2162], TFrage[Expr,2162,2,1,u]]); Tli2163:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2163], TFrage[Expr,2163,2,1,u]]); Tli2201:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2201], TFrage[Expr,2201,2,1,u], TFrage[Expr,2201,2,1,l], TFrage[Expr,2201,2,1,u,2,1,l]]); Tli2202:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2202], TFrage[Expr,2202,2,1,u]]); Tli3101:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3101], TFrage[Expr,3101,1,3,2,u], TFrage[Expr,3101,2,1,3,u], TFrage[Expr,3101,2,3,1,u], TFrage[Expr,3101,3,1,2,u], TFrage[Expr,3101,3,2,1,u]]); Tli3201:=(Expr_ :>Module[{ZWEXPR}, ZWEXPR=Expr/.{(Hyp`q`ph[{a_,b_,c_},{d_,e_},q_,z_]:>Hyp`q`ph[{a,c,b},{d,e},q,z]/; c=!=0&&b===0), (Hyp`q`ph[{a_,b_,c_},{d_,e_},q_,z_]:>Hyp`q`ph[{c,b,a},{d,e},q,z]/; c=!=0&&a===0)}; ErgListe[Expr, TFrage[ZWEXPR,3201], TFrage[ZWEXPR,3201,2,1,3,u], TFrage[ZWEXPR,3201,2,1,l], TFrage[ZWEXPR,3201,2,1,3,u,2,1,l]]]); Tli3202:=(Expr_ :>Module[{ZWEXPR}, ZWEXPR=Expr/.(Hyp`q`ph[{a_,b_,c_},{d_,e_},q_,z_]:>Hyp`q`ph[{a,b,c},{e,d},q,z]/; e=!=0&&d===0); ErgListe[Expr, TFrage[ZWEXPR,3202], TFrage[ZWEXPR,3202,1,3,2,u], TFrage[ZWEXPR,3202,2,1,3,u], TFrage[ZWEXPR,3202,2,3,1,u], TFrage[ZWEXPR,3202,3,1,2,u], TFrage[ZWEXPR,3202,3,2,1,u]]]); Tli3203:=(Expr_ :>Module[{ZWEXPR}, ZWEXPR=Expr/.(Hyp`q`ph[{a_,b_,c_},{d_,e_},q_,z_]:>Hyp`q`ph[{a,b,c},{e,d},q,z]/; e=!=0&&d===0); ErgListe[Expr, TFrage[ZWEXPR,3203], TFrage[ZWEXPR,3203,1,3,2,u], TFrage[ZWEXPR,3203,2,1,3,u], TFrage[ZWEXPR,3203,2,3,1,u], TFrage[ZWEXPR,3203,3,1,2,u], TFrage[ZWEXPR,3203,3,2,1,u]]]); Tli3204:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3204], TFrage[Expr,3204,2,1,3,u], TFrage[Expr,3204,3,1,2,u], TFrage[Expr,3204,2,1,l], TFrage[Expr,3204,2,1,3,u,2,1,l], TFrage[Expr,3204,3,1,2,u,2,1,l]]); Tli3205:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3205], TFrage[Expr,3205,2,1,3,u], TFrage[Expr,3205,2,3,1,u], TFrage[Expr,3205,2,1,l], TFrage[Expr,3205,2,1,3,u,2,1,l], TFrage[Expr,3205,2,3,1,u,2,1,l]]); Tli3206:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3206], TFrage[Expr,3206,2,1,3,u], TFrage[Expr,3206,2,3,1,u], TFrage[Expr,3206,2,1,l], TFrage[Expr,3206,2,1,3,u,2,1,l], TFrage[Expr,3206,2,3,1,u,2,1,l]]); Tli3207:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3207], TFrage[Expr,3207,1,3,2,u], TFrage[Expr,3207,2,1,3,u], TFrage[Expr,3207,3,1,2,u], TFrage[Expr,3207,2,3,1,u], TFrage[Expr,3207,3,2,1,u], TFrage[Expr,3207,2,1,l], TFrage[Expr,3207,1,3,2,u,2,1,l], TFrage[Expr,3207,2,1,3,u,2,1,l], TFrage[Expr,3207,3,1,2,u,2,1,l], TFrage[Expr,3207,2,3,1,u,2,1,l], TFrage[Expr,3207,3,2,1,u,2,1,l]]); Tli3208:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3208], TFrage[Expr,3208,1,3,2,u], TFrage[Expr,3208,2,1,3,u], TFrage[Expr,3208,3,1,2,u], TFrage[Expr,3208,2,3,1,u], TFrage[Expr,3208,3,2,1,u], TFrage[Expr,3208,2,1,l], TFrage[Expr,3208,1,3,2,u,2,1,l], TFrage[Expr,3208,2,1,3,u,2,1,l], TFrage[Expr,3208,3,1,2,u,2,1,l], TFrage[Expr,3208,2,3,1,u,2,1,l], TFrage[Expr,3208,3,2,1,u,2,1,l]]); Tli3209:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3209], TFrage[Expr,3209,1,3,2,b]]); Tli3210:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3210], TFrage[Expr,3210,1,3,2,u], TFrage[Expr,3210,2,1,3,u], TFrage[Expr,3210,3,1,2,u], TFrage[Expr,3210,2,3,1,u], TFrage[Expr,3210,3,2,1,u]]); Tli3211:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3211]]); Tli3212:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3212]]); Tli3213:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3213]]); Tli3214:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3214]]); Tli3215:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3215]]); Tli3216:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3216]]); Tli3217:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3217], TFrage[Expr,3217,2,1,3,u], TFrage[Expr,3217,3,1,2,u]]); Tli3261:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3261], TFrage[Expr,3261,1,3,2,u], TFrage[Expr,3261,2,1,3,u], TFrage[Expr,3261,3,1,2,u], TFrage[Expr,3261,2,3,1,u], TFrage[Expr,3261,3,2,1,u], TFrage[Expr,3261,2,1,l], TFrage[Expr,3261,1,3,2,u,2,1,l], TFrage[Expr,3261,2,1,3,u,2,1,l], TFrage[Expr,3261,3,1,2,u,2,1,l], TFrage[Expr,3261,2,3,1,u,2,1,l], TFrage[Expr,3261,3,2,1,u,2,1,l]]); Tli3262:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3262], TFrage[Expr,3262,2,1,3,u], TFrage[Expr,3262,3,1,2,u], TFrage[Expr,3262,2,1,l], TFrage[Expr,3262,2,1,3,u,2,1,l], TFrage[Expr,3262,3,1,2,u,2,1,l]]); Tli3263:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3263]]); Tli3264:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3264]]); Tli3265:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3265]]); Tli3266:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3266]]); Tli3267:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3267], TFrage[Expr,3267,2,1,3,u], TFrage[Expr,3267,3,1,2,u], TFrage[Expr,3267,2,1,l], TFrage[Expr,3267,2,1,3,u,2,1,l], TFrage[Expr,3267,3,1,2,u,2,1,l]]); Tli3268:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3268], TFrage[Expr,3268,1,3,2,u], TFrage[Expr,3268,2,1,3,u], TFrage[Expr,3268,3,1,2,u], TFrage[Expr,3268,2,3,1,u], TFrage[Expr,3268,3,2,1,u]]); Tli3269:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3269], TFrage[Expr,3269,2,1,3,u], TFrage[Expr,3269,2,1,l], TFrage[Expr,3269,2,1,3,u,2,1,l]]); Tli4201:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4201]]); Tli4301:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4301], TFrage[Expr,4301,4,2,3,1,u], TFrage[Expr,4301,1,2,4,3,u], TFrage[Expr,4301,3,2,4,1,u], TFrage[Expr,4301,1,3,4,2,u], TFrage[Expr,4301,2,3,4,1,u], TFrage[Expr,4301,2,1,3,4,u], TFrage[Expr,4301,4,1,3,2,u], TFrage[Expr,4301,2,1,4,3,u], TFrage[Expr,4301,3,1,4,2,u], TFrage[Expr,4301,3,1,2,4,u], TFrage[Expr,4301,4,1,2,3,u], TFrage[Expr,4301,1,3,2,l], TFrage[Expr,4301,4,2,3,1,u,1,3,2,l], TFrage[Expr,4301,1,2,4,3,u,1,3,2,l], TFrage[Expr,4301,3,2,4,1,u,1,3,2,l], TFrage[Expr,4301,1,3,4,2,u,1,3,2,l], TFrage[Expr,4301,2,3,4,1,u,1,3,2,l], TFrage[Expr,4301,2,1,3,4,u,1,3,2,l], TFrage[Expr,4301,4,1,3,2,u,1,3,2,l], TFrage[Expr,4301,2,1,4,3,u,1,3,2,l], TFrage[Expr,4301,3,1,4,2,u,1,3,2,l], TFrage[Expr,4301,3,1,2,4,u,1,3,2,l], TFrage[Expr,4301,4,1,2,3,u,1,3,2,l], TFrage[Expr,4301,2,3,1,l], TFrage[Expr,4301,4,2,3,1,u,2,3,1,l], TFrage[Expr,4301,1,2,4,3,u,2,3,1,l], TFrage[Expr,4301,3,2,4,1,u,2,3,1,l], TFrage[Expr,4301,1,3,4,2,u,2,3,1,l], TFrage[Expr,4301,2,3,4,1,u,2,3,1,l], TFrage[Expr,4301,2,1,3,4,u,2,3,1,l], TFrage[Expr,4301,4,1,3,2,u,2,3,1,l], TFrage[Expr,4301,2,1,4,3,u,2,3,1,l], TFrage[Expr,4301,3,1,4,2,u,2,3,1,l], TFrage[Expr,4301,3,1,2,4,u,2,3,1,l], TFrage[Expr,4301,4,1,2,3,u,2,3,1,l]]); Tli4302:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4302], TFrage[Expr,4302,4,2,3,1,u], TFrage[Expr,4302,1,2,4,3,u], TFrage[Expr,4302,3,2,4,1,u], TFrage[Expr,4302,1,3,4,2,u], TFrage[Expr,4302,2,3,4,1,u], TFrage[Expr,4302,2,1,3,4,u], TFrage[Expr,4302,4,1,3,2,u], TFrage[Expr,4302,2,1,4,3,u], TFrage[Expr,4302,3,1,4,2,u], TFrage[Expr,4302,3,1,2,4,u], TFrage[Expr,4302,4,1,2,3,u], TFrage[Expr,4302,1,3,2,l], TFrage[Expr,4302,4,2,3,1,u,1,3,2,l], TFrage[Expr,4302,1,2,4,3,u,1,3,2,l], TFrage[Expr,4302,3,2,4,1,u,1,3,2,l], TFrage[Expr,4302,1,3,4,2,u,1,3,2,l], TFrage[Expr,4302,2,3,4,1,u,1,3,2,l], TFrage[Expr,4302,2,1,3,4,u,1,3,2,l], TFrage[Expr,4302,4,1,3,2,u,1,3,2,l], TFrage[Expr,4302,2,1,4,3,u,1,3,2,l], TFrage[Expr,4302,3,1,4,2,u,1,3,2,l], TFrage[Expr,4302,3,1,2,4,u,1,3,2,l], TFrage[Expr,4302,4,1,2,3,u,1,3,2,l], TFrage[Expr,4302,2,3,1,l], TFrage[Expr,4302,4,2,3,1,u,2,3,1,l], TFrage[Expr,4302,1,2,4,3,u,2,3,1,l], TFrage[Expr,4302,3,2,4,1,u,2,3,1,l], TFrage[Expr,4302,1,3,4,2,u,2,3,1,l], TFrage[Expr,4302,2,3,4,1,u,2,3,1,l], TFrage[Expr,4302,2,1,3,4,u,2,3,1,l], TFrage[Expr,4302,4,1,3,2,u,2,3,1,l], TFrage[Expr,4302,2,1,4,3,u,2,3,1,l], TFrage[Expr,4302,3,1,4,2,u,2,3,1,l], TFrage[Expr,4302,3,1,2,4,u,2,3,1,l], TFrage[Expr,4302,4,1,2,3,u,2,3,1,l]]); Tli4303:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4303], TFrage[Expr,4303,4,2,3,1,u], TFrage[Expr,4303,1,2,4,3,u], TFrage[Expr,4303,3,2,4,1,u], TFrage[Expr,4303,1,3,4,2,u], TFrage[Expr,4303,2,3,4,1,u], TFrage[Expr,4303,2,1,3,4,u], TFrage[Expr,4303,4,1,3,2,u], TFrage[Expr,4303,2,1,4,3,u], TFrage[Expr,4303,3,1,4,2,u], TFrage[Expr,4303,3,1,2,4,u], TFrage[Expr,4303,4,1,2,3,u], TFrage[Expr,4303,1,3,2,l], TFrage[Expr,4303,4,2,3,1,u,1,3,2,l], TFrage[Expr,4303,1,2,4,3,u,1,3,2,l], TFrage[Expr,4303,3,2,4,1,u,1,3,2,l], TFrage[Expr,4303,1,3,4,2,u,1,3,2,l], TFrage[Expr,4303,2,3,4,1,u,1,3,2,l], TFrage[Expr,4303,2,1,3,4,u,1,3,2,l], TFrage[Expr,4303,4,1,3,2,u,1,3,2,l], TFrage[Expr,4303,2,1,4,3,u,1,3,2,l], TFrage[Expr,4303,3,1,4,2,u,1,3,2,l], TFrage[Expr,4303,3,1,2,4,u,1,3,2,l], TFrage[Expr,4303,4,1,2,3,u,1,3,2,l], TFrage[Expr,4303,2,3,1,l], TFrage[Expr,4303,4,2,3,1,u,2,3,1,l], TFrage[Expr,4303,1,2,4,3,u,2,3,1,l], TFrage[Expr,4303,3,2,4,1,u,2,3,1,l], TFrage[Expr,4303,1,3,4,2,u,2,3,1,l], TFrage[Expr,4303,2,3,4,1,u,2,3,1,l], TFrage[Expr,4303,2,1,3,4,u,2,3,1,l], TFrage[Expr,4303,4,1,3,2,u,2,3,1,l], TFrage[Expr,4303,2,1,4,3,u,2,3,1,l], TFrage[Expr,4303,3,1,4,2,u,2,3,1,l], TFrage[Expr,4303,3,1,2,4,u,2,3,1,l], TFrage[Expr,4303,4,1,2,3,u,2,3,1,l]]); Tli4304:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4304], TFrage[Expr,4304,4,2,3,1,u], TFrage[Expr,4304,1,2,4,3,u], TFrage[Expr,4304,3,2,4,1,u], TFrage[Expr,4304,1,3,4,2,u], TFrage[Expr,4304,2,3,4,1,u], TFrage[Expr,4304,2,1,3,4,u], TFrage[Expr,4304,4,1,3,2,u], TFrage[Expr,4304,2,1,4,3,u], TFrage[Expr,4304,3,1,4,2,u], TFrage[Expr,4304,3,1,2,4,u], TFrage[Expr,4304,4,1,2,3,u], TFrage[Expr,4304,1,3,2,l], TFrage[Expr,4304,4,2,3,1,u,1,3,2,l], TFrage[Expr,4304,1,2,4,3,u,1,3,2,l], TFrage[Expr,4304,3,2,4,1,u,1,3,2,l], TFrage[Expr,4304,1,3,4,2,u,1,3,2,l], TFrage[Expr,4304,2,3,4,1,u,1,3,2,l], TFrage[Expr,4304,2,1,3,4,u,1,3,2,l], TFrage[Expr,4304,4,1,3,2,u,1,3,2,l], TFrage[Expr,4304,2,1,4,3,u,1,3,2,l], TFrage[Expr,4304,3,1,4,2,u,1,3,2,l], TFrage[Expr,4304,3,1,2,4,u,1,3,2,l], TFrage[Expr,4304,4,1,2,3,u,1,3,2,l], TFrage[Expr,4304,2,3,1,l], TFrage[Expr,4304,4,2,3,1,u,2,3,1,l], TFrage[Expr,4304,1,2,4,3,u,2,3,1,l], TFrage[Expr,4304,3,2,4,1,u,2,3,1,l], TFrage[Expr,4304,1,3,4,2,u,2,3,1,l], TFrage[Expr,4304,2,3,4,1,u,2,3,1,l], TFrage[Expr,4304,2,1,3,4,u,2,3,1,l], TFrage[Expr,4304,4,1,3,2,u,2,3,1,l], TFrage[Expr,4304,2,1,4,3,u,2,3,1,l], TFrage[Expr,4304,3,1,4,2,u,2,3,1,l], TFrage[Expr,4304,3,1,2,4,u,2,3,1,l], TFrage[Expr,4304,4,1,2,3,u,2,3,1,l]]); Tli4305:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4305]]); Tli4306:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4306]]); Tli4307:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4307]]); Tli4308:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4308]]); Tli4309:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4309]]); Tli4310:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4310]]); Tli4311:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4311]]); Tli4312:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4312]]); Tli4361:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4361]]); Tli4362:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4362]]); Tli5401:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5401]]); Tli5402:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5402]]); Tli5403:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5403]]); Tli5404:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5404]]); Tli5405:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5405]]); Tli5461:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5461]]); Tli5462:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5462]]); Tli5463:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5463]]); Tli5464:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5464]]); Tli5465:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5465]]); Tli5466:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5466]]); Tli5467:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5467], TFrage[Expr,5467,1,3,2,l], TFrage[Expr,5467,2,3,1,l]]); Tli5468:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5468], TFrage[Expr,5468,1,2,4,3,b], TFrage[Expr,5468,1,3,4,2,b], TFrage[Expr,5468,2,3,4,1,b]]); Tli5469:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5469]]); Tli6501:=(Expr_ :>ErgListe[Expr, TFrage[Expr,6501]]); Tli7601:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7601]]); Tli7701:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7701], TFrage[Expr,7701,1,2,3,5,4,6,b], TFrage[Expr,7701,1,2,3,6,4,5,b], TFrage[Expr,7701,1,2,4,5,3,6,b], TFrage[Expr,7701,1,2,4,6,3,5,b], TFrage[Expr,7701,1,2,5,6,3,4,b]]); Tli8701:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8701], TFrage[Expr,8701,1,2,3,5,4,6,7,b], TFrage[Expr,8701,1,2,3,6,4,5,7,b], TFrage[Expr,8701,1,2,3,7,4,5,6,b], TFrage[Expr,8701,1,2,4,5,3,6,7,b], TFrage[Expr,8701,1,2,4,6,3,5,7,b], TFrage[Expr,8701,1,2,4,7,3,5,6,b], TFrage[Expr,8701,1,2,5,6,3,4,7,b], TFrage[Expr,8701,1,2,5,7,3,4,6,b], TFrage[Expr,8701,1,2,6,7,3,4,5,b]]); Tli8702:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8702], TFrage[Expr,8702,1,2,3,4,6,7,5,b], TFrage[Expr,8702,1,2,3,4,5,7,6,b], TFrage[Expr,8702,1,2,3,5,4,6,7,b], TFrage[Expr,8702,1,2,3,5,6,7,4,b], TFrage[Expr,8702,1,2,3,5,4,7,6,b], TFrage[Expr,8702,1,2,3,6,4,5,7,b], TFrage[Expr,8702,1,2,3,6,5,7,4,b], TFrage[Expr,8702,1,2,3,6,4,7,5,b], TFrage[Expr,8702,1,2,3,7,4,5,6,b], TFrage[Expr,8702,1,2,3,7,5,6,4,b], TFrage[Expr,8702,1,2,3,7,4,6,5,b], TFrage[Expr,8702,1,2,4,5,3,6,7,b], TFrage[Expr,8702,1,2,4,5,6,7,3,b], TFrage[Expr,8702,1,2,4,5,3,7,6,b], TFrage[Expr,8702,1,2,4,6,3,5,7,b], TFrage[Expr,8702,1,2,4,6,5,7,3,b], TFrage[Expr,8702,1,2,4,6,3,7,5,b], TFrage[Expr,8702,1,2,4,7,3,5,6,b], TFrage[Expr,8702,1,2,4,7,5,6,3,b], TFrage[Expr,8702,1,2,4,7,3,6,5,b], TFrage[Expr,8702,1,2,5,6,3,4,7,b], TFrage[Expr,8702,1,2,5,6,4,7,3,b], TFrage[Expr,8702,1,2,5,6,3,7,4,b], TFrage[Expr,8702,1,2,5,7,3,4,6,b], TFrage[Expr,8702,1,2,5,7,4,6,3,b], TFrage[Expr,8702,1,2,5,7,3,6,4,b], TFrage[Expr,8702,1,2,6,7,3,4,5,b], TFrage[Expr,8702,1,2,6,7,4,5,3,b], TFrage[Expr,8702,1,2,6,7,3,5,4,b]]); Tli8703:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8703], TFrage[Expr,8703,1,2,3,4,5,7,6,b], TFrage[Expr,8703,1,2,3,4,6,5,7,b], TFrage[Expr,8703,1,2,3,4,6,7,5,b], TFrage[Expr,8703,1,2,3,4,7,5,6,b], TFrage[Expr,8703,1,2,3,4,7,6,5,b], TFrage[Expr,8703,1,2,3,5,6,4,7,b], TFrage[Expr,8703,1,2,3,5,6,7,4,b], TFrage[Expr,8703,1,2,3,5,7,4,6,b], TFrage[Expr,8703,1,2,3,5,7,6,4,b], TFrage[Expr,8703,1,2,3,6,7,4,5,b], TFrage[Expr,8703,1,2,3,6,7,5,4,b], TFrage[Expr,8703,1,2,4,5,6,3,7,b], TFrage[Expr,8703,1,2,4,5,6,7,3,b], TFrage[Expr,8703,1,2,4,5,7,3,6,b], TFrage[Expr,8703,1,2,4,5,7,6,3,b], TFrage[Expr,8703,1,2,4,6,7,3,5,b], TFrage[Expr,8703,1,2,4,6,7,5,3,b], TFrage[Expr,8703,1,2,5,6,7,3,4,b], TFrage[Expr,8703,1,2,5,6,7,4,3,b]]); Tli8704:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8704], TFrage[Expr,8704,1,2,3,4,6,5,7,b], TFrage[Expr,8704,1,2,3,4,7,5,6,b], TFrage[Expr,8704,1,2,3,5,6,4,7,b], TFrage[Expr,8704,1,2,3,5,7,4,6,b], TFrage[Expr,8704,1,2,3,6,7,4,5,b], TFrage[Expr,8704,1,2,4,5,6,3,7,b], TFrage[Expr,8704,1,2,4,5,7,3,6,b], TFrage[Expr,8704,1,2,4,6,7,3,5,b], TFrage[Expr,8704,1,2,5,6,7,3,4,b]]); Tli8705:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8705], TFrage[Expr,8705,1,2,4,3,5,6,7,b], TFrage[Expr,8705,1,2,5,3,4,6,7,b], TFrage[Expr,8705,1,2,3,4,6,5,7,b], TFrage[Expr,8705,1,2,4,3,6,5,7,b], TFrage[Expr,8705,1,2,6,3,4,5,7,b], TFrage[Expr,8705,1,2,3,4,7,5,6,b], TFrage[Expr,8705,1,2,4,3,7,5,6,b], TFrage[Expr,8705,1,2,7,3,4,5,6,b], TFrage[Expr,8705,1,2,3,5,6,4,7,b], TFrage[Expr,8705,1,2,5,3,6,4,7,b], TFrage[Expr,8705,1,2,6,3,5,4,7,b], TFrage[Expr,8705,1,2,3,5,7,4,6,b], TFrage[Expr,8705,1,2,5,3,7,4,6,b], TFrage[Expr,8705,1,2,7,3,5,4,6,b], TFrage[Expr,8705,1,2,3,6,7,4,5,b], TFrage[Expr,8705,1,2,6,3,7,4,5,b], TFrage[Expr,8705,1,2,7,3,6,4,5,b], TFrage[Expr,8705,1,2,4,5,6,3,7,b], TFrage[Expr,8705,1,2,5,4,6,3,7,b], TFrage[Expr,8705,1,2,6,4,5,3,7,b], TFrage[Expr,8705,1,2,4,5,7,3,6,b], TFrage[Expr,8705,1,2,5,4,7,3,6,b], TFrage[Expr,8705,1,2,7,4,5,3,6,b], TFrage[Expr,8705,1,2,4,6,7,3,5,b], TFrage[Expr,8705,1,2,6,4,7,3,5,b], TFrage[Expr,8705,1,2,7,4,6,3,5,b], TFrage[Expr,8705,1,2,5,6,7,3,4,b], TFrage[Expr,8705,1,2,6,5,7,3,4,b], TFrage[Expr,8705,1,2,7,5,6,3,4,b]]); Tli8706:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8706]]); Tli8707:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8707]]); Tli8708:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8708]]); Tli8709:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8709]]); Tli8710:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8710,1,2,3,6,7,4,5,b], TFrage[Expr,8710]]); Tli8711:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8711,1,2,5,6,3,4,7,b], TFrage[Expr,8711]]); Tli8761:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8761], TFrage[Expr,8761,1,2,3,5,4,6,7,b], TFrage[Expr,8761,1,2,3,6,4,5,7,b], TFrage[Expr,8761,1,2,3,7,4,5,6,b], TFrage[Expr,8761,1,2,4,5,3,6,7,b], TFrage[Expr,8761,1,2,4,6,3,5,7,b], TFrage[Expr,8761,1,2,4,7,3,5,6,b], TFrage[Expr,8761,1,2,5,6,3,4,7,b], TFrage[Expr,8761,1,2,5,7,3,4,6,b], TFrage[Expr,8761,1,2,6,7,3,4,5,b]]); Tli8762:=(Expr_ :>(Print["This does not make sense. There are 60 possibilities!"]; ErgListe[Expr, TFrage[Expr,8762]])); Tli8763:=(Expr_ :>(Print["This does not make sense. There are 60 possibilities!"]; ErgListe[Expr, TFrage[Expr,8763]])); Tli8764:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8764], TFrage[Expr,8764,1,2,3,5,4,6,7,b], TFrage[Expr,8764,1,2,3,6,4,5,7,b], TFrage[Expr,8764,1,2,3,7,4,5,6,b], TFrage[Expr,8764,1,2,4,5,3,6,7,b], TFrage[Expr,8764,1,2,4,6,3,5,7,b], TFrage[Expr,8764,1,2,4,7,3,5,6,b], TFrage[Expr,8764,1,2,5,6,3,4,7,b], TFrage[Expr,8764,1,2,5,7,3,4,6,b], TFrage[Expr,8764,1,2,6,7,3,4,5,b]]); Tli10901:=(Expr_ :>(Print["This does not make sense. There are 120 possibilities!"]; ErgListe[Expr, TFrage[Expr,10901]])); Tli10902:=(Expr_ :>ErgListe[Expr, TFrage[Expr,10902]]); Tli10903:=(Expr_ :>ErgListe[Expr, TFrage[Expr,10903], TFrage[Expr,10903,1,2,3,4,5,6,7,9,8,b], TFrage[Expr,10903,1,2,3,4,5,6,8,9,7,b], TFrage[Expr,10903,1,2,3,4,5,7,8,9,6,b], TFrage[Expr,10903,1,2,3,4,6,7,8,9,5,b], TFrage[Expr,10903,1,2,3,5,6,7,8,9,4,b], TFrage[Expr,10903,1,2,4,3,5,6,7,8,9,b], TFrage[Expr,10903,1,2,4,3,5,6,7,9,8,b], TFrage[Expr,10903,1,2,4,3,5,6,8,9,7,b], TFrage[Expr,10903,1,2,4,3,5,7,8,9,6,b], TFrage[Expr,10903,1,2,4,3,6,7,8,9,5,b], TFrage[Expr,10903,1,2,4,5,6,7,8,9,3,b], TFrage[Expr,10903,1,2,5,3,4,6,7,8,9,b], TFrage[Expr,10903,1,2,5,3,4,6,7,9,8,b], TFrage[Expr,10903,1,2,5,3,4,6,8,9,7,b], TFrage[Expr,10903,1,2,5,3,4,7,8,9,6,b], TFrage[Expr,10903,1,2,5,3,6,7,8,9,4,b], TFrage[Expr,10903,1,2,5,4,6,7,8,9,3,b], TFrage[Expr,10903,1,2,6,3,4,5,7,8,9,b], TFrage[Expr,10903,1,2,6,3,4,5,7,9,8,b], TFrage[Expr,10903,1,2,6,3,4,5,8,9,7,b], TFrage[Expr,10903,1,2,6,3,4,7,8,9,5,b], TFrage[Expr,10903,1,2,6,3,5,7,8,9,4,b], TFrage[Expr,10903,1,2,6,4,5,7,8,9,3,b], TFrage[Expr,10903,1,2,7,3,4,5,6,8,9,b], TFrage[Expr,10903,1,2,7,3,4,5,6,9,8,b], TFrage[Expr,10903,1,2,7,3,4,5,8,9,6,b], TFrage[Expr,10903,1,2,7,3,4,6,8,9,5,b], TFrage[Expr,10903,1,2,7,3,5,6,8,9,4,b], TFrage[Expr,10903,1,2,7,4,5,6,8,9,4,b], TFrage[Expr,10903,1,2,8,3,4,5,6,7,9,b], TFrage[Expr,10903,1,2,8,3,4,5,6,9,7,b], TFrage[Expr,10903,1,2,8,3,4,5,7,9,6,b], TFrage[Expr,10903,1,2,8,3,4,6,7,9,5,b], TFrage[Expr,10903,1,2,8,3,5,6,7,9,4,b], TFrage[Expr,10903,1,2,8,4,5,6,7,9,3,b], TFrage[Expr,10903,1,2,9,3,4,5,6,7,8,b], TFrage[Expr,10903,1,2,9,3,4,5,6,8,7,b], TFrage[Expr,10903,1,2,9,3,4,5,7,8,6,b], TFrage[Expr,10903,1,2,9,3,4,6,7,8,5,b], TFrage[Expr,10903,1,2,9,3,5,6,7,8,4,b], TFrage[Expr,10903,1,2,9,4,5,6,7,8,3,b]]); Tli10904:=(Expr_ :>ErgListe[Expr, TFrage[Expr,10904]]); Tli10905:=(Expr_ :>ErgListe[Expr, TFrage[Expr,10905]]); Tli10906:=(Expr_ :>ErgListe[Expr, TFrage[Expr,10906]]); Tli10907:=(Expr_ :>ErgListe[Expr, TFrage[Expr,10907], TFrage[Expr,10907,1,2,3,4,5,6,8,7,9,b], TFrage[Expr,10907,1,2,3,4,5,7,8,6,9,b], TFrage[Expr,10907,1,2,3,4,6,7,8,5,9,b]]); Tli10961:=(Expr_ :>(Print["This does not make sense. There are 120 possibilities!"]; ErgListe[Expr, TFrage[Expr,10961]])); Tli10962:=(Expr_ :>ErgListe[Expr, TFrage[Expr,10962]]); Tli109063:=(Expr_ :>(Print["This does not make sense. There are 630 possibilities!"]; ErgListe[Expr, TFrage[Expr,109063]])); Tli121101:=(Expr_ :>ErgListe[Expr, TFrage[Expr,121101]]); Tli121102:=(Expr_ :>ErgListe[Expr, TFrage[Expr,121102], TFrage[Expr,121102,1,2,3,4,5,6,7,8,9,11,10,b]]); Tli121103:=(Expr_ :>ErgListe[Expr, TFrage[Expr,121103]]); Tli121104:=(Expr_ :>ErgListe[Expr, TFrage[Expr,121104]]); Tli121105:=(Expr_ :>ErgListe[Expr, TFrage[Expr,121105]]); Tli121106:=(Expr_ :>ErgListe[Expr, TFrage[Expr,121106]]); Tli121161:=(Expr_ :>ErgListe[Expr, TFrage[Expr,121161], TFrage[Expr,121161,1,2,3,4,5,6,7,8,9,11,10,b]]); Regel[2101]:=Transfor`q`T2101; Regel[2102]:=Transfor`q`T2102; Regel[2103]:=Transfor`q`T2103; Regel[2104]:=Transfor`q`T2104; Regel[2105]:=Transfor`q`T2105; Regel[2201]:=Transfor`q`T2201; Regel[3201]:=Transfor`q`T3201; Regel[2106]:=Transfor`q`T2106; Regel[2107]:=Transfor`q`T2107; Regel[2108]:=Transfor`q`T2108; Regel[3202]:=Transfor`q`T3202; Regel[3203]:=Transfor`q`T3203; Regel[3101]:=Transfor`q`T3101; Regel[3204]:=Transfor`q`T3204; Regel[3205]:=Transfor`q`T3205; Regel[3206]:=Transfor`q`T3206; Regel[3207]:=Transfor`q`T3207; Regel[3208]:=Transfor`q`T3208; Regel[3209]:=Transfor`q`T3209; Regel[4301]:=Transfor`q`T4301; Regel[4302]:=Transfor`q`T4302; Regel[8701]:=Transfor`q`T8701; Regel[8702]:=Transfor`q`T8702; Regel[4303]:=Transfor`q`T4303; Regel[4304]:=Transfor`q`T4304; Regel[8703]:=Transfor`q`T8703; Regel[4305]:=Transfor`q`T4305; Regel[4306]:=Transfor`q`T4306; Regel[8704]:=Transfor`q`T8704; Regel[8705]:=Transfor`q`T8705; Regel[5401]:=Transfor`q`T5401; Regel[121101]:=Transfor`q`T121101; Regel[5402]:=Transfor`q`T5402; Regel[121102]:=Transfor`q`T121102; Regel[7601]:=Transfor`q`T7601; Regel[7701]:=Transfor`q`T7701; Regel[121103]:=Transfor`q`T121103; Regel[10901]:=Transfor`q`T10901; Regel[2161]:=Transfor`q`T2161; Regel[2162]:=Transfor`q`T2162; Regel[3261]:=Transfor`q`T3261; Regel[3262]:=Transfor`q`T3262; Regel[3263]:=Transfor`q`T3263; Regel[3264]:=Transfor`q`T3264; Regel[3265]:=Transfor`q`T3265; Regel[8761]:=Transfor`q`T8761; Regel[8762]:=Transfor`q`T8762; Regel[8763]:=Transfor`q`T8763; Regel[10961]:=Transfor`q`T10961; Regel[4308]:=Transfor`q`T4308; Regel[2109]:=Transfor`q`T2109; Regel[4309]:=Transfor`q`T4309; Regel[10902]:=Transfor`q`T10902; Regel[4310]:=Transfor`q`T4310; Regel[8706]:=Transfor`q`T8706; Regel[6501]:=Transfor`q`T6501; Regel[121104]:=Transfor`q`T121104; Regel[8764]:=Transfor`q`T8764; Regel[10903]:=Transfor`q`T10903; Regel[3210]:=Transfor`q`T3210; Regel[5461]:=Transfor`q`T5461; Regel[5462]:=Transfor`q`T5462; Regel[5463]:=Transfor`q`T5463; Regel[2110]:=Transfor`q`T2110; Regel[8707]:=Transfor`q`T8707; Regel[4311]:=Transfor`q`T4311; Regel[8708]:=Transfor`q`T8708; Regel[3266]:=Transfor`q`T3266; Regel[5464]:=Transfor`q`T5464; Regel[2111]:=Transfor`q`T2111; Regel[8709]:=Transfor`q`T8709; Regel[10962]:=Transfor`q`T10962; Regel[5465]:=Transfor`q`T5465; Regel[8710]:=Transfor`q`T8710; Regel[8711]:=Transfor`q`T8711; Regel[10904]:=Transfor`q`T10904; Regel[5403]:=Transfor`q`T5403; Regel[5404]:=Transfor`q`T5404; Regel[5405]:=Transfor`q`T5405; Regel[3211]:=Transfor`q`T3211; Regel[3212]:=Transfor`q`T3212; Regel[3213]:=Transfor`q`T3213; Regel[2112]:=Transfor`q`T2112; Regel[3214]:=Transfor`q`T3214; Regel[2202]:=Transfor`q`T2202; Regel[3215]:=Transfor`q`T3215; Regel[3216]:=Transfor`q`T3216; Regel[3217]:=Transfor`q`T3217; Regel[4312]:=Transfor`q`T4312; Regel[4201]:=Transfor`q`T4201; Regel[3267]:=Transfor`q`T3267; Regel[3268]:=Transfor`q`T3268; Regel[2163]:=Transfor`q`T2163; Regel[3269]:=Transfor`q`T3269; Regel[4361]:=Transfor`q`T4361; Regel[4362]:=Transfor`q`T4362; Regel[5466]:=Transfor`q`T5466; Regel[5467]:=Transfor`q`T5467; Regel[10905]:=Transfor`q`T10905; Regel[121105]:=Transfor`q`T121105; Regel[10906]:=Transfor`q`T10906; Regel[121106]:=Transfor`q`T121106; Regel[10907]:=Transfor`q`T10907; Regel[5468]:=Transfor`q`T5468; Regel[5469]:=Transfor`q`T5469; Regel[121161]:=Transfor`q`T121161; Regel[10963]:=Transfor`q`T10963; End[] Protect[ Tli2101, Tli2102, Tli2103, Tli2104, Tli2105, Tli2201, Tli3201, Tli2106, Tli2107, Tli2108, Tli3202, Tli3203, Tli3101, Tli3204, Tli3205, Tli3206, Tli3207, Tli3208, Tli3209, Tli4301, Tli4302, Tli8701, Tli8702, Tli4303, Tli4304, Tli8703, Tli4305, Tli4306, Tli8704, Tli8705, Tli5401, Tli121101, Tli5402, Tli121102, Tli7601, Tli121103, Tli10901, Tli2161, Tli2162, Tli3261, Tli3262, Tli3263, Tli3264, Tli3265, Tli8761, Tli8762, Tli8763, Tli10961, Tli4308, Tli2109, Tli4309, Tli10902, Tli4310, Tli8706, Tli6501, Tli121104, Tli8764, Tli10903, Tli3210, Tli5461, Tli5462, Tli5463, Tli2110, Tli8707, Tli4311, Tli8708, Tli3266, Tli5464, Tli2111, Tli8709, Tli10962, Tli5465, Tli8710, Tli8711, Tli10904, Tli5403, Tli5404, Tli5405, Tli3211, Tli3212, Tli3213, Tli2112, Tli3214, Tli2202, Tli3215, Tli3216, Tli4312, Tli4201, Tli3267, Tli3268, Tli2163, Tli3269, Tli4361, Tli4361, Tli5466, Tli5467, Tli10905, Tli121105, Tli10906, Tli121106, Tli10907, Tli5468, Tli5469, Tli121161, Tli10963 ] EndPackage[] If[$VersionNumber>=2.,$Messages=OutputStream["stdout",1],$Messages={"stdout"}];