(* 15_03 *)

(* Require XMLgen_MC.nb ver >=0.08 *)
SetDirectory[NotebookDirectory[]];
<<XMLgenMC.mx;
Category="LA/15_03.";
Title="1次結合の1次写像による像の計算";
SELNUM=8;
Single="true";
NUM=300;

TTS[mt_]:=ToString[TeXForm[StandardForm[mt]]];
TOT[mt_]:=ToString[OneLineTeXForm[mt]];
TOTT[mt_]:=ToString[OneLineTeXForm[Transpose[mt]]];
TOC[mt_,c_]:=TOTT[{Transpose[mt][[c]]}];
TTD[r_]:=StringReplace[TT[r],"\\frac"->"\\dfrac"];
Rnz[m_]:=(RandomInteger[m]+1)*(2*RandomInteger[1]-1); (* \\pm 1,\pm2,...,\pm(m+1) *)
Rpos[m_]:=RandomInteger[m]+1; (* 1,2,...,m+1 *)
Rbtw[m_]:=RandomInteger[2m]-m;
TTC[A_,n_]:=TOTT[{(Transpose[A])[[n]]}];
Col[A_,n_]:=Transpose[{A[[Range[Length[A]],n]]}];
ColCat[CL_]:=Join@@@(Transpose@CL);
RowCat[CL_]:=Join@@(CL);
PtString[M_]:=StringReplace[ToString[M],{"{"->"(","}"->")"}];
ai2tex[s_]:=StringReplace[TOT[s],Table["\\text{a"<>TOT[i]<>"}"->"{\\mathbf a}_"<>TOT[i],{i,1,5}]];
vi2tex[s_]:=StringReplace[TOT[s],Table["\\text{v"<>TOT[i]<>"}"->"{\\mathbf v}_"<>TOT[i],{i,1,5}]];
TpStr[L_]:="\\("<>TOT[L[[1]]]<>"\\times"<>TOT[L[[2]]]<>"\\)";
TpTpse[L_]:=If[L=={},{},{L[[2]],L[[1]]}];
PType[A_,B_]:=If[A=={}||B=={},Return[{}],
If[A[[2]]===B[[1]],Return[{A[[1]],B[[2]]}],Return[{}]]];
PTypeL[L_]:=Module[{ct,len,tmp},len=Length[L];
Which[len==0,Return[{}],len==1,Return[L[[1]]],
len==2,Return[PType[L[[1]],L[[2]]]],
True,tmp=L[[1]];For[ct=2,ct≤len,ct++,tmp=PType[tmp,L[[ct]]]];Return[tmp]]];

(* select pairs of matrices *)
QtList={}; For[ct=1,ct≤300,ct++,
Cn=RandomChoice[{0,0,0,1,1,1,1,1,1,1}];
row=RandomChoice[{3,3,4,4,4,5}];
Vs=Table[Table[Rnz[2],3],row];
While[MatrixRank[Vs]<3,Vs=Table[Table[Rnz[2],3],row]];
LCs=RandomSample[Join[Range[-4,-1],Range[1,4]],3];
QtList=Append[QtList,{Cn,{Vs,LCs}}]];
(* QtList=DeleteDuplicates[QtList]; *)
QtList=RandomSample[QtList,NUM];Length[QtList]

Clear[v1,v2,v3];

Clear[QtextF];QtextF[mm_]:=Module[{Cn,Vs,LCs,Sv},
{Cn,{Vs,LCs}}=QtList[[mm]];
Sv={v1,v2,v3}.LCs;
(* Which[col==2,Sv=RandomSample[{x,y},2],col==3,Sv={x,y,z},col==4,Sv={w,x,y,z}]; *)
Return["数ベクトル空間の間の1次写像\\(f\\)が<br/>\n"
<>"\\(f({\\mathbf v}_1)="<>TOT[Col[Vs,1]]<>"\\),\n"
<>"\\(f({\\mathbf v}_2)="<>TOT[Col[Vs,2]]<>"\\),\n"
<>"\\(f({\\mathbf v}_3)="<>TOT[Col[Vs,3]]<>"\\)"
<>"を満たしているとき, \\(f\\left("<>vi2tex[Sv]<>"\\right)\\)を求めよ. 以下から選択せよ."]];

QtextF[28]

CListF[mm_]:=Module[{Cn,Vs,LCs,Ans,fs,ret={}},
{Cn,{Vs,LCs}}=QtList[[mm]];fs="正解です.";
Ans=Vs.LCs;
If[Cn==0,ret=Append[ret,{"この中に正解はない",fs<>"正解は"<>TOTT[{Ans}]<>"です."}],
ret=Append[ret,{"\\("<>TOTT[{Ans}]<>"\\)",fs}]];
Return[RandomSample[ret,1]]];

2*Table[BitGet[5,i-1],{i,1,4}]-1

Permutations[Range[3]] /. {1,2,3}->Nothing

ICListF[mm_]:=Module[{Cn,Vs,LCs,LCs1,Ans,Ans1,fs,ct,Pm,pm,ret={}},
{Cn,{Vs,LCs}}=QtList[[mm]];
Ans=Vs.LCs;
fs="係数の符号を間違えていませんか.";
For[ct=0,ct≤6,ct++,
LCs1=LCs*Table[2*BitGet[ct,i-1]-1,{i,1,Length[LCs]}];
Ans1=Vs.LCs1;If[Ans==Ans1,Print["Error,LCs="<>TOT[LCs1]]];
ret=Append[ret,{"\\("<>TOTT[{Ans1}]<>"\\)",fs}]];
fs="係数とベクトルの順序を間違えていませんか.";
Pm=Permutations[Range[3]] /. {1,2,3}->Nothing;
For[ct=1,ct≤Length[Pm],ct++,pm=Pm[[ct]];
LCs1={LCs[[pm[[1]]]],LCs[[pm[[2]]]],LCs[[pm[[3]]]]};
Ans1=Vs.LCs1;
ret=Append[ret,{"\\("<>TOTT[{Ans1}]<>"\\)",fs}]];
ret=DeleteDuplicates[ret];
If[Cn==1,ret=Append[ret,{"この中に正解はない.","正解はあります."}]];
Return[RandomSample[ret,SELNUM-1]]];

QtList[[31]]

QtextF[31]

QtextF[31]

Sort@Permutations[Range[3],{2}]

(* For[ct=1,ct≤NUM,ct++,QtextF[ct];ICListF[ct]] *) (* Error check *)

GenerateMCxml[DFname[],Category<>Title<>"(MC1)",Title,NUM,Single,QtextF,CListF,ICListF]

#->Nothing &/@ Permutations[{1,2,3},{2}]