Commit 553746cd by Michael Kohlhase

### debug

parent fb5d7e36
 \begin{modsig}[creators=cdemirkiran,contributors=miko]{catalannumber} \gimport[smglom/numthy]{binomialcoefficient} \symdef{catalannumber}[1]{C_{#1}} \symtest{catalannumber}{\catalannumber{n}} \symii{Catalan}{number} \gimport[smglom/numthy]{binomialcoefficient} \symdef[name=Catalan-number]{catalannumber}[1]{C_{#1}} \symtest[name=Catalan-number]{catalannumber}{\catalannumber{n}} \end{modsig} %%% Local Variables: ... ...
 \begin{mhmodnl}[creators=cdemirkiran,contributors=miko]{projectivegenerallineargroup}{en} \begin{definition}[id=projectivegenerallineargroup.def] The \defii{projective}{general linear group} is the \trefi[group]{group} \term{acting} The \defiv{projective}{general}{linear}{group} is the \trefi[group]{group} \term{acting} on the \trefii[projectivespace]{projective}{space}. \end{definition} ... ...
 ... ... @@ -3,10 +3,9 @@ \gimport[smglom/linear-algebra]{projectivespace} \gimport[smglom/algebra]{general-linear-group} \symdef{projectivegenerallineargroupFN}[1]{PGL(#1)} \symdef{projectivegenerallineargroup}[2]{PGL(#1,#2)} \symdef[name=projective-general-linear-group]{projectivegenerallineargroupFN}[1]{PGL(#1)} \symdef[name=projective-general-linear-group]{projectivegenerallineargroup}[2]{PGL(#1,#2)} \symvariant{projectivegenerallineargroup}[2]{alt}{PGL_{#1}(#2)} \symii{projective}{general linear group} \end{modsig} %%% Local Variables: %%% mode: latex ... ...
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!