Quelle manual.six
Sprache: unbekannt
|
|
#SIXFORMAT GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "FinInG",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ],
[ "Copyright", ".-1", [ 0, 0, 1 ], 35, 2, "copyright", "X81488B807F2A1CF1" ]
, [ "Acknowledgements", ".-2", [ 0, 0, 2 ], 55, 2, "acknowledgements",
"X82A988D47DFAFCFA" ],
[ "Table of Contents", ".-3", [ 0, 0, 3 ], 83, 3, "table of contents",
"X8537FEB07AF2BEC8" ],
[ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1",
[ 1, 0, 0 ], 1, 6, "introduction", "X7DFB63A97E67C0A1" ],
[ "\033[1X\033[33X\033[0;-2YPhilosophy\033[133X\033[101X", "1.1",
[ 1, 1, 0 ], 4, 6, "philosophy", "X873C99678745ABAF" ],
[
"\033[1X\033[33X\033[0;-2YHow to cite \033[5XFinInG\033[105X\033[101X\027\\
033[1X\027\033[133X\033[101X", "1.2", [ 1, 2, 0 ], 13, 6,
"how to cite fining", "X837E428E80B6049C" ],
[ "\033[1X\033[33X\033[0;-2YOverview of this manual\033[133X\033[101X",
"1.3", [ 1, 3, 0 ], 58, 7, "overview of this manual",
"X87B5A1377BCABBD6" ],
[
"\033[1X\033[33X\033[0;-2YGetting and installing \033[5XFinInG\033[105X\\
033[101X\027\033[1X\027\033[133X\033[101X", "1.4", [ 1, 4, 0 ], 76, 7,
"getting and installing fining", "X7EEBA9577BA68BA6" ],
[
"\033[1X\033[33X\033[0;-2YInstallation procedure under UNIX like systems\\
033[133X\033[101X", "1.4-1", [ 1, 4, 1 ], 96, 7,
"installation procedure under unix like systems", "X7F499E8A79509971" ],
[ "\033[1X\033[33X\033[0;-2YCompiling packages\033[133X\033[101X", "1.4-2",
[ 1, 4, 2 ], 131, 8, "compiling packages", "X83A6C48E806EC0E9" ],
[
"\033[1X\033[33X\033[0;-2YUpdating \033[5XFinInG\033[105X\033[101X\027\033[\
1X\027\033[133X\033[101X", "1.4-3", [ 1, 4, 3 ], 312, 11, "updating fining",
"X78F15DAE873084A5" ],
[ "\033[1X\033[33X\033[0;-2YThe Development Team\033[133X\033[101X", "1.5",
[ 1, 5, 0 ], 424, 13, "the development team", "X83BC24CC831A2542" ],
[ "\033[1X\033[33X\033[0;-2YExamples\033[133X\033[101X", "2", [ 2, 0, 0 ],
1, 16, "examples", "X7A489A5D79DA9E5C" ],
[ "\033[1X\033[33X\033[0;-2YElementary examples\033[133X\033[101X", "2.1",
[ 2, 1, 0 ], 6, 16, "elementary examples", "X81660CB279889CB6" ],
[
"\033[1X\033[33X\033[0;-2Ysubspaces of projective spaces\033[133X\033[101X"
, "2.1-1", [ 2, 1, 1 ], 9, 16, "subspaces of projective spaces",
"X8016E6857D53F2ED" ],
[
"\033[1X\033[33X\033[0;-2YSubspaces of classical polar spaces\033[133X\033[\
101X", "2.1-2", [ 2, 1, 2 ], 68, 17, "subspaces of classical polar spaces",
"X7B99511887D41A95" ],
[ "\033[1X\033[33X\033[0;-2YUnderlying objects\033[133X\033[101X", "2.1-3",
[ 2, 1, 3 ], 128, 18, "underlying objects", "X8555398C83677C27" ],
[ "\033[1X\033[33X\033[0;-2YConstructing polar spaces\033[133X\033[101X",
"2.1-4", [ 2, 1, 4 ], 176, 19, "constructing polar spaces",
"X8771ACB879E479C6" ],
[ "\033[1X\033[33X\033[0;-2YSome collineation groups\033[133X\033[101X",
"2.1-5", [ 2, 1, 5 ], 216, 20, "some collineation groups",
"X85D3BB2A8274DDCB" ],
[
"\033[1X\033[33X\033[0;-2YSome objects with interesting combinatorial prope\
rties\033[133X\033[101X", "2.2", [ 2, 2, 0 ], 278, 21,
"some objects with interesting combinatorial properties",
"X825F78F57E309197" ],
[ "\033[1X\033[33X\033[0;-2YThe Tits ovoid\033[133X\033[101X", "2.2-1",
[ 2, 2, 1 ], 284, 21, "the tits ovoid", "X815BB30986E84DB1" ],
[
"\033[1X\033[33X\033[0;-2YLines meeting a hermitian curve\033[133X\033[101X\
", "2.2-2", [ 2, 2, 2 ], 346, 22, "lines meeting a hermitian curve",
"X7E79F18B8170B4B3" ],
[ "\033[1X\033[33X\033[0;-2YThe Patterson ovoid\033[133X\033[101X",
"2.2-3", [ 2, 2, 3 ], 370, 22, "the patterson ovoid",
"X85C255FD78C50992" ],
[ "\033[1X\033[33X\033[0;-2YA hyperoval\033[133X\033[101X", "2.2-4",
[ 2, 2, 4 ], 440, 23, "a hyperoval", "X80B93785876EF3E0" ],
[ "\033[1X\033[33X\033[0;-2YGeometry morphisms\033[133X\033[101X", "2.3",
[ 2, 3, 0 ], 533, 25, "geometry morphisms", "X876240A479A5717C" ],
[ "\033[1X\033[33X\033[0;-2YIsomorphic polar spaces\033[133X\033[101X",
"2.3-1", [ 2, 3, 1 ], 542, 25, "isomorphic polar spaces",
"X79CE092B7E17DF24" ],
[ "\033[1X\033[33X\033[0;-2YIntertwiners\033[133X\033[101X", "2.3-2",
[ 2, 3, 2 ], 584, 26, "intertwiners", "X83ADB5AE8624C74C" ],
[ "\033[1X\033[33X\033[0;-2YKlein correspondence\033[133X\033[101X",
"2.3-3", [ 2, 3, 3 ], 641, 27, "klein correspondence",
"X7C7438AB86A493FE" ],
[ "\033[1X\033[33X\033[0;-2YEmbedding in a subspace\033[133X\033[101X",
"2.3-4", [ 2, 3, 4 ], 674, 27, "embedding in a subspace",
"X869EB94D841AE028" ],
[ "\033[1X\033[33X\033[0;-2YSubgeometries\033[133X\033[101X", "2.3-5",
[ 2, 3, 5 ], 728, 28, "subgeometries", "X7FE8E4BF7E700E65" ],
[ "\033[1X\033[33X\033[0;-2YEmbedding by field reduction\033[133X\033[101X",
"2.3-6", [ 2, 3, 6 ], 768, 29, "embedding by field reduction",
"X838BBDD97FA03FD0" ],
[ "\033[1X\033[33X\033[0;-2YSome geometrical objects\033[133X\033[101X",
"2.4", [ 2, 4, 0 ], 807, 30, "some geometrical objects",
"X855C8E6D819EB975" ],
[
"\033[1X\033[33X\033[0;-2YSpreads of \033[22XW(5,3)\033[122X\033[101X\027\\
033[1X\027\033[133X\033[101X", "2.4-1", [ 2, 4, 1 ], 810, 30,
"spreads of w 5 3", "X8475841778D3BEEC" ],
[
"\033[1X\033[33X\033[0;-2YDistance-6 spread of the split Cayley hexagon\\
033[133X\033[101X", "2.4-2", [ 2, 4, 2 ], 852, 30,
"distance-6 spread of the split cayley hexagon", "X81F516D07E8165B9" ],
[ "\033[1X\033[33X\033[0;-2YSome particular incidence geometries\033[133X\
\033[101X", "2.5", [ 2, 5, 0 ], 901, 31,
"some particular incidence geometries", "X7F13364A7EEA2AD1" ],
[ "\033[1X\033[33X\033[0;-2YThe split Cayley hexagon\033[133X\033[101X",
"2.5-1", [ 2, 5, 1 ], 904, 31, "the split cayley hexagon",
"X79623B9E7D5816B3" ],
[
"\033[1X\033[33X\033[0;-2YAn (apartment of) a building of type \033[22XE_6\\
033[122X\033[101X\027\033[1X\027\033[133X\033[101X", "2.5-2", [ 2, 5, 2 ],
958, 32, "an apartment of a building of type e_6", "X8528558E87DE72C5" ]
,
[
"\033[1X\033[33X\033[0;-2YA rank 4 geometry for \033[22XPSL(2,11)\033[122X\\
033[101X\027\033[1X\027\033[133X\033[101X", "2.5-3", [ 2, 5, 3 ], 1002, 33,
"a rank 4 geometry for psl 2 11", "X7B783473852C7899" ],
[
"\033[1X\033[33X\033[0;-2YThe Ree-Tits octagon of order \033[22X[2,4]\033[1\
22X\033[101X\027\033[1X\027 as coset geometry\033[133X\033[101X", "2.5-4",
[ 2, 5, 4 ], 1048, 34,
"the ree-tits octagon of order [2 4] as coset geometry",
"X80128FF17BB62C83" ],
[
"\033[1X\033[33X\033[0;-2YElation generalised quadrangles\033[133X\033[101X\
", "2.6", [ 2, 6, 0 ], 1081, 35, "elation generalised quadrangles",
"X7BA462527B2777BC" ],
[ "\033[1X\033[33X\033[0;-2YThe classical q-clan\033[133X\033[101X",
"2.6-1", [ 2, 6, 1 ], 1087, 35, "the classical q-clan",
"X7E3707857A74AB5E" ],
[
"\033[1X\033[33X\033[0;-2YTwo ways to construct a flock generalised quadran\
gle from a Kantor-Knuth semifield q-clan\033[133X\033[101X", "2.6-2",
[ 2, 6, 2 ], 1130, 36,
"two ways to construct a flock generalised quadrangle from a kantor-knut\
h semifield q-clan", "X83357ED78789111E" ],
[ "\033[1X\033[33X\033[0;-2YAlgebraic varieties\033[133X\033[101X", "2.7",
[ 2, 7, 0 ], 1188, 37, "algebraic varieties", "X87EC44BF7F24486E" ],
[ "\033[1X\033[33X\033[0;-2YA projective variety\033[133X\033[101X",
"2.7-1", [ 2, 7, 1 ], 1191, 37, "a projective variety",
"X7ABCF9637B60FF37" ],
[ "\033[1X\033[33X\033[0;-2YIncidence Geometry\033[133X\033[101X", "3",
[ 3, 0, 0 ], 1, 41, "incidence geometry", "X838ACF8A7F100A2B" ],
[ "\033[1X\033[33X\033[0;-2YIncidence structures\033[133X\033[101X", "3.1",
[ 3, 1, 0 ], 39, 41, "incidence structures", "X7FB175337C4F8B76" ],
[
"\033[1X\033[33X\033[0;-2YMain categories in \033[10XIsIncidenceGeometry\\
033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "3.1-4", [ 3, 1, 4 ],
108, 43, "main categories in isincidencegeometry", "X7B0347E2863C1E8C" ]
,
[
"\033[1X\033[33X\033[0;-2YExamples of categories of incidence geometries\\
033[133X\033[101X", "3.1-5", [ 3, 1, 5 ], 120, 43,
"examples of categories of incidence geometries", "X87FFB1648575FFF2" ],
[ "\033[1X\033[33X\033[0;-2YElements of incidence structures\033[133X\033[10\
1X", "3.2", [ 3, 2, 0 ], 286, 46, "elements of incidence structures",
"X7BBDB0AE7E29F3FB" ],
[
"\033[1X\033[33X\033[0;-2YMain categories for individual elements of incide\
nce structures\033[133X\033[101X", "3.2-1", [ 3, 2, 1 ], 289, 46,
"main categories for individual elements of incidence structures",
"X827CD3C881DC8364" ],
[
"\033[1X\033[33X\033[0;-2YMain categories for collections of all the elemen\
ts of a given type of an incidence structure\033[133X\033[101X", "3.2-5",
[ 3, 2, 5 ], 436, 48,
"main categories for collections of all the elements of a given type of \
an incidence structure", "X7DE974E687A2ABFB" ],
[
"\033[1X\033[33X\033[0;-2YShort names for ElementsOfIncidenceStructure\033[\
133X\033[101X", "3.2-8", [ 3, 2, 8 ], 514, 50,
"short names for elementsofincidencestructure", "X87E64DA67C3D6661" ],
[ "\033[1X\033[33X\033[0;-2YFlags of incidence structures\033[133X\033[101X"
, "3.3", [ 3, 3, 0 ], 656, 52, "flags of incidence structures",
"X7DACFB6785029BF0" ],
[ "\033[1X\033[33X\033[0;-2YShadow of elements\033[133X\033[101X", "3.4",
[ 3, 4, 0 ], 872, 56, "shadow of elements", "X7AA14EDF7B0B1569" ],
[
"\033[1X\033[33X\033[0;-2YShort names for ElementsIncidentWithElementOfInci\
denceStructure\033[133X\033[101X", "3.4-5", [ 3, 4, 5 ], 981, 58,
"short names for elementsincidentwithelementofincidencestructure",
"X7E29C31D7CB5DB23" ],
[
"\033[1X\033[33X\033[0;-2YEnumerating elements of an incidence structure\\
033[133X\033[101X", "3.5", [ 3, 5, 0 ], 1010, 58,
"enumerating elements of an incidence structure", "X8133F88478BAFCB7" ],
[ "\033[1X\033[33X\033[0;-2YLie geometries\033[133X\033[101X", "3.6",
[ 3, 6, 0 ], 1401, 65, "lie geometries", "X84D77D437B5F3716" ],
[
"\033[1X\033[33X\033[0;-2YMain categories in \033[10XIsLieGeometry\033[110X\
\033[101X\027\033[1X\027\033[133X\033[101X", "3.6-1", [ 3, 6, 1 ], 1404, 65,
"main categories in isliegeometry", "X7D012B9F86E63702" ],
[ "\033[1X\033[33X\033[0;-2YElements of Lie geometries\033[133X\033[101X",
"3.7", [ 3, 7, 0 ], 1490, 67, "elements of lie geometries",
"X7FBCF60385E8C1D8" ],
[
"\033[1X\033[33X\033[0;-2YMore short names for \033[11XElementsIncidentWith\
ElementOfIncidenceStructure\033[111X\033[101X\027\033[1X\027\033[133X\033[101X\
", "3.7-4", [ 3, 7, 4 ], 1593, 69,
"more short names for elementsincidentwithelementofincidencestructure",
"X814C3AC27E49AD5B" ],
[
"\033[1X\033[33X\033[0;-2YChanging the ambient geometry of elements of a Li\
e geometry\033[133X\033[101X", "3.8", [ 3, 8, 0 ], 1624, 69,
"changing the ambient geometry of elements of a lie geometry",
"X7A9EBF9782671634" ],
[ "\033[1X\033[33X\033[0;-2YProjective Spaces\033[133X\033[101X", "4",
[ 4, 0, 0 ], 1, 71, "projective spaces", "X83BBAA668672A76D" ],
[
"\033[1X\033[33X\033[0;-2YProjective Spaces and basic operations\033[133X\\
033[101X", "4.1", [ 4, 1, 0 ], 7, 71, "projective spaces and basic operations"
, "X7862BC887D20B37A" ],
[
"\033[1X\033[33X\033[0;-2YSubspaces of projective spaces\033[133X\033[101X"
, "4.2", [ 4, 2, 0 ], 109, 73, "subspaces of projective spaces",
"X8016E6857D53F2ED" ],
[
"\033[1X\033[33X\033[0;-2YShort names for ElementsOfIncidenceStructure\033[\
133X\033[101X", "4.2-5", [ 4, 2, 5 ], 253, 75,
"short names for elementsofincidencestructure", "X87E64DA67C3D6661" ],
[ "\033[1X\033[33X\033[0;-2YIncidence and containment\033[133X\033[101X",
"4.2-6", [ 4, 2, 6 ], 287, 76, "incidence and containment",
"X7904128479BDFCC9" ],
[
"\033[1X\033[33X\033[0;-2YShadows of Projective Subspaces\033[133X\033[101X\
", "4.3", [ 4, 3, 0 ], 691, 83, "shadows of projective subspaces",
"X7BD8312C85784503" ],
[
"\033[1X\033[33X\033[0;-2YShort names for \033[11XElementsIncidentWithEleme\
ntOfIncidenceStructure\033[111X\033[101X\027\033[1X\027\033[133X\033[101X",
"4.3-4", [ 4, 3, 4 ], 786, 85,
"short names for elementsincidentwithelementofincidencestructure",
"X7E29C31D7CB5DB23" ],
[
"\033[1X\033[33X\033[0;-2YEnumerating subspaces of a projective space\033[1\
33X\033[101X", "4.4", [ 4, 4, 0 ], 821, 85,
"enumerating subspaces of a projective space", "X799F3A2A86F82E5B" ],
[ "\033[1X\033[33X\033[0;-2YProjective Groups\033[133X\033[101X", "5",
[ 5, 0, 0 ], 1, 87, "projective groups", "X816FCFB683915E8A" ],
[
"\033[1X\033[33X\033[0;-2YProjectivities, collineations and correlations of\
projective spaces.\033[133X\033[101X", "5.1", [ 5, 1, 0 ], 89, 88,
"projectivities collineations and correlations of projective spaces.",
"X7A9762F8861B0772" ],
[ "\033[1X\033[33X\033[0;-2YCategories for group elements\033[133X\033[101X"
, "5.1-1", [ 5, 1, 1 ], 98, 88, "categories for group elements",
"X851186297A91C1C6" ],
[
"\033[1X\033[33X\033[0;-2YRepresentations for group elements\033[133X\033[1\
01X", "5.1-2", [ 5, 1, 2 ], 109, 89, "representations for group elements",
"X7BBF688083857760" ],
[ "\033[1X\033[33X\033[0;-2YProjectivities\033[133X\033[101X", "5.1-3",
[ 5, 1, 3 ], 139, 89, "projectivities", "X8160615081358132" ],
[
"\033[1X\033[33X\033[0;-2YCollineations of projective spaces\033[133X\033[1\
01X", "5.1-4", [ 5, 1, 4 ], 174, 90, "collineations of projective spaces",
"X7E881C237D117C6C" ],
[
"\033[1X\033[33X\033[0;-2YProjective strictly semilinear maps\033[133X\033[\
101X", "5.1-5", [ 5, 1, 5 ], 203, 90, "projective strictly semilinear maps",
"X7B89B51F86AE2BCC" ],
[
"\033[1X\033[33X\033[0;-2YCorrelations and collineations\033[133X\033[101X"
, "5.1-6", [ 5, 1, 6 ], 236, 91, "correlations and collineations",
"X815B68277D0500C3" ],
[
"\033[1X\033[33X\033[0;-2YConstruction of projectivities, collineations and\
correlations.\033[133X\033[101X", "5.2", [ 5, 2, 0 ], 268, 91,
"construction of projectivities collineations and correlations.",
"X78EDF0357B58FC0E" ],
[
"\033[1X\033[33X\033[0;-2YBasic operations for projectivities, collineation\
s and correlations of projective spaces\033[133X\033[101X", "5.3",
[ 5, 3, 0 ], 432, 94,
"basic operations for projectivities collineations and correlations of p\
rojective spaces", "X83A5F86F82598AA6" ],
[
"\033[1X\033[33X\033[0;-2YThe groups \033[22XP\316\223L\033[122X\033[101X\\
027\033[1X\027, \033[22XPGL\033[122X\033[101X\027\033[1X\027, and \033[22XPSL\
\033[122X\033[101X\027\033[1X\027 in \033[5XFinInG\033[105X\033[101X\027\033[1\
X\027\033[133X\033[101X", "5.4", [ 5, 4, 0 ], 577, 97,
"the groups pi\223l pgl and psl in fining", "X78E99D9086D64FD9" ],
[
"\033[1X\033[33X\033[0;-2YBasic operations for projective groups\033[133X\\
033[101X", "5.5", [ 5, 5, 0 ], 731, 100,
"basic operations for projective groups", "X7C4C7ADE8746C1B1" ],
[
"\033[1X\033[33X\033[0;-2YNatural embedding of a collineation group in a co\
rrelation/collineation group\033[133X\033[101X", "5.6", [ 5, 6, 0 ], 750,
100,
"natural embedding of a collineation group in a correlation/collineation\
group", "X87327CBC857D6801" ],
[
"\033[1X\033[33X\033[0;-2YBasic action of projective group elements\033[133\
X\033[101X", "5.7", [ 5, 7, 0 ], 796, 101,
"basic action of projective group elements", "X7AAD7DDD7E19595E" ],
[ "\033[1X\033[33X\033[0;-2YProjective group actions\033[133X\033[101X",
"5.8", [ 5, 8, 0 ], 808, 101, "projective group actions",
"X7EBA895D7A501CE0" ],
[
"\033[1X\033[33X\033[0;-2YSpecial subgroups of the projectivity group\033[1\
33X\033[101X", "5.9", [ 5, 9, 0 ], 945, 103,
"special subgroups of the projectivity group", "X809F0F2B857FA178" ],
[ "\033[1X\033[33X\033[0;-2YNice Monomorphisms\033[133X\033[101X", "5.10",
[ 5, 10, 0 ], 1091, 106, "nice monomorphisms", "X7FFD731684606BC6" ],
[
"\033[1X\033[33X\033[0;-2YPolarities of Projective Spaces\033[133X\033[101X\
", "6", [ 6, 0, 0 ], 1, 109, "polarities of projective spaces",
"X87BA55CB86B110EC" ],
[
"\033[1X\033[33X\033[0;-2YCreating polarities of projective spaces\033[133X\
\033[101X", "6.1", [ 6, 1, 0 ], 12, 109,
"creating polarities of projective spaces", "X86D948C3875A5005" ],
[
"\033[1X\033[33X\033[0;-2YOperations, attributes and properties for polarit\
ies of projective spaces\033[133X\033[101X", "6.2", [ 6, 2, 0 ], 155, 111,
"operations attributes and properties for polarities of projective space\
s", "X81CC3CBE7879FD7B" ],
[
"\033[1X\033[33X\033[0;-2YPolarities, absolute points, totally isotropic el\
ements and finite classical polar spaces\033[133X\033[101X", "6.3",
[ 6, 3, 0 ], 314, 114,
"polarities absolute points totally isotropic elements and finite classi\
cal polar spaces", "X83F8149B7D23301E" ],
[ "\033[1X\033[33X\033[0;-2YCommuting polarities\033[133X\033[101X", "6.4",
[ 6, 4, 0 ], 433, 116, "commuting polarities", "X7ADFEAC07CE25530" ],
[ "\033[1X\033[33X\033[0;-2YFinite Classical Polar Spaces\033[133X\033[101X"
, "7", [ 7, 0, 0 ], 1, 117, "finite classical polar spaces",
"X7F96B1327C022A28" ],
[ "\033[1X\033[33X\033[0;-2YFinite Classical Polar Spaces\033[133X\033[101X"
, "7.1", [ 7, 1, 0 ], 7, 117, "finite classical polar spaces",
"X7F96B1327C022A28" ],
[
"\033[1X\033[33X\033[0;-2YCanonical and standard Polar Spaces\033[133X\033[\
101X", "7.2", [ 7, 2, 0 ], 148, 119, "canonical and standard polar spaces",
"X850CD32686B0656B" ],
[
"\033[1X\033[33X\033[0;-2YBasic operations for finite classical polar space\
s\033[133X\033[101X", "7.3", [ 7, 3, 0 ], 485, 125,
"basic operations for finite classical polar spaces",
"X7A04340A7EC9215B" ],
[
"\033[1X\033[33X\033[0;-2YSubspaces of finite classical polar spaces\033[13\
3X\033[101X", "7.4", [ 7, 4, 0 ], 685, 129,
"subspaces of finite classical polar spaces", "X787E0AEA8284B34B" ],
[
"\033[1X\033[33X\033[0;-2YBasic operations for polar spaces and subspaces o\
f projective spaces\033[133X\033[101X", "7.5", [ 7, 5, 0 ], 844, 131,
"basic operations for polar spaces and subspaces of projective spaces",
"X8472E78A79F44828" ],
[ "\033[1X\033[33X\033[0;-2YIncidence and containment\033[133X\033[101X",
"7.5-1", [ 7, 5, 1 ], 847, 131, "incidence and containment",
"X7904128479BDFCC9" ],
[ "\033[1X\033[33X\033[0;-2YShadow of elements\033[133X\033[101X", "7.6",
[ 7, 6, 0 ], 1177, 137, "shadow of elements", "X7AA14EDF7B0B1569" ],
[
"\033[1X\033[33X\033[0;-2YProjective Orthogonal/Unitary/Symplectic groups i\
n \033[5XFinInG\033[105X\033[101X\027\033[1X\027\033[133X\033[101X", "7.7",
[ 7, 7, 0 ], 1264, 139,
"projective orthogonal/unitary/symplectic groups in fining",
"X7988AF9978E75E37" ],
[
"\033[1X\033[33X\033[0;-2YEnumerating subspaces of polar spaces\033[133X\\
033[101X", "7.8", [ 7, 8, 0 ], 1459, 142,
"enumerating subspaces of polar spaces", "X855D48A07E0BBCDB" ],
[ "\033[1X\033[33X\033[0;-2YEnumerators for polar spaces\033[133X\033[101X",
"7.8-1", [ 7, 8, 1 ], 1462, 142, "enumerators for polar spaces",
"X7AB1BA95825BDE71" ],
[ "\033[1X\033[33X\033[0;-2YIterators for polar spaces\033[133X\033[101X",
"7.8-3", [ 7, 8, 3 ], 1491, 142, "iterators for polar spaces",
"X861463147B738DF1" ],
[
"\033[1X\033[33X\033[0;-2YOrbits, stabilisers and actions\033[133X\033[101X\
", "8", [ 8, 0, 0 ], 1, 144, "orbits stabilisers and actions",
"X87A0A15D8588D62F" ],
[ "\033[1X\033[33X\033[0;-2YOrbits\033[133X\033[101X", "8.1", [ 8, 1, 0 ],
4, 144, "orbits", "X81E0FF0587C54543" ],
[ "\033[1X\033[33X\033[0;-2YStabilisers\033[133X\033[101X", "8.2",
[ 8, 2, 0 ], 172, 147, "stabilisers", "X7EAB52F67B3A0003" ],
[
"\033[1X\033[33X\033[0;-2YActions and nice monomorphisms revisited\033[133X\
\033[101X", "8.3", [ 8, 3, 0 ], 497, 153,
"actions and nice monomorphisms revisited", "X7B449F3B7F23A30A" ],
[ "\033[1X\033[33X\033[0;-2YAction functions\033[133X\033[101X", "8.3-1",
[ 8, 3, 1 ], 504, 153, "action functions", "X86A646FF8668D82E" ],
[ "\033[1X\033[33X\033[0;-2YGeneric GAP functions\033[133X\033[101X",
"8.3-2", [ 8, 3, 2 ], 521, 153, "generic gap functions",
"X8474367181BB501E" ],
[
"\033[1X\033[33X\033[0;-2YDifferent behaviour for different collineation gr\
oups\033[133X\033[101X", "8.3-5", [ 8, 3, 5 ], 580, 154,
"different behaviour for different collineation groups",
"X86AC831981D89DF1" ],
[ "\033[1X\033[33X\033[0;-2YAffine Spaces\033[133X\033[101X", "9",
[ 9, 0, 0 ], 1, 157, "affine spaces", "X7A63E8817A819046" ],
[
"\033[1X\033[33X\033[0;-2YAffine spaces and basic operations\033[133X\033[1\
01X", "9.1", [ 9, 1, 0 ], 7, 157, "affine spaces and basic operations",
"X7ADF809E85917970" ],
[ "\033[1X\033[33X\033[0;-2YSubspaces of affine spaces\033[133X\033[101X",
"9.2", [ 9, 2, 0 ], 136, 159, "subspaces of affine spaces",
"X7AC346337E23D34F" ],
[
"\033[1X\033[33X\033[0;-2YShort names for ElementsOfIncidenceStructure\033[\
133X\033[101X", "9.2-3", [ 9, 2, 3 ], 209, 160,
"short names for elementsofincidencestructure", "X87E64DA67C3D6661" ],
[ "\033[1X\033[33X\033[0;-2YIncidence and containment\033[133X\033[101X",
"9.2-4", [ 9, 2, 4 ], 243, 161, "incidence and containment",
"X7904128479BDFCC9" ],
[ "\033[1X\033[33X\033[0;-2YShadows of Affine Subspaces\033[133X\033[101X",
"9.3", [ 9, 3, 0 ], 438, 164, "shadows of affine subspaces",
"X835B9A1F7EFE4640" ],
[ "\033[1X\033[33X\033[0;-2YIterators and enumerators\033[133X\033[101X",
"9.4", [ 9, 4, 0 ], 498, 165, "iterators and enumerators",
"X7836304580E12428" ],
[ "\033[1X\033[33X\033[0;-2YAffine groups\033[133X\033[101X", "9.5",
[ 9, 5, 0 ], 551, 166, "affine groups", "X78B78D517B22FB7E" ],
[ "\033[1X\033[33X\033[0;-2YLow level operations\033[133X\033[101X", "9.6",
[ 9, 6, 0 ], 704, 169, "low level operations", "X8769AA7080854675" ],
[ "\033[1X\033[33X\033[0;-2YGeometry Morphisms\033[133X\033[101X", "10",
[ 10, 0, 0 ], 1, 170, "geometry morphisms", "X876240A479A5717C" ],
[ "\033[1X\033[33X\033[0;-2YGeometry morphisms in FinInG\033[133X\033[101X",
"10.1", [ 10, 1, 0 ], 40, 170, "geometry morphisms in fining",
"X850559BF7886E0D2" ],
[
"\033[1X\033[33X\033[0;-2YType preserving bijective geometry morphisms\033[\
133X\033[101X", "10.2", [ 10, 2, 0 ], 111, 172,
"type preserving bijective geometry morphisms", "X7926E5367D0C80B7" ],
[ "\033[1X\033[33X\033[0;-2YKlein correspondence and derived dualities\033[1\
33X\033[101X", "10.3", [ 10, 3, 0 ], 196, 173,
"klein correspondence and derived dualities", "X79C677CD7B7EC451" ],
[
"\033[1X\033[33X\033[0;-2YEmbeddings of projective spaces\033[133X\033[101X\
", "10.4", [ 10, 4, 0 ], 490, 178, "embeddings of projective spaces",
"X86D21DCB7C0029F9" ],
[
"\033[1X\033[33X\033[0;-2YEmbedding of projective spaces by field reduction\
\033[133X\033[101X", "10.4-3", [ 10, 4, 3 ], 598, 180,
"embedding of projective spaces by field reduction",
"X7BC7FCDC7D9E1A09" ],
[ "\033[1X\033[33X\033[0;-2YEmbeddings of polar spaces\033[133X\033[101X",
"10.5", [ 10, 5, 0 ], 720, 183, "embeddings of polar spaces",
"X7C00DD48787B1EEE" ],
[
"\033[1X\033[33X\033[0;-2YEmbedding of polar spaces by field reduction\033[\
133X\033[101X", "10.5-3", [ 10, 5, 3 ], 851, 185,
"embedding of polar spaces by field reduction", "X7823BA95797898CE" ],
[ "\033[1X\033[33X\033[0;-2YProjections\033[133X\033[101X", "10.6",
[ 10, 6, 0 ], 1077, 189, "projections", "X81FAC1DE7C4B1972" ],
[ "\033[1X\033[33X\033[0;-2YProjective completion\033[133X\033[101X",
"10.7", [ 10, 7, 0 ], 1123, 190, "projective completion",
"X7952EE1A80D53825" ],
[ "\033[1X\033[33X\033[0;-2YAlgebraic Varieties\033[133X\033[101X", "11",
[ 11, 0, 0 ], 1, 191, "algebraic varieties", "X87EC44BF7F24486E" ],
[ "\033[1X\033[33X\033[0;-2YAlgebraic Varieties\033[133X\033[101X", "11.1",
[ 11, 1, 0 ], 18, 191, "algebraic varieties", "X87EC44BF7F24486E" ],
[ "\033[1X\033[33X\033[0;-2YProjective Varieties\033[133X\033[101X",
"11.2", [ 11, 2, 0 ], 134, 193, "projective varieties",
"X79EC6F8381337C08" ],
[
"\033[1X\033[33X\033[0;-2YQuadrics and Hermitian varieties\033[133X\033[101\
X", "11.3", [ 11, 3, 0 ], 169, 194, "quadrics and hermitian varieties",
"X8030D25C79C50847" ],
[ "\033[1X\033[33X\033[0;-2YAffine Varieties\033[133X\033[101X", "11.4",
[ 11, 4, 0 ], 375, 198, "affine varieties", "X82BE5DEE843F5490" ],
[ "\033[1X\033[33X\033[0;-2YGeometry maps\033[133X\033[101X", "11.5",
[ 11, 5, 0 ], 393, 198, "geometry maps", "X862822D57D48DD8E" ],
[ "\033[1X\033[33X\033[0;-2YSegre Varieties\033[133X\033[101X", "11.6",
[ 11, 6, 0 ], 439, 199, "segre varieties", "X81374CC57CA01150" ],
[ "\033[1X\033[33X\033[0;-2YVeronese Varieties\033[133X\033[101X", "11.7",
[ 11, 7, 0 ], 534, 200, "veronese varieties", "X8759309A83991AB7" ],
[ "\033[1X\033[33X\033[0;-2YGrassmann Varieties\033[133X\033[101X", "11.8",
[ 11, 8, 0 ], 615, 202, "grassmann varieties", "X7B4A786B7EA1388C" ],
[ "\033[1X\033[33X\033[0;-2YGeneralised Polygons\033[133X\033[101X", "12",
[ 12, 0, 0 ], 1, 204, "generalised polygons", "X7E1F10767D2A4D6A" ],
[ "\033[1X\033[33X\033[0;-2YCategories\033[133X\033[101X", "12.1",
[ 12, 1, 0 ], 25, 204, "categories", "X7CC6903E78F24167" ],
[
"\033[1X\033[33X\033[0;-2YSubcategories in \033[10XIsGeneralisedPolygon\\
033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "12.1-2", [ 12, 1, 2 ],
37, 204, "subcategories in isgeneralisedpolygon", "X832E75AE7CCC5BB2" ],
[ "\033[1X\033[33X\033[0;-2YSubcategories in \033[10XIsProjectivePlaneCatego\
ry\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "12.1-4",
[ 12, 1, 4 ], 60, 205, "subcategories in isprojectiveplanecategory",
"X8540C04887CF8824" ],
[
"\033[1X\033[33X\033[0;-2YSubcategories in \033[10XIsGeneralisedQuadrangle\\
033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "12.1-5", [ 12, 1, 5 ],
69, 205, "subcategories in isgeneralisedquadrangle",
"X7CF10DAE7847939D" ],
[
"\033[1X\033[33X\033[0;-2YGeneric functions to create generalised polygons\\
033[133X\033[101X", "12.2", [ 12, 2, 0 ], 123, 206,
"generic functions to create generalised polygons", "X8614D6A779F9B1AA"
],
[
"\033[1X\033[33X\033[0;-2YAttributes and operations for generalised polygon\
s\033[133X\033[101X", "12.3", [ 12, 3, 0 ], 279, 209,
"attributes and operations for generalised polygons",
"X864C966D8184A9C0" ],
[
"\033[1X\033[33X\033[0;-2YElements of generalised polygons\033[133X\033[101\
X", "12.4", [ 12, 4, 0 ], 796, 218, "elements of generalised polygons",
"X7A13D5EB82E01576" ],
[
"\033[1X\033[33X\033[0;-2YCollections of elements of generalised polygons\\
033[133X\033[101X", "12.4-1", [ 12, 4, 1 ], 799, 218,
"collections of elements of generalised polygons", "X7E7607CA7D59D086" ]
,
[
"\033[1X\033[33X\033[0;-2YCreating elements from objects and retrieving obj\
ects from elements\033[133X\033[101X", "12.4-3", [ 12, 4, 3 ], 819, 218,
"creating elements from objects and retrieving objects from elements",
"X7E9B2A217DBF2849" ],
[ "\033[1X\033[33X\033[0;-2YIncidence\033[133X\033[101X", "12.4-4",
[ 12, 4, 4 ], 871, 219, "incidence", "X83B0FA9E7AE3DF01" ],
[ "\033[1X\033[33X\033[0;-2YShadow elements\033[133X\033[101X", "12.4-7",
[ 12, 4, 7 ], 970, 221, "shadow elements", "X8154BB13844AA0FD" ],
[
"\033[1X\033[33X\033[0;-2YThe classical generalised hexagons\033[133X\033[1\
01X", "12.5", [ 12, 5, 0 ], 1056, 223, "the classical generalised hexagons",
"X7934EB788049B533" ],
[
"\033[1X\033[33X\033[0;-2YTrialities of the hyperbolic quadric and generali\
sed hexagons\033[133X\033[101X", "12.5-1", [ 12, 5, 1 ], 1059, 223,
"trialities of the hyperbolic quadric and generalised hexagons",
"X7BF1D2E57B7630CB" ],
[ "\033[1X\033[33X\033[0;-2YSpan and meet of elements\033[133X\033[101X",
"12.5-9", [ 12, 5, 9 ], 1321, 227, "span and meet of elements",
"X7B1380878358938C" ],
[
"\033[1X\033[33X\033[0;-2YElation generalised quadrangles\033[133X\033[101X\
", "12.6", [ 12, 6, 0 ], 1407, 229, "elation generalised quadrangles",
"X7BA462527B2777BC" ],
[
"\033[1X\033[33X\033[0;-2YElation generalised quadrangles and Kantor famili\
es\033[133X\033[101X", "12.6-1", [ 12, 6, 1 ], 1410, 229,
"elation generalised quadrangles and kantor families",
"X86BD86C77BAAF887" ],
[ "\033[1X\033[33X\033[0;-2YCategories\033[133X\033[101X", "12.6-2",
[ 12, 6, 2 ], 1472, 229, "categories", "X7CC6903E78F24167" ],
[ "\033[1X\033[33X\033[0;-2YKantor families\033[133X\033[101X", "12.6-3",
[ 12, 6, 3 ], 1484, 230, "kantor families", "X820A2D6A84A259FC" ],
[
"\033[1X\033[33X\033[0;-2YRepresentation of elements and underlying objects\
\033[133X\033[101X", "12.6-5", [ 12, 6, 5 ], 1531, 230,
"representation of elements and underlying objects",
"X80C93974807A342B" ],
[
"\033[1X\033[33X\033[0;-2YElation group and natural action on elements\033[\
133X\033[101X", "12.6-6", [ 12, 6, 6 ], 1599, 232,
"elation group and natural action on elements", "X7DCD7EAB839BD97F" ],
[ "\033[1X\033[33X\033[0;-2YKantor families, q-clans, and elation generalise\
d quadrangles\033[133X\033[101X", "12.6-7", [ 12, 6, 7 ], 1798, 235,
"kantor families q-clans and elation generalised quadrangles",
"X8462F11584736E32" ],
[ "\033[1X\033[33X\033[0;-2YParticular q-clans\033[133X\033[101X",
"12.6-9", [ 12, 6, 9 ], 1834, 236, "particular q-clans",
"X858A1EA8843BEC13" ],
[
"\033[1X\033[33X\033[0;-2YBLT-sets, flocks, q-clans, and elation generalise\
d quadrangles\033[133X\033[101X", "12.6-12", [ 12, 6, 12 ], 1895, 237,
"blt-sets flocks q-clans and elation generalised quadrangles",
"X7FAE48497B2F658A" ],
[
"\033[1X\033[33X\033[0;-2YRepresentation of elements and underlying objects\
\033[133X\033[101X", "12.6-17", [ 12, 6, 17 ], 2078, 240,
"representation of elements and underlying objects",
"X80C93974807A342B" ],
[ "\033[1X\033[33X\033[0;-2YCoset Geometries and Diagrams\033[133X\033[101X"
, "13", [ 13, 0, 0 ], 1, 243, "coset geometries and diagrams",
"X8328AFAC7CF1EB1B" ],
[ "\033[1X\033[33X\033[0;-2YCoset Geometries\033[133X\033[101X", "13.1",
[ 13, 1, 0 ], 6, 243, "coset geometries", "X781B20AC8097AC9F" ],
[
"\033[1X\033[33X\033[0;-2YAutomorphisms, Correlations and Isomorphisms\033[\
133X\033[101X", "13.2", [ 13, 2, 0 ], 694, 255,
"automorphisms correlations and isomorphisms", "X7967CA67876214A6" ],
[ "\033[1X\033[33X\033[0;-2YDiagrams\033[133X\033[101X", "13.3",
[ 13, 3, 0 ], 821, 257, "diagrams", "X78932FB48237B18F" ],
[
"\033[1X\033[33X\033[0;-2YSubgeometries of projective spaces\033[133X\033[1\
01X", "14", [ 14, 0, 0 ], 1, 264, "subgeometries of projective spaces",
"X79A3CC6E85E72EC1" ],
[ "\033[1X\033[33X\033[0;-2YParticular Categories\033[133X\033[101X",
"14.1", [ 14, 1, 0 ], 70, 265, "particular categories",
"X7D237EAD8797C140" ],
[
"\033[1X\033[33X\033[0;-2YCategories for elements and collections of elemen\
ts\033[133X\033[101X", "14.1-2", [ 14, 1, 2 ], 85, 265,
"categories for elements and collections of elements",
"X7D908542820D2FBE" ],
[
"\033[1X\033[33X\033[0;-2YSubgeometries of projective spaces\033[133X\033[1\
01X", "14.2", [ 14, 2, 0 ], 94, 265, "subgeometries of projective spaces",
"X79A3CC6E85E72EC1" ],
[ "\033[1X\033[33X\033[0;-2YBasic operations\033[133X\033[101X", "14.3",
[ 14, 3, 0 ], 215, 267, "basic operations", "X82EB5BE77F9F686A" ],
[
"\033[1X\033[33X\033[0;-2YUnderlying vector space and ambient projective sp\
ace\033[133X\033[101X", "14.3-1", [ 14, 3, 1 ], 218, 267,
"underlying vector space and ambient projective space",
"X8058FF3479158445" ],
[ "\033[1X\033[33X\033[0;-2YProjective dimension and rank\033[133X\033[101X"
, "14.3-3", [ 14, 3, 3 ], 302, 269, "projective dimension and rank",
"X79CC2F0483575105" ],
[
"\033[1X\033[33X\033[0;-2YUnderlying algebraic structures\033[133X\033[101X\
", "14.3-4", [ 14, 3, 4 ], 328, 269, "underlying algebraic structures",
"X85437D577DE97AEF" ],
[
"\033[1X\033[33X\033[0;-2YConstructing elements of a subgeometry\033[133X\\
033[101X", "14.4", [ 14, 4, 0 ], 392, 270,
"constructing elements of a subgeometry", "X7836EC02824B9425" ],
[ "\033[1X\033[33X\033[0;-2YFlags\033[133X\033[101X", "14.4-4",
[ 14, 4, 4 ], 506, 272, "flags", "X7B1757048405DD29" ],
[ "\033[1X\033[33X\033[0;-2YGroups and actions\033[133X\033[101X", "14.5",
[ 14, 5, 0 ], 517, 273, "groups and actions", "X80503DDC8270EE69" ],
[ "\033[1X\033[33X\033[0;-2YGroups of collineations\033[133X\033[101X",
"14.5-1", [ 14, 5, 1 ], 532, 273, "groups of collineations",
"X78F858C8863C7721" ],
[
"\033[1X\033[33X\033[0;-2YThe structure of \033[5XFinInG\033[105X\033[101X\\
027\033[1X\027\033[133X\033[101X", "a", [ "A", 0, 0 ], 1, 274,
"the structure of fining", "X7F3345C884CD0268" ],
[ "\033[1X\033[33X\033[0;-2YThe different components\033[133X\033[101X",
"a.1", [ "A", 1, 0 ], 4, 274, "the different components",
"X84D6D0EC7989CF5E" ],
[ "\033[1X\033[33X\033[0;-2YThe complete inventory\033[133X\033[101X",
"a.2", [ "A", 2, 0 ], 16, 274, "the complete inventory",
"X83E153B784E17E05" ],
[ "\033[1X\033[33X\033[0;-2YDeclarations\033[133X\033[101X", "a.2-1",
[ "A", 2, 1 ], 19, 274, "declarations", "X844A8A1F85E6E038" ],
[ "\033[1X\033[33X\033[0;-2YFunctions/Methods\033[133X\033[101X", "a.2-2",
[ "A", 2, 2 ], 674, 287, "functions/methods", "X81736D4378BF64FF" ],
[
"\033[1X\033[33X\033[0;-2YThe finite classical groups in \033[5XFinInG\033[\
105X\033[101X\027\033[1X\027\033[133X\033[101X", "b", [ "B", 0, 0 ], 1, 310,
"the finite classical groups in fining", "X866C644987E43DF8" ],
[
"\033[1X\033[33X\033[0;-2YStandard forms used to produce the finite classic\
al groups.\033[133X\033[101X", "b.1", [ "B", 1, 0 ], 4, 310,
"standard forms used to produce the finite classical groups.",
"X7F297E2B7D98DC76" ],
[
"\033[1X\033[33X\033[0;-2YDirect commands to construct the projective class\
ical groups in \033[5XFinInG\033[105X\033[101X\027\033[1X\027\033[133X\033[101\
X", "b.2", [ "B", 2, 0 ], 71, 312,
"direct commands to construct the projective classical groups in fining"
, "X7D9E27E986AEB973" ],
[
"\033[1X\033[33X\033[0;-2YBasis of the collineation groups\033[133X\033[101\
X", "b.3", [ "B", 3, 0 ], 342, 316, "basis of the collineation groups",
"X7F1343937C036C7A" ],
[
"\033[1X\033[33X\033[0;-2YLow level functions for morphisms\033[133X\033[10\
1X", "c", [ "C", 0, 0 ], 1, 317, "low level functions for morphisms",
"X874D94F47C943D71" ],
[
"\033[1X\033[33X\033[0;-2YField reduction and vector spaces\033[133X\033[10\
1X", "c.1", [ "C", 1, 0 ], 4, 317, "field reduction and vector spaces",
"X799BE5108516D030" ],
[ "\033[1X\033[33X\033[0;-2YField reduction and forms\033[133X\033[101X",
"c.2", [ "C", 2, 0 ], 91, 318, "field reduction and forms",
"X7F06BA41857256B8" ],
[ "\033[1X\033[33X\033[0;-2YLow level functions\033[133X\033[101X", "c.3",
[ "C", 3, 0 ], 127, 319, "low level functions", "X81CCB1F5789CD7D8" ],
[ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 321, "bibliography",
"X7A6F98FD85F02BFE" ],
[ "References", "bib", [ "Bib", 0, 0 ], 1, 321, "references",
"X7A6F98FD85F02BFE" ],
[ "Index", "ind", [ "Ind", 0, 0 ], 1, 323, "index", "X83A0356F839C696F" ],
[ "\033[5XFinInG\033[105X", "1.4", [ 1, 4, 0 ], 76, 7, "fining",
"X7EEBA9577BA68BA6" ],
[ "\033[2XIsIncidenceStructure\033[102X", "3.1-1", [ 3, 1, 1 ], 46, 42,
"isincidencestructure", "X81F7D8FA82A55561" ],
[ "\033[2XIsIncidenceGeometry\033[102X", "3.1-2", [ 3, 1, 2 ], 52, 42,
"isincidencegeometry", "X78C74BE87E050E84" ],
[ "\033[2XIncidenceStructure\033[102X", "3.1-3", [ 3, 1, 3 ], 59, 42,
"incidencestructure", "X7C3258887C8DF5C1" ],
[ "\033[2XIsLieGeometry\033[102X", "3.1-4", [ 3, 1, 4 ], 108, 43,
"isliegeometry", "X7B0347E2863C1E8C" ],
[ "\033[2XIsAffineSpace\033[102X", "3.1-4", [ 3, 1, 4 ], 108, 43,
"isaffinespace", "X7B0347E2863C1E8C" ],
[ "\033[2XIsGeneralisedPolygon\033[102X", "3.1-4", [ 3, 1, 4 ], 108, 43,
"isgeneralisedpolygon", "X7B0347E2863C1E8C" ],
[ "\033[2XIsCosetGeometry\033[102X", "3.1-4", [ 3, 1, 4 ], 108, 43,
"iscosetgeometry", "X7B0347E2863C1E8C" ],
[ "\033[2XTypesOfElementsOfIncidenceStructure\033[102X", "3.1-6",
[ 3, 1, 6 ], 148, 43, "typesofelementsofincidencestructure",
"X7E574AB27DA97063" ],
[ "\033[2XTypesOfElementsOfIncidenceStructurePlural\033[102X", "3.1-6",
[ 3, 1, 6 ], 148, 43, "typesofelementsofincidencestructureplural",
"X7E574AB27DA97063" ],
[ "\033[2XRank\033[102X", "3.1-7", [ 3, 1, 7 ], 171, 44, "rank",
"X827146F37E2AA841" ],
[ "\033[2XRankAttr\033[102X", "3.1-7", [ 3, 1, 7 ], 171, 44, "rankattr",
"X827146F37E2AA841" ],
[ "\033[2XIncidenceGraph\033[102X", "3.1-8", [ 3, 1, 8 ], 193, 44,
"incidencegraph", "X815BE6D57D623452" ],
[ "\033[2XIsElementOfIncidenceStructure\033[102X", "3.2-1", [ 3, 2, 1 ],
289, 46, "iselementofincidencestructure", "X827CD3C881DC8364" ],
[ "\033[2XIsElementOfIncidenceGeometry\033[102X", "3.2-1", [ 3, 2, 1 ],
289, 46, "iselementofincidencegeometry", "X827CD3C881DC8364" ],
[ "\033[2XIsElementOfLieGeometry\033[102X", "3.2-1", [ 3, 2, 1 ], 289, 46,
"iselementofliegeometry", "X827CD3C881DC8364" ],
[ "\033[2XIsElementOfAffineSpace\033[102X", "3.2-1", [ 3, 2, 1 ], 289, 46,
"iselementofaffinespace", "X827CD3C881DC8364" ],
[ "\033[2XIsElementOfCosetGeometry\033[102X", "3.2-1", [ 3, 2, 1 ], 289,
46, "iselementofcosetgeometry", "X827CD3C881DC8364" ],
[ "\033[2XIsSubspaceOfProjectiveSpace\033[102X", "3.2-1", [ 3, 2, 1 ], 289,
46, "issubspaceofprojectivespace", "X827CD3C881DC8364" ],
[ "\033[2XIsSubspaceOfClassicalPolarSpace\033[102X", "3.2-1", [ 3, 2, 1 ],
289, 46, "issubspaceofclassicalpolarspace", "X827CD3C881DC8364" ],
[ "\033[2XIsElementOfGeneralisedPolygon\033[102X", "3.2-1", [ 3, 2, 1 ],
289, 46, "iselementofgeneralisedpolygon", "X827CD3C881DC8364" ],
[ "\033[2XUnderlyingObject\033[102X", "3.2-2", [ 3, 2, 2 ], 326, 46,
"underlyingobject", "X810D4D6D87069697" ],
[ "\033[2XType\033[102X", "3.2-3", [ 3, 2, 3 ], 401, 48, "type",
"X823B3D0F87FB5403" ],
[ "\033[2XObjectToElement\033[102X", "3.2-4", [ 3, 2, 4 ], 424, 48,
"objecttoelement", "X7809B7C183FA7213" ],
[ "\033[2XIsElementsOfIncidenceStructure\033[102X", "3.2-5", [ 3, 2, 5 ],
436, 48, "iselementsofincidencestructure", "X7DE974E687A2ABFB" ],
[ "\033[2XIsElementsOfIncidenceGeometry\033[102X", "3.2-5", [ 3, 2, 5 ],
436, 48, "iselementsofincidencegeometry", "X7DE974E687A2ABFB" ],
[ "\033[2XIsElementsOfLieGeometry\033[102X", "3.2-5", [ 3, 2, 5 ], 436, 48,
"iselementsofliegeometry", "X7DE974E687A2ABFB" ],
[ "\033[2XIsElementsOfAffineSpace\033[102X", "3.2-5", [ 3, 2, 5 ], 436, 48,
"iselementsofaffinespace", "X7DE974E687A2ABFB" ],
[ "\033[2XIsElementsOfCosetGeometry\033[102X", "3.2-5", [ 3, 2, 5 ], 436,
48, "iselementsofcosetgeometry", "X7DE974E687A2ABFB" ],
[ "\033[2XIsSubspacesOfProjectiveSpace\033[102X", "3.2-5", [ 3, 2, 5 ],
436, 48, "issubspacesofprojectivespace", "X7DE974E687A2ABFB" ],
[ "\033[2XIsSubspacesOfClassicalPolarSpace\033[102X", "3.2-5", [ 3, 2, 5 ],
436, 48, "issubspacesofclassicalpolarspace", "X7DE974E687A2ABFB" ],
[ "\033[2XElementsOfIncidenceStructure\033[102X", "3.2-6", [ 3, 2, 6 ],
463, 49, "elementsofincidencestructure", "X87657AEF7E2C50F9" ],
[ "\033[2XElementsOfIncidenceStructure\033[102X", "3.2-6", [ 3, 2, 6 ],
463, 49, "elementsofincidencestructure", "X87657AEF7E2C50F9" ],
[ "\033[2XElementsOfIncidenceStructure\033[102X", "3.2-7", [ 3, 2, 7 ],
504, 50, "elementsofincidencestructure", "X87657AEF7E2C50F9" ],
[ "\033[2XPoints\033[102X", "3.2-8", [ 3, 2, 8 ], 514, 50, "points",
"X87E64DA67C3D6661" ],
[ "\033[2XLines\033[102X", "3.2-8", [ 3, 2, 8 ], 514, 50, "lines",
"X87E64DA67C3D6661" ],
[ "\033[2XPlanes\033[102X", "3.2-8", [ 3, 2, 8 ], 514, 50, "planes",
"X87E64DA67C3D6661" ],
[ "\033[2XSolids\033[102X", "3.2-8", [ 3, 2, 8 ], 514, 50, "solids",
"X87E64DA67C3D6661" ],
[ "\033[2XNrElementsOfIncidenceStructure\033[102X", "3.2-9", [ 3, 2, 9 ],
541, 50, "nrelementsofincidencestructure", "X86CF041F7FA486D6" ],
[ "\033[2XNrElementsOfIncidenceStructure\033[102X", "3.2-9", [ 3, 2, 9 ],
541, 50, "nrelementsofincidencestructure", "X86CF041F7FA486D6" ],
[ "\033[2XRandom\033[102X", "3.2-10", [ 3, 2, 10 ], 568, 51, "random",
"X79730D657AB219DB" ],
[ "\033[2XIsIncident\033[102X", "3.2-11", [ 3, 2, 11 ], 587, 51,
"isincident", "X7A9ED8327C40B445" ],
[ "\033[2X\\*\033[102X", "3.2-11", [ 3, 2, 11 ], 587, 51, "*",
"X7A9ED8327C40B445" ],
[ "\033[2XAmbientGeometry\033[102X", "3.2-12", [ 3, 2, 12 ], 619, 51,
"ambientgeometry", "X799DB77886B8ABDB" ],
[ "\033[2XFlagOfIncidenceStructure\033[102X", "3.3-1", [ 3, 3, 1 ], 668,
52, "flagofincidencestructure", "X7E204A78815C46DD" ],
[ "\033[2XIsChamberOfIncidenceStructure\033[102X", "3.3-2", [ 3, 3, 2 ],
690, 53, "ischamberofincidencestructure", "X7A453E0E861F2C94" ],
[ "\033[2XIsEmptyFlag\033[102X", "3.3-3", [ 3, 3, 3 ], 717, 53,
"isemptyflag", "X7AEFC2C57F10C3A7" ],
[ "\033[2XElementsOfFlag\033[102X", "3.3-4", [ 3, 3, 4 ], 725, 53,
"elementsofflag", "X86FFFBC584B97371" ],
[ "\033[2XRank\033[102X", "3.3-5", [ 3, 3, 5 ], 749, 54, "rank",
"X827146F37E2AA841" ],
[ "\033[2XSize\033[102X", "3.3-6", [ 3, 3, 6 ], 772, 54, "size",
"X858ADA3B7A684421" ],
[ "\033[2XAmbientGeometry\033[102X", "3.3-7", [ 3, 3, 7 ], 795, 55,
"ambientgeometry", "X799DB77886B8ABDB" ],
[ "\033[2XType\033[102X", "3.3-8", [ 3, 3, 8 ], 818, 55, "type",
"X823B3D0F87FB5403" ],
[ "\033[2XIsIncident\033[102X", "3.3-9", [ 3, 3, 9 ], 845, 55,
"isincident", "X7A9ED8327C40B445" ],
[ "\033[2XIsIncident\033[102X", "3.3-9", [ 3, 3, 9 ], 845, 55,
"isincident", "X7A9ED8327C40B445" ],
[ "\033[2XShadowOfElement\033[102X", "3.4-1", [ 3, 4, 1 ], 875, 56,
"shadowofelement", "X7FFA08DA85C5251C" ],
[ "\033[2XShadowOfElement\033[102X", "3.4-1", [ 3, 4, 1 ], 875, 56,
"shadowofelement", "X7FFA08DA85C5251C" ],
[ "\033[2XElementsIncidentWithElementOfIncidenceStructure\033[102X",
"3.4-2", [ 3, 4, 2 ], 914, 57,
"elementsincidentwithelementofincidencestructure", "X81A8365A7FE68447" ]
, [ "\033[2XShadowOfFlag\033[102X", "3.4-3", [ 3, 4, 3 ], 923, 57,
"shadowofflag", "X7E86E6417871730C" ],
[ "\033[2XShadowOfFlag\033[102X", "3.4-3", [ 3, 4, 3 ], 923, 57,
"shadowofflag", "X7E86E6417871730C" ],
[ "\033[2XShadowOfFlag\033[102X", "3.4-3", [ 3, 4, 3 ], 923, 57,
"shadowofflag", "X7E86E6417871730C" ],
[ "\033[2XShadowOfFlag\033[102X", "3.4-3", [ 3, 4, 3 ], 923, 57,
"shadowofflag", "X7E86E6417871730C" ],
[ "\033[2XResidueOfFlag\033[102X", "3.4-4", [ 3, 4, 4 ], 951, 57,
"residueofflag", "X78BE3D727B060301" ],
[ "\033[2XPoints\033[102X", "3.4-5", [ 3, 4, 5 ], 981, 58, "points",
"X7E29C31D7CB5DB23" ],
[ "\033[2XLines\033[102X", "3.4-5", [ 3, 4, 5 ], 981, 58, "lines",
"X7E29C31D7CB5DB23" ],
[ "\033[2XPlanes\033[102X", "3.4-5", [ 3, 4, 5 ], 981, 58, "planes",
"X7E29C31D7CB5DB23" ],
[ "\033[2XSolids\033[102X", "3.4-5", [ 3, 4, 5 ], 981, 58, "solids",
"X7E29C31D7CB5DB23" ],
[ "\033[2XPoints\033[102X", "3.4-5", [ 3, 4, 5 ], 981, 58, "points",
"X7E29C31D7CB5DB23" ],
[ "\033[2XLines\033[102X", "3.4-5", [ 3, 4, 5 ], 981, 58, "lines",
"X7E29C31D7CB5DB23" ],
[ "\033[2XPlanes\033[102X", "3.4-5", [ 3, 4, 5 ], 981, 58, "planes",
"X7E29C31D7CB5DB23" ],
[ "\033[2XSolids\033[102X", "3.4-5", [ 3, 4, 5 ], 981, 58, "solids",
"X7E29C31D7CB5DB23" ],
[ "\033[2XIterator\033[102X", "3.5-1", [ 3, 5, 1 ], 1043, 59, "iterator",
"X83ADF8287ED0668E" ],
[ "\033[2XEnumerator\033[102X", "3.5-2", [ 3, 5, 2 ], 1092, 60,
"enumerator", "X7EF8910F82B45EC7" ],
[ "\033[2XList\033[102X", "3.5-3", [ 3, 5, 3 ], 1132, 60, "list",
"X7EBA57FC7CCF8449" ],
[ "\033[2XAsList\033[102X", "3.5-4", [ 3, 5, 4 ], 1275, 63, "aslist",
"X8289FCCC8274C89D" ],
[ "\033[2XIsProjectiveSpace\033[102X", "3.6-1", [ 3, 6, 1 ], 1404, 65,
"isprojectivespace", "X7D012B9F86E63702" ],
[ "\033[2XIsClassicalPolarSpace\033[102X", "3.6-1", [ 3, 6, 1 ], 1404, 65,
"isclassicalpolarspace", "X7D012B9F86E63702" ],
[ "\033[2XAmbientSpace\033[102X", "3.6-2", [ 3, 6, 2 ], 1434, 66,
"ambientspace", "X8606750A8586DF8D" ],
[ "\033[2XUnderlyingVectorSpace\033[102X", "3.6-3", [ 3, 6, 3 ], 1449, 66,
"underlyingvectorspace", "X7D544D7985A4572D" ],
[ "\033[2XProjectiveDimension\033[102X", "3.6-4", [ 3, 6, 4 ], 1462, 66,
"projectivedimension", "X84FDF25D797B874B" ],
[ "\033[2XIsEmptySubspace\033[102X", "3.6-5", [ 3, 6, 5 ], 1482, 67,
"isemptysubspace", "X85DFF5177CA51AE0" ],
[ "\033[2XVectorSpaceToElement\033[102X", "3.7-1", [ 3, 7, 1 ], 1497, 67,
"vectorspacetoelement", "X82E9593B8074AECB" ],
[ "\033[2XVectorSpaceToElement\033[102X", "3.7-1", [ 3, 7, 1 ], 1497, 67,
"vectorspacetoelement", "X82E9593B8074AECB" ],
[ "\033[2XUnderlyingObject\033[102X", "3.7-2", [ 3, 7, 2 ], 1545, 68,
"underlyingobject", "X810D4D6D87069697" ],
[ "\033[2X\\in\033[102X", "3.7-3", [ 3, 7, 3 ], 1566, 68, "in",
"X87BDB89B7AAFE8AD" ],
[ "\033[2XHyperplanes\033[102X", "3.7-4", [ 3, 7, 4 ], 1593, 69,
"hyperplanes", "X814C3AC27E49AD5B" ],
[ "\033[2XHyperplanes\033[102X", "3.7-4", [ 3, 7, 4 ], 1593, 69,
"hyperplanes", "X814C3AC27E49AD5B" ],
[ "\033[2XElementToElement\033[102X", "3.8-1", [ 3, 8, 1 ], 1651, 70,
"elementtoelement", "X8561C0117FD76C94" ],
[ "\033[2XEmbed\033[102X", "3.8-1", [ 3, 8, 1 ], 1651, 70, "embed",
"X8561C0117FD76C94" ],
[ "\033[2XIsProjectiveSpace\033[102X", "4.1-1", [ 4, 1, 1 ], 24, 71,
"isprojectivespace", "X79B440FF7EFBA661" ],
[ "\033[2XProjectiveSpace\033[102X", "4.1-2", [ 4, 1, 2 ], 34, 71,
"projectivespace", "X7962DA507C64FCBA" ],
[ "\033[2XProjectiveSpace\033[102X", "4.1-2", [ 4, 1, 2 ], 34, 71,
"projectivespace", "X7962DA507C64FCBA" ],
[ "\033[2XPG\033[102X", "4.1-2", [ 4, 1, 2 ], 34, 71, "pg",
"X7962DA507C64FCBA" ],
[ "\033[2XProjectiveDimension\033[102X", "4.1-3", [ 4, 1, 3 ], 54, 72,
"projectivedimension", "X84FDF25D797B874B" ],
[ "\033[2XDimension\033[102X", "4.1-3", [ 4, 1, 3 ], 54, 72, "dimension",
"X84FDF25D797B874B" ],
[ "\033[2XRank\033[102X", "4.1-3", [ 4, 1, 3 ], 54, 72, "rank",
"X84FDF25D797B874B" ],
[ "\033[2XBaseField\033[102X", "4.1-4", [ 4, 1, 4 ], 73, 72, "basefield",
"X7BCBA564829D9E89" ],
[ "\033[2XUnderlyingVectorSpace\033[102X", "4.1-5", [ 4, 1, 5 ], 84, 72,
"underlyingvectorspace", "X7D544D7985A4572D" ],
[ "\033[2XAmbientSpace\033[102X", "4.1-6", [ 4, 1, 6 ], 101, 73,
"ambientspace", "X8606750A8586DF8D" ],
[ "\033[2XVectorSpaceToElement\033[102X", "4.2-1", [ 4, 2, 1 ], 122, 73,
"vectorspacetoelement", "X82E9593B8074AECB" ],
[ "\033[2XEmptySubspace\033[102X", "4.2-2", [ 4, 2, 2 ], 162, 74,
"emptysubspace", "X8461BCEF862B9A7B" ],
[ "\033[2XProjectiveDimension\033[102X", "4.2-3", [ 4, 2, 3 ], 189, 74,
"projectivedimension", "X84FDF25D797B874B" ],
[ "\033[2XElementsOfIncidenceStructure\033[102X", "4.2-4", [ 4, 2, 4 ],
218, 75, "elementsofincidencestructure", "X87657AEF7E2C50F9" ],
[ "\033[2XPoints\033[102X", "4.2-5", [ 4, 2, 5 ], 253, 75, "points",
"X87E64DA67C3D6661" ],
[ "\033[2XLines\033[102X", "4.2-5", [ 4, 2, 5 ], 253, 75, "lines",
"X87E64DA67C3D6661" ],
[ "\033[2XPlanes\033[102X", "4.2-5", [ 4, 2, 5 ], 253, 75, "planes",
"X87E64DA67C3D6661" ],
[ "\033[2XSolids\033[102X", "4.2-5", [ 4, 2, 5 ], 253, 75, "solids",
"X87E64DA67C3D6661" ],
[ "\033[2XHyperplanes\033[102X", "4.2-5", [ 4, 2, 5 ], 253, 75,
"hyperplanes", "X87E64DA67C3D6661" ],
[ "\033[2XIsIncident\033[102X", "4.2-6", [ 4, 2, 6 ], 287, 76,
"isincident", "X7904128479BDFCC9" ],
[ "\033[2X\\*\033[102X", "4.2-6", [ 4, 2, 6 ], 287, 76, "*",
"X7904128479BDFCC9" ],
[ "\033[2X\\in\033[102X", "4.2-6", [ 4, 2, 6 ], 287, 76, "in",
"X7904128479BDFCC9" ],
[ "\033[2XStandardFrame\033[102X", "4.2-7", [ 4, 2, 7 ], 343, 77,
"standardframe", "X870D9D9A7F11806F" ],
[ "\033[2XCoordinates\033[102X", "4.2-8", [ 4, 2, 8 ], 366, 77,
"coordinates", "X84E3985A8700B302" ],
[ "\033[2XDualCoordinatesOfHyperplane\033[102X", "4.2-9", [ 4, 2, 9 ], 379,
77, "dualcoordinatesofhyperplane", "X7CE4FD76820B503A" ],
[ "\033[2XHyperplaneByDualCoordinates\033[102X", "4.2-10", [ 4, 2, 10 ],
389, 78, "hyperplanebydualcoordinates", "X86628227863989E5" ],
[ "\033[2XEquationOfHyperplane\033[102X", "4.2-11", [ 4, 2, 11 ], 399, 78,
"equationofhyperplane", "X801A95907B13F447" ],
[ "\033[2XAmbientSpace\033[102X", "4.2-12", [ 4, 2, 12 ], 412, 78,
"ambientspace", "X8606750A8586DF8D" ],
[ "\033[2XBaseField\033[102X", "4.2-13", [ 4, 2, 13 ], 429, 78,
"basefield", "X7BCBA564829D9E89" ],
[ "\033[2XRandom\033[102X", "4.2-14", [ 4, 2, 14 ], 447, 79, "random",
"X79730D657AB219DB" ],
[ "\033[2XRandomSubspace\033[102X", "4.2-15", [ 4, 2, 15 ], 523, 80,
"randomsubspace", "X7D3C5D3B7AA4DE28" ],
[ "\033[2XRandomSubspace\033[102X", "4.2-15", [ 4, 2, 15 ], 523, 80,
"randomsubspace", "X7D3C5D3B7AA4DE28" ],
[ "\033[2XSpan\033[102X", "4.2-16", [ 4, 2, 16 ], 551, 80, "span",
"X875BE2957FAF6209" ],
[ "\033[2XSpan\033[102X", "4.2-16", [ 4, 2, 16 ], 551, 80, "span",
"X875BE2957FAF6209" ],
[ "\033[2XMeet\033[102X", "4.2-17", [ 4, 2, 17 ], 586, 81, "meet",
"X8469B54180FE1E4C" ],
[ "\033[2XMeet\033[102X", "4.2-17", [ 4, 2, 17 ], 586, 81, "meet",
"X8469B54180FE1E4C" ],
[ "\033[2XFlagOfIncidenceStructure\033[102X", "4.2-18", [ 4, 2, 18 ], 623,
82, "flagofincidencestructure", "X7E204A78815C46DD" ],
[ "\033[2XIsEmptyFlag\033[102X", "4.2-19", [ 4, 2, 19 ], 665, 82,
"isemptyflag", "X7AEFC2C57F10C3A7" ],
[ "\033[2XIsChamberOfIncidenceStructure\033[102X", "4.2-20", [ 4, 2, 20 ],
670, 83, "ischamberofincidencestructure", "X7A453E0E861F2C94" ],
[ "\033[2XShadowOfElement\033[102X", "4.3-1", [ 4, 3, 1 ], 694, 83,
"shadowofelement", "X7FFA08DA85C5251C" ],
[ "\033[2XShadowOfElement\033[102X", "4.3-1", [ 4, 3, 1 ], 694, 83,
"shadowofelement", "X7FFA08DA85C5251C" ],
[ "\033[2XShadowOfFlag\033[102X", "4.3-2", [ 4, 3, 2 ], 730, 84,
"shadowofflag", "X7E86E6417871730C" ],
[ "\033[2XShadowOfFlag\033[102X", "4.3-2", [ 4, 3, 2 ], 730, 84,
"shadowofflag", "X7E86E6417871730C" ],
[ "\033[2XElementsIncidentWithElementOfIncidenceStructure\033[102X",
"4.3-3", [ 4, 3, 3 ], 757, 84,
"elementsincidentwithelementofincidencestructure", "X81A8365A7FE68447" ]
, [ "\033[2XPoints\033[102X", "4.3-4", [ 4, 3, 4 ], 786, 85, "points",
"X7E29C31D7CB5DB23" ],
[ "\033[2XLines\033[102X", "4.3-4", [ 4, 3, 4 ], 786, 85, "lines",
"X7E29C31D7CB5DB23" ],
[ "\033[2XPlanes\033[102X", "4.3-4", [ 4, 3, 4 ], 786, 85, "planes",
"X7E29C31D7CB5DB23" ],
[ "\033[2XSolids\033[102X", "4.3-4", [ 4, 3, 4 ], 786, 85, "solids",
"X7E29C31D7CB5DB23" ],
[ "\033[2XHyperplanes\033[102X", "4.3-4", [ 4, 3, 4 ], 786, 85,
"hyperplanes", "X7E29C31D7CB5DB23" ],
[ "\033[2XPoints\033[102X", "4.3-4", [ 4, 3, 4 ], 786, 85, "points",
"X7E29C31D7CB5DB23" ],
[ "\033[2XLines\033[102X", "4.3-4", [ 4, 3, 4 ], 786, 85, "lines",
"X7E29C31D7CB5DB23" ],
[ "\033[2XPlanes\033[102X", "4.3-4", [ 4, 3, 4 ], 786, 85, "planes",
"X7E29C31D7CB5DB23" ],
[ "\033[2XSolids\033[102X", "4.3-4", [ 4, 3, 4 ], 786, 85, "solids",
"X7E29C31D7CB5DB23" ],
[ "\033[2XHyperplanes\033[102X", "4.3-4", [ 4, 3, 4 ], 786, 85,
"hyperplanes", "X7E29C31D7CB5DB23" ],
[ "\033[2XIterator\033[102X", "4.4-1", [ 4, 4, 1 ], 824, 85, "iterator",
"X83ADF8287ED0668E" ],
[ "\033[2XEnumerator\033[102X", "4.4-2", [ 4, 4, 2 ], 847, 86,
"enumerator", "X7EF8910F82B45EC7" ],
[ "\033[2XList\033[102X", "4.4-3", [ 4, 4, 3 ], 869, 86, "list",
"X7EBA57FC7CCF8449" ],
[ "\033[2XAsList\033[102X", "4.4-3", [ 4, 4, 3 ], 869, 86, "aslist",
"X7EBA57FC7CCF8449" ],
[ "\033[2XIsProjGrpEl\033[102X", "5.1-1", [ 5, 1, 1 ], 98, 88,
"isprojgrpel", "X851186297A91C1C6" ],
[ "\033[2XIsProjGrpElWithFrob\033[102X", "5.1-1", [ 5, 1, 1 ], 98, 88,
"isprojgrpelwithfrob", "X851186297A91C1C6" ],
[ "\033[2XIsProjGrpElWithFrobWithPSIsom\033[102X", "5.1-1", [ 5, 1, 1 ],
98, 88, "isprojgrpelwithfrobwithpsisom", "X851186297A91C1C6" ],
[ "\033[2XIsProjGrpElRep\033[102X", "5.1-2", [ 5, 1, 2 ], 109, 89,
"isprojgrpelrep", "X7BBF688083857760" ],
[ "\033[2XIsProjGrpElWithFrobRep\033[102X", "5.1-2", [ 5, 1, 2 ], 109, 89,
"isprojgrpelwithfrobrep", "X7BBF688083857760" ],
[ "\033[2XIsProjGrpElWithFrobWithPSIsomRep\033[102X", "5.1-2", [ 5, 1, 2 ],
109, 89, "isprojgrpelwithfrobwithpsisomrep", "X7BBF688083857760" ],
[ "\033[2XIsProjectivity\033[102X", "5.1-3", [ 5, 1, 3 ], 139, 89,
"isprojectivity", "X8160615081358132" ],
[ "\033[2XIsCollineation\033[102X", "5.1-4", [ 5, 1, 4 ], 174, 90,
"iscollineation", "X7E881C237D117C6C" ],
[ "\033[2XIsStrictlySemilinear\033[102X", "5.1-5", [ 5, 1, 5 ], 203, 90,
"isstrictlysemilinear", "X7B89B51F86AE2BCC" ],
[ "\033[2XIsProjGrpElWithFrobWithPSIsom\033[102X", "5.1-6", [ 5, 1, 6 ],
236, 91, "isprojgrpelwithfrobwithpsisom", "X815B68277D0500C3" ],
[ "\033[2XIsCorrelationCollineation\033[102X", "5.1-6", [ 5, 1, 6 ], 236,
91, "iscorrelationcollineation", "X815B68277D0500C3" ],
[ "\033[2XIsCorrelation\033[102X", "5.1-6", [ 5, 1, 6 ], 236, 91,
"iscorrelation", "X815B68277D0500C3" ],
[ "\033[2XProjectivity\033[102X", "5.2-1", [ 5, 2, 1 ], 275, 91,
"projectivity", "X877DA4E185A1D9C7" ],
[ "\033[2XProjectivity\033[102X", "5.2-1", [ 5, 2, 1 ], 275, 91,
"projectivity", "X877DA4E185A1D9C7" ],
[ "\033[2XCollineationOfProjectiveSpace\033[102X", "5.2-2", [ 5, 2, 2 ],
295, 92, "collineationofprojectivespace", "X7AB452B2781EF128" ],
[ "\033[2XCollineationOfProjectiveSpace\033[102X", "5.2-2", [ 5, 2, 2 ],
295, 92, "collineationofprojectivespace", "X7AB452B2781EF128" ],
[ "\033[2XCollineationOfProjectiveSpace\033[102X", "5.2-2", [ 5, 2, 2 ],
295, 92, "collineationofprojectivespace", "X7AB452B2781EF128" ],
[ "\033[2XCollineationOfProjectiveSpace\033[102X", "5.2-2", [ 5, 2, 2 ],
295, 92, "collineationofprojectivespace", "X7AB452B2781EF128" ],
[ "\033[2XCollineationOfProjectiveSpace\033[102X", "5.2-2", [ 5, 2, 2 ],
295, 92, "collineationofprojectivespace", "X7AB452B2781EF128" ],
[ "\033[2XCollineationOfProjectiveSpace\033[102X", "5.2-2", [ 5, 2, 2 ],
295, 92, "collineationofprojectivespace", "X7AB452B2781EF128" ],
[ "\033[2XCollineation\033[102X", "5.2-2", [ 5, 2, 2 ], 295, 92,
"collineation", "X7AB452B2781EF128" ],
[ "\033[2XCollineation\033[102X", "5.2-2", [ 5, 2, 2 ], 295, 92,
"collineation", "X7AB452B2781EF128" ],
[ "\033[2XProjectiveSemilinearMap\033[102X", "5.2-3", [ 5, 2, 3 ], 336, 93,
"projectivesemilinearmap", "X81ED446485A71588" ],
[ "\033[2XIdentityMappingOfElementsOfProjectiveSpace\033[102X", "5.2-4",
[ 5, 2, 4 ], 347, 93, "identitymappingofelementsofprojectivespace",
"X80649C427E3BCBFF" ],
[ "\033[2XStandardDualityOfProjectiveSpace\033[102X", "5.2-5", [ 5, 2, 5 ],
354, 93, "standarddualityofprojectivespace", "X841607A77B841CC9" ],
[ "\033[2XCorrelationOfProjectiveSpace\033[102X", "5.2-6", [ 5, 2, 6 ],
381, 93, "correlationofprojectivespace", "X78BBC4E27B2E06D6" ],
[ "\033[2XCorrelationOfProjectiveSpace\033[102X", "5.2-6", [ 5, 2, 6 ],
381, 93, "correlationofprojectivespace", "X78BBC4E27B2E06D6" ],
[ "\033[2XCorrelationOfProjectiveSpace\033[102X", "5.2-6", [ 5, 2, 6 ],
381, 93, "correlationofprojectivespace", "X78BBC4E27B2E06D6" ],
[ "\033[2XCorrelationOfProjectiveSpace\033[102X", "5.2-6", [ 5, 2, 6 ],
381, 93, "correlationofprojectivespace", "X78BBC4E27B2E06D6" ],
[ "\033[2XCorrelationOfProjectiveSpace\033[102X", "5.2-6", [ 5, 2, 6 ],
381, 93, "correlationofprojectivespace", "X78BBC4E27B2E06D6" ],
[ "\033[2XCorrelation\033[102X", "5.2-6", [ 5, 2, 6 ], 381, 93,
"correlation", "X78BBC4E27B2E06D6" ],
[ "\033[2XRepresentative\033[102X", "5.3-1", [ 5, 3, 1 ], 436, 94,
"representative", "X865507568182424E" ],
[ "\033[2XMatrixOfCollineation\033[102X", "5.3-2", [ 5, 3, 2 ], 454, 95,
"matrixofcollineation", "X7CA72CB07E3122F1" ],
[ "\033[2XMatrixOfCorrelation\033[102X", "5.3-3", [ 5, 3, 3 ], 473, 95,
"matrixofcorrelation", "X7E8B65547970F689" ],
[ "\033[2XBaseField\033[102X", "5.3-4", [ 5, 3, 4 ], 495, 95, "basefield",
"X7BCBA564829D9E89" ],
[ "\033[2XFieldAutomorphism\033[102X", "5.3-5", [ 5, 3, 5 ], 514, 96,
"fieldautomorphism", "X7B60C4257C46ED4B" ],
[ "\033[2XProjectiveSpaceIsomorphism\033[102X", "5.3-6", [ 5, 3, 6 ], 533,
96, "projectivespaceisomorphism", "X7FE527AB81C2B675" ],
[ "\033[2XOrder\033[102X", "5.3-7", [ 5, 3, 7 ], 560, 97, "order",
"X84F59A2687C62763" ],
[ "\033[2XProjectivityGroup\033[102X", "5.4-1", [ 5, 4, 1 ], 585, 97,
"projectivitygroup", "X850A954887CA9A55" ],
[ "\033[2XHomographyGroup\033[102X", "5.4-1", [ 5, 4, 1 ], 585, 97,
"homographygroup", "X850A954887CA9A55" ],
[ "\033[2XCollineationGroup\033[102X", "5.4-2", [ 5, 4, 2 ], 625, 98,
"collineationgroup", "X83FF6FA0790D5747" ],
[ "\033[2XSpecialProjectivityGroup\033[102X", "5.4-3", [ 5, 4, 3 ], 655,
98, "specialprojectivitygroup", "X7BE9CE127ACFA6C2" ],
[ "\033[2XSpecialHomographyGroup\033[102X", "5.4-3", [ 5, 4, 3 ], 655, 98,
"specialhomographygroup", "X7BE9CE127ACFA6C2" ],
[ "\033[2XIsProjectivityGroup\033[102X", "5.4-4", [ 5, 4, 4 ], 693, 99,
"isprojectivitygroup", "X7DEA3BDA82C7B855" ],
[ "\033[2XIsCollineationGroup\033[102X", "5.4-5", [ 5, 4, 5 ], 702, 99,
"iscollineationgroup", "X7B1FC1327FD85D18" ],
[ "\033[2XCorrelationCollineationGroup\033[102X", "5.4-6", [ 5, 4, 6 ],
711, 99, "correlationcollineationgroup", "X81444EF57E228232" ],
[ "\033[2XBaseField\033[102X", "5.5-1", [ 5, 5, 1 ], 734, 100, "basefield",
"X7BCBA564829D9E89" ],
[ "\033[2XDimension\033[102X", "5.5-2", [ 5, 5, 2 ], 742, 100, "dimension",
"X7E6926C6850E7C4E" ],
[ "\033[2XEmbedding\033[102X", "5.6-1", [ 5, 6, 1 ], 775, 100, "embedding",
"X86452F8587CBAEA0" ],
[ "\033[2X\\^\033[102X", "5.7-1", [ 5, 7, 1 ], 799, 101, "^",
"X7D21FB1A7D21FB1A" ],
[ "\033[2XOnProjSubspaces\033[102X", "5.8-1", [ 5, 8, 1 ], 826, 101,
"onprojsubspaces", "X84A3D5357872EC3B" ],
[ "\033[2XActionOnAllProjPoints\033[102X", "5.8-2", [ 5, 8, 2 ], 888, 102,
"actiononallprojpoints", "X798053D47D8187EC" ],
[ "\033[2XOnProjSubspacesExtended\033[102X", "5.8-3", [ 5, 8, 3 ], 897,
103, "onprojsubspacesextended", "X86B4C03E85ADD0C2" ],
[ "\033[2XElationOfProjectiveSpace\033[102X", "5.9-1", [ 5, 9, 1 ], 974,
104, "elationofprojectivespace", "X86FF1DDE8356E966" ],
[ "\033[2XProjectiveElationGroup\033[102X", "5.9-2", [ 5, 9, 2 ], 996, 104,
"projectiveelationgroup", "X7E5660A17A4B1349" ],
[ "\033[2XProjectiveElationGroup\033[102X", "5.9-2", [ 5, 9, 2 ], 996, 104,
"projectiveelationgroup", "X7E5660A17A4B1349" ],
[ "\033[2XHomologyOfProjectiveSpace\033[102X", "5.9-3", [ 5, 9, 3 ], 1042,
105, "homologyofprojectivespace", "X86319DCD7AF98E28" ],
[ "\033[2XProjectiveHomologyGroup\033[102X", "5.9-4", [ 5, 9, 4 ], 1067,
106, "projectivehomologygroup", "X82FBABF384960A3D" ],
[ "\033[2XNiceMonomorphism\033[102X", "5.10-1", [ 5, 10, 1 ], 1128, 107,
"nicemonomorphism", "X7965086E82ABCF41" ],
[ "\033[2XNiceObject\033[102X", "5.10-2", [ 5, 10, 2 ], 1153, 107,
"niceobject", "X7B47BE0983E93A83" ],
[ "\033[2XFINING\033[102X", "5.10-3", [ 5, 10, 3 ], 1175, 107, "fining",
"X7CE11961817B311C" ],
[ "\033[2XCanComputeActionOnPoints\033[102X", "5.10-4", [ 5, 10, 4 ], 1186,
108, "cancomputeactiononpoints", "X7B102DAE7E0CCF47" ],
[ "\033[2XNiceMonomorphismByDomain\033[102X", "5.10-5", [ 5, 10, 5 ], 1217,
108, "nicemonomorphismbydomain", "X7D8C4B657FD6F7BA" ],
[ "\033[2XNiceMonomorphismByOrbit\033[102X", "5.10-6", [ 5, 10, 6 ], 1227,
108, "nicemonomorphismbyorbit", "X7BCBD96786901FF9" ],
[ "\033[2XPolarityOfProjectiveSpace\033[102X", "6.1-1", [ 6, 1, 1 ], 57,
110, "polarityofprojectivespace", "X7EBD8C07802562B7" ],
[ "\033[2XPolarityOfProjectiveSpace\033[102X", "6.1-2", [ 6, 1, 2 ], 76,
110, "polarityofprojectivespace", "X7EBD8C07802562B7" ],
[ "\033[2XHermitianPolarityOfProjectiveSpace\033[102X", "6.1-2",
[ 6, 1, 2 ], 76, 110, "hermitianpolarityofprojectivespace",
"X7EBD8C07802562B7" ],
[ "\033[2XPolarityOfProjectiveSpace\033[102X", "6.1-3", [ 6, 1, 3 ], 108,
110, "polarityofprojectivespace", "X7EBD8C07802562B7" ],
[ "\033[2XPolarityOfProjectiveSpace\033[102X", "6.1-4", [ 6, 1, 4 ], 128,
111, "polarityofprojectivespace", "X7EBD8C07802562B7" ],
[ "\033[2XSesquilinearForm\033[102X", "6.2-1", [ 6, 2, 1 ], 159, 111,
"sesquilinearform", "X793BE1A27BF349F3" ],
[ "\033[2XBaseField\033[102X", "6.2-2", [ 6, 2, 2 ], 179, 112, "basefield",
"X7BCBA564829D9E89" ],
[ "\033[2XGramMatrix\033[102X", "6.2-3", [ 6, 2, 3 ], 197, 112,
"grammatrix", "X847AFB4C81A90B3F" ],
[ "\033[2XCompanionAutomorphism\033[102X", "6.2-4", [ 6, 2, 4 ], 215, 112,
"companionautomorphism", "X7C55F56E7E34768B" ],
[ "\033[2XIsHermitianPolarityOfProjectiveSpace\033[102X", "6.2-5",
[ 6, 2, 5 ], 233, 113, "ishermitianpolarityofprojectivespace",
"X7C15F40A85F167F4" ],
[ "\033[2XIsSymplecticPolarityOfProjectiveSpace\033[102X", "6.2-6",
[ 6, 2, 6 ], 255, 113, "issymplecticpolarityofprojectivespace",
"X855077387D144CDE" ],
[ "\033[2XIsOrthogonalPolarityOfProjectiveSpace\033[102X", "6.2-7",
[ 6, 2, 7 ], 274, 113, "isorthogonalpolarityofprojectivespace",
"X87FFEEAE7FC2EE41" ],
[ "\033[2XIsPseudoPolarityOfProjectiveSpace\033[102X", "6.2-8",
[ 6, 2, 8 ], 294, 114, "ispseudopolarityofprojectivespace",
"X8372FCBC8313572F" ],
[ "\033[2XGeometryOfAbsolutePoints\033[102X", "6.3-1", [ 6, 3, 1 ], 337,
114, "geometryofabsolutepoints", "X81C291357E5B2408" ],
[ "\033[2XAbsolutePoints\033[102X", "6.3-2", [ 6, 3, 2 ], 364, 115,
"absolutepoints", "X8686AB4D798970BC" ],
[ "\033[2XPolarSpace\033[102X", "6.3-3", [ 6, 3, 3 ], 399, 115,
"polarspace", "X863BC8E57C98A471" ],
[ "\033[2XIsClassicalPolarSpace\033[102X", "7.1-1", [ 7, 1, 1 ], 42, 117,
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
2026-04-02
|
