This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=latex 2025.1.13)  12 NOV 2025 20:18
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**SandBoxNijenhuis.tex
(./SandBoxNijenhuis.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-01-16>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo
File: size12.clo 2022/07/02 v1.4n Standard LaTeX file (size option)
)
\c@part=\count185
\c@section=\count186
\c@subsection=\count187
\c@subsubsection=\count188
\c@paragraph=\count189
\c@subparagraph=\count190
\c@figure=\count191
\c@table=\count192
\abovecaptionskip=\skip48
\belowcaptionskip=\skip49
\bibindent=\dimen140
)
(/usr/share/texlive/texmf-dist/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 52.
)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\@emptytoks=\toks16
\symAMSa=\mathgroup5
\symAMSb=\mathgroup6
LaTeX Font Info:    Redeclaring math symbol \hbar on input line 98.
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2022/04/08 v2.17n AMS math features
\@mathmargin=\skip50

For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2021/08/26 v2.01 AMS text

(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks17
\ex@=\dimen141
))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen142
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 2022/04/08 v2.04 operator names
)
\inf@bad=\count193
LaTeX Info: Redefining \frac on input line 234.
\uproot@=\count194
\leftroot@=\count195
LaTeX Info: Redefining \overline on input line 399.
LaTeX Info: Redefining \colon on input line 410.
\classnum@=\count196
\DOTSCASE@=\count197
LaTeX Info: Redefining \ldots on input line 496.
LaTeX Info: Redefining \dots on input line 499.
LaTeX Info: Redefining \cdots on input line 620.
\Mathstrutbox@=\box51
\strutbox@=\box52
LaTeX Info: Redefining \big on input line 722.
LaTeX Info: Redefining \Big on input line 723.
LaTeX Info: Redefining \bigg on input line 724.
LaTeX Info: Redefining \Bigg on input line 725.
\big@size=\dimen143
LaTeX Font Info:    Redeclaring font encoding OML on input line 743.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 744.
\macc@depth=\count198
LaTeX Info: Redefining \bmod on input line 905.
LaTeX Info: Redefining \pmod on input line 910.
LaTeX Info: Redefining \smash on input line 940.
LaTeX Info: Redefining \relbar on input line 970.
LaTeX Info: Redefining \Relbar on input line 971.
\c@MaxMatrixCols=\count199
\dotsspace@=\muskip16
\c@parentequation=\count266
\dspbrk@lvl=\count267
\tag@help=\toks18
\row@=\count268
\column@=\count269
\maxfields@=\count270
\andhelp@=\toks19
\eqnshift@=\dimen144
\alignsep@=\dimen145
\tagshift@=\dimen146
\tagwidth@=\dimen147
\totwidth@=\dimen148
\lineht@=\dimen149
\@envbody=\toks20
\multlinegap=\skip51
\multlinetaggap=\skip52
\mathdisplay@stack=\toks21
LaTeX Info: Redefining \[ on input line 2953.
LaTeX Info: Redefining \] on input line 2954.
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amscd.sty
Package: amscd 2017/04/14 v2.1 AMS Commutative Diagrams
\athelp@=\toks22
\minaw@=\dimen150
\bigaw@=\dimen151
\minCDarrowwidth=\dimen152
)
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2020/05/29 v2.20.6
\thm@style=\toks23
\thm@bodyfont=\toks24
\thm@headfont=\toks25
\thm@notefont=\toks26
\thm@headpunct=\toks27
\thm@preskip=\skip53
\thm@postskip=\skip54
\thm@headsep=\skip55
\dth@everypar=\toks28
)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.sty
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing:
catcodes, docmode, (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrecat.tex
) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.8.9 <2013/10/06>
 Copyright (c) 1991-2013 by Kristoffer H. Rose <krisrose@tug.org> and others
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state,
\X@c=\dimen153
\Y@c=\dimen154
\U@c=\dimen155
\D@c=\dimen156
\L@c=\dimen157
\R@c=\dimen158
\Edge@c=\toks29
\X@p=\dimen159
\Y@p=\dimen160
\U@p=\dimen161
\D@p=\dimen162
\L@p=\dimen163
\R@p=\dimen164
\Edge@p=\toks30
\X@origin=\dimen165
\Y@origin=\dimen166
\X@xbase=\dimen167
\Y@xbase=\dimen168
\X@ybase=\dimen169
\Y@ybase=\dimen170
\X@min=\dimen171
\Y@min=\dimen172
\X@max=\dimen173
\Y@max=\dimen174
\lastobjectbox@=\box53
\zerodotbox@=\box54
\almostz@=\dimen175
 direction,
\d@X=\dimen176
\d@Y=\dimen177
\K@=\count271
\KK@=\count272
\Direction=\count273
\K@dXdY=\dimen178
\K@dYdX=\dimen179
\xyread@=\read2
\xywrite@=\write3
\csp@=\count274
\quotPTK@=\dimen180

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks31
\connectobjectbox@@=\box55
 objects,
\styletoks@=\toks32
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifpdf.sty
Package: ifpdf 2019/10/25 v3.4 ifpdf legacy package. Use iftex instead.

(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
Package: iftex 2022/02/03 v1.0f TeX engine tests
))
Package: xy 2013/10/06 Xy-pic version 3.8.9

(/usr/share/texlive/texmf-dist/tex/generic/xypic/xyall.tex
 Xy-pic option: All features v.3.8
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.12 curve,
\crv@cnt@=\count275
\crvpts@=\toks33
\splinebox@=\box56
\splineval@=\dimen181
\splinedepth@=\dimen182
\splinetol@=\dimen183
\splinelength@=\dimen184
 circles,
\L@=\dimen185
 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.14 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xycmtip.tex
 Xy-pic option: Computer Modern tip extension v.3.7
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xytips.tex
 Xy-pic option: More Tips extension v.3.11 loaded) loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xyline.tex
 Xy-pic option: Line styles extension v.3.10
\xylinethick@=\dimen186
 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrotate.tex
 Xy-pic option: Rotate and Scale extension v.3.8 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xycolor.tex
 Xy-pic option: Colour extension v.3.11 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xymatrix.tex
 Xy-pic option: Matrix feature v.3.14
\Row=\count276
\Col=\count277
\queue@=\toks34
\queue@@=\toks35
\qcount@=\count278
\qcount@@=\count279
\matrixsize@=\count280
 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xygraph.tex
 Xy-pic option: Graph feature v.3.11 loaded) loaded))
\c@NR=\count281
\c@Leibniz=\count282
\c@FNalg=\count283
\c@Zero=\count284
\c@trace=\count285
\c@atom=\count286
\c@universal=\count287
\c@thm3=\count288

(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
File: l3backend-dvips.def 2023-01-16 L3 backend support: dvips
\l__pdf_internal_box=\box57
\g__pdf_backend_object_int=\count289
\l__pdf_backend_content_box=\box58
\l__pdf_backend_model_box=\box59
\g__pdf_backend_annotation_int=\count290
\g__pdf_backend_link_int=\count291
\g__pdf_backend_link_sf_int=\count292
)
(./SandBoxNijenhuis.aux

LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.


LaTeX Warning: Label `' multiply defined.

)
\openout1 = `SandBoxNijenhuis.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Trying to load font information for U+lasy on input line 10
1.
 (/usr/share/texlive/texmf-dist/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
LaTeX Font Info:    Trying to load font information for U+msa on input line 101
.

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
)
LaTeX Font Info:    Trying to load font information for U+msb on input line 101
.

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
)
Overfull \hbox (4.89955pt too wide) in paragraph at lines 109--117
\OT1/cmr/m/n/10.95 mod-ule over Gra^^Y-mann al-ge-bra of dif-fer-en-tial forms 
al-lows a novel/algo-
 []


Overfull \hbox (29.59772pt too wide) in paragraph at lines 122--126
\OT1/cmr/bx/n/12 Keywords: \OT1/cmr/m/n/12 uni-ver-sal Gra^^Y-mann mod-ule, Nij
enhuis-Richardson al-ge-bra, Fr^^?olicher-
 []

(./SandBoxNijenhuis.toc [1

])
\tf@toc=\write4
\openout4 = `SandBoxNijenhuis.toc'.

 [2]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [3]
[4] [5]
Overfull \hbox (10.10956pt too wide) in paragraph at lines 331--334
\OT1/cmr/bx/n/12 3.2 Def-i-ni-tion \OT1/cmr/m/n/12 (Ger-sten-haber al-ge-bra)\O
T1/cmr/bx/n/12 . \OT1/cmr/m/n/12 The $\U/msb/m/n/12 Z$\OT1/cmr/m/n/12 -graded L
eib-niz al-ge-bra $(\OMS/cmsy/m/n/12 \\OML/cmm/m/it/12 ; \OT1/cmr/m/n/12 [\OMS/
cmsy/m/n/12 ^^A\OML/cmm/m/it/12 ; \OMS/cmsy/m/n/12 ^^A\OT1/cmr/m/n/12 ])$
 []


Overfull \hbox (9.33295pt too wide) in paragraph at lines 348--353
\OT1/cmr/m/n/12 graded en-do-mor-phisms $\OML/cmm/m/it/12 A; B; C \OMS/cmsy/m/n
/12 2 []\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 M[]\OT1/cmr/m/n/12 )\OML/cmm/m/it/12 
:$ \OT1/cmr/m/n/12 We ab-bre-vi-ate $(\OMS/cmsy/m/n/12 ^^@\OT1/cmr/m/n/12 1)[]$

 []

[6]
Overfull \hbox (18.62727pt too wide) in paragraph at lines 391--395
\OT1/cmr/m/n/12 The deriva-tion $\OML/cmm/m/it/12 d \OMS/cmsy/m/n/12 2 [][]\OT1
/cmr/m/n/12 (\OMS/cmsy/m/n/12 F\OML/cmm/m/it/12 ; M\OT1/cmr/m/n/12 )$ has the u
ni-ver-sal prop-erty: for $\OML/cmm/m/it/12 D \OMS/cmsy/m/n/12 2 [][]\OT1/cmr/m
/n/12 (\OMS/cmsy/m/n/12 F\OML/cmm/m/it/12 ; M[]\OT1/cmr/m/n/12 )\OML/cmm/m/it/1
2 ;$
 []

[7] [8] [9] [10] [11] [12]
Overfull \hbox (0.38345pt too wide) in paragraph at lines 605--612
[]\OT1/cmr/m/n/12 Another im-por-tant easy con-se-quence of Def-i-ni-tion []-[]
 is the graded
 []

[13] [14]
Overfull \hbox (1.44751pt too wide) in paragraph at lines 705--708
[]\OT1/cmr/m/n/12 A Frobe-nius $\OMS/cmsy/m/n/12 F$\OT1/cmr/m/n/12 -algebra is 
both Frobe-nius al-ge-bra and Frobe-nius co-algebra
 []

[15]
Overfull \hbox (23.81177pt too wide) in paragraph at lines 746--746
[]\OT1/cmr/bx/n/17.28 Frobenius sub-al-ge-bra of Nijenhuis-Richardson
 []

[16] [17] [18] [19]
Underfull \hbox (badness 10000) in paragraph at lines 927--930
\OT1/cmr/m/n/12 http://math.ucr.edu/home/baez/week174.html,
 []

[20]
Underfull \hbox (badness 2582) in paragraph at lines 970--973
[]\OT1/cmr/m/n/12 Frobenius Fer-di-nand Georg (1903). The-o-rie der hy-per-kom-
plexen
 []

[21] [22]
Underfull \hbox (badness 3209) in paragraph at lines 1005--1008
[]\OT1/cmr/m/n/12 Kocik Jerzy, (1997). Rel-a-tivis-tic ob-server and Maxwell's 
equa-
 []


Underfull \hbox (badness 4429) in paragraph at lines 1005--1008
\OT1/cmr/m/n/12 tions: an ex-am-ple of a non-principal Ehres-mann con-nec-tion,

 []

[23]
Underfull \hbox (badness 2644) in paragraph at lines 1054--1057
[]\OT1/cmr/m/n/12 Oziewicz Zbig-niew, (1997). Clif-ford al-ge-bra and uni-ver-s
al Hopf
 []


Underfull \hbox (badness 5446) in paragraph at lines 1054--1057
\OT1/cmr/m/n/12 al-ge-bra, Czechoslo-vak Jour-nal of Physics \OT1/cmr/bx/n/12 4
7 \OT1/cmr/m/n/12 (12) 1267--1274,
 []

[24] [25] (./SandBoxNijenhuis.aux)

LaTeX Warning: There were multiply-defined labels.

 ) 
Here is how much of TeX's memory you used:
 4423 strings out of 478052
 58387 string characters out of 5840969
 1869327 words of memory out of 5000000
 24495 multiletter control sequences out of 15000+600000
 529953 words of font info for 107 fonts, out of 8000000 for 9000
 17 hyphenation exceptions out of 8191
 57i,24n,62p,250b,299s stack positions out of 10000i,1000n,20000p,200000b,200000s

Output written on SandBoxNijenhuis.dvi (25 pages, 92088 bytes).