Spracherkennung für: .six vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#SIXFORMAT GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "NConvex",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
],
[ "Table of Contents", "0.0-1", [ 0, 0, 1 ], 43, 2, "table of contents",
"X8537FEB07AF2BEC8" ],
[ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1",
[ 1, 0, 0 ], 1, 3, "introduction", "X7DFB63A97E67C0A1" ],
[ "\033[1X\033[33X\033[0;-2YInstallation\033[133X\033[101X", "1.1",
[ 1, 1, 0 ], 10, 3, "installation", "X8360C04082558A12" ],
[ "\033[1X\033[33X\033[0;-2YRequirements\033[133X\033[101X", "1.2",
[ 1, 2, 0 ], 13, 3, "requirements", "X85A08CF187A6D986" ],
[ "\033[1X\033[33X\033[0;-2YFunctionality\033[133X\033[101X", "2",
[ 2, 0, 0 ], 1, 5, "functionality", "X87F1120883F5B4D0" ],
[ "\033[1X\033[33X\033[0;-2YConvex objects\033[133X\033[101X", "3",
[ 3, 0, 0 ], 1, 6, "convex objects", "X8359268B7FDA6AEC" ],
[ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "3.1",
[ 3, 1, 0 ], 4, 6, "attributes", "X7C701DBF7BAE649A" ],
[ "\033[1X\033[33X\033[0;-2YCones\033[133X\033[101X", "4", [ 4, 0, 0 ], 1,
7, "cones", "X8524A7567BA4FFA6" ],
[ "\033[1X\033[33X\033[0;-2YCreating cones\033[133X\033[101X", "4.1",
[ 4, 1, 0 ], 4, 7, "creating cones", "X837F56037886A1EF" ],
[ "\033[1X\033[33X\033[0;-2YAttributes of Cones\033[133X\033[101X", "4.2",
[ 4, 2, 0 ], 41, 8, "attributes of cones", "X85EE90A37DE1E3AC" ],
[ "\033[1X\033[33X\033[0;-2YProperties of Cones\033[133X\033[101X", "4.3",
[ 4, 3, 0 ], 178, 10, "properties of cones", "X7DD2805F7DF61F97" ],
[ "\033[1X\033[33X\033[0;-2YOperations on cones\033[133X\033[101X", "4.4",
[ 4, 4, 0 ], 202, 10, "operations on cones", "X843CBBD37FC2827B" ],
[ "\033[1X\033[33X\033[0;-2YFans\033[133X\033[101X", "5", [ 5, 0, 0 ], 1,
15, "fans", "X7EB0337A86DDD2F1" ],
[ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "5.1",
[ 5, 1, 0 ], 4, 15, "constructors", "X86EC0F0A78ECBC10" ],
[ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "5.2",
[ 5, 2, 0 ], 164, 18, "attributes", "X7C701DBF7BAE649A" ],
[ "\033[1X\033[33X\033[0;-2YProperties\033[133X\033[101X", "5.3",
[ 5, 3, 0 ], 208, 18, "properties", "X871597447BB998A1" ],
[ "\033[1X\033[33X\033[0;-2YOperations on fans\033[133X\033[101X", "5.4",
[ 5, 4, 0 ], 270, 19, "operations on fans", "X86BC038782EFD451" ],
[ "\033[1X\033[33X\033[0;-2YPolyhedrons\033[133X\033[101X", "6",
[ 6, 0, 0 ], 1, 21, "polyhedrons", "X85633D87813F12B0" ],
[ "\033[1X\033[33X\033[0;-2YCreating polyhedron\033[133X\033[101X", "6.1",
[ 6, 1, 0 ], 4, 21, "creating polyhedron", "X7C1A095983C57A83" ],
[ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "6.2",
[ 6, 2, 0 ], 50, 22, "attributes", "X7C701DBF7BAE649A" ],
[ "\033[1X\033[33X\033[0;-2YProperties\033[133X\033[101X", "6.3",
[ 6, 3, 0 ], 142, 23, "properties", "X871597447BB998A1" ],
[ "\033[1X\033[33X\033[0;-2YSolving Linear programs\033[133X\033[101X",
"6.4", [ 6, 4, 0 ], 222, 25, "solving linear programs",
"X819F85537D5D9D15" ],
[ "\033[1X\033[33X\033[0;-2YZSolve\033[133X\033[101X", "6.5", [ 6, 5, 0 ],
272, 26, "zsolve", "X84237872798DB501" ],
[ "\033[1X\033[33X\033[0;-2YPolytopes\033[133X\033[101X", "7", [ 7, 0, 0 ],
1, 28, "polytopes", "X7B933C4686727183" ],
[ "\033[1X\033[33X\033[0;-2YCreating polytopes\033[133X\033[101X", "7.1",
[ 7, 1, 0 ], 4, 28, "creating polytopes", "X801887DC7E5F6AB7" ],
[ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "7.2",
[ 7, 2, 0 ], 26, 28, "attributes", "X7C701DBF7BAE649A" ],
[ "\033[1X\033[33X\033[0;-2YProperties\033[133X\033[101X", "7.3",
[ 7, 3, 0 ], 140, 30, "properties", "X871597447BB998A1" ],
[ "\033[1X\033[33X\033[0;-2YOperations on polytopes\033[133X\033[101X",
"7.4", [ 7, 4, 0 ], 237, 32, "operations on polytopes",
"X7B71F2A2834E84CE" ],
[ "Index", "ind", [ "Ind", 0, 0 ], 1, 35, "index", "X83A0356F839C696F" ],
[ "\033[2XAmbientSpaceDimension\033[102X for IsConvexObject", "3.1-1",
[ 3, 1, 1 ], 7, 6, "ambientspacedimension for isconvexobject",
"X7D87C111848F25C5" ],
[ "\033[2XDimension\033[102X for IsConvexObject", "3.1-2", [ 3, 1, 2 ], 15,
6, "dimension for isconvexobject", "X79D9BB0F7BB3B411" ],
[ "\033[2XIsFullDimensional\033[102X for IsConvexObject", "3.1-3",
[ 3, 1, 3 ], 22, 6, "isfulldimensional for isconvexobject",
"X7E660B6A7B6D0A9D" ],
[ "\033[2XInteriorPoint\033[102X for IsConvexObject", "3.1-4", [ 3, 1, 4 ],
29, 6, "interiorpoint for isconvexobject", "X8401C12C7937C521" ],
[ "\033[2XConeByInequalities\033[102X for IsList", "4.1-1", [ 4, 1, 1 ], 7,
7, "conebyinequalities for islist", "X7E6FB9EC7DFF5403" ],
[ "\033[2XConeByEqualitiesAndInequalities\033[102X for IsList, IsList",
"4.1-2", [ 4, 1, 2 ], 17, 7,
"conebyequalitiesandinequalities for islist islist",
"X8711F345805C5FBD" ],
[ "\033[2XCone\033[102X for IsList", "4.1-3", [ 4, 1, 3 ], 25, 7,
"cone for islist", "X7F0634207B3A4EC6" ],
[ "\033[2XCone\033[102X for IsCddPolyhedron", "4.1-4", [ 4, 1, 4 ], 33, 7,
"cone for iscddpolyhedron", "X7CD248238093A748" ],
[ "\033[2XDefiningInequalities\033[102X for IsCone", "4.2-1", [ 4, 2, 1 ],
44, 8, "defininginequalities for iscone", "X80468DD7834C2EFD" ],
[ "\033[2XEqualitiesOfCone\033[102X for IsCone", "4.2-2", [ 4, 2, 2 ], 51,
8, "equalitiesofcone for iscone", "X782F9A6E82AC6EA4" ],
[ "\033[2XDualCone\033[102X for IsCone", "4.2-3", [ 4, 2, 3 ], 59, 8,
"dualcone for iscone", "X80DB81B58590FC36" ],
[ "\033[2XFacesOfCone\033[102X for IsCone", "4.2-4", [ 4, 2, 4 ], 66, 8,
"facesofcone for iscone", "X825F3C9380C4E2EE" ],
[ "\033[2XFacets\033[102X for IsCone", "4.2-5", [ 4, 2, 5 ], 73, 8,
"facets for iscone", "X82C77B2A8235567E" ],
[ "\033[2XFVector\033[102X for IsCone", "4.2-6", [ 4, 2, 6 ], 80, 8,
"fvector for iscone", "X817CAD1E84C0757A" ],
[ "\033[2XRelativeInteriorRay\033[102X for IsCone", "4.2-7", [ 4, 2, 7 ],
87, 8, "relativeinteriorray for iscone", "X81488179780BE42F" ],
[ "\033[2XHilbertBasis\033[102X for IsCone", "4.2-8", [ 4, 2, 8 ], 94, 8,
"hilbertbasis for iscone", "X7EB6BB087BE2FFD6" ],
[ "\033[2XHilbertBasisOfDualCone\033[102X for IsCone", "4.2-9",
[ 4, 2, 9 ], 101, 9, "hilbertbasisofdualcone for iscone",
"X8445477A83A137CB" ],
[ "\033[2XLinealitySpaceGenerators\033[102X for IsCone", "4.2-10",
[ 4, 2, 10 ], 108, 9, "linealityspacegenerators for iscone",
"X815F2FC4821A961D" ],
[ "\033[2XExternalCddCone\033[102X for IsCone", "4.2-11", [ 4, 2, 11 ],
115, 9, "externalcddcone for iscone", "X7CFFCB5C7F4C183D" ],
[ "\033[2XExternalNmzCone\033[102X for IsCone", "4.2-12", [ 4, 2, 12 ],
123, 9, "externalnmzcone for iscone", "X79B4436C8051BA08" ],
[ "\033[2XAmbientSpaceDimension\033[102X for IsCone", "4.2-13",
[ 4, 2, 13 ], 131, 9, "ambientspacedimension for iscone",
"X83709F0380B097BD" ],
[ "\033[2XLatticePointsGenerators\033[102X for IsCone", "4.2-14",
[ 4, 2, 14 ], 139, 9, "latticepointsgenerators for iscone",
"X7DC52F6B8490C5C4" ],
[ "\033[2XGridGeneratedByCone\033[102X for IsCone", "4.2-15", [ 4, 2, 15 ],
147, 9, "gridgeneratedbycone for iscone", "X7B0DA052877CE7BC" ],
[ "\033[2XFactorGrid\033[102X for IsCone", "4.2-16", [ 4, 2, 16 ], 155, 10,
"factorgrid for iscone", "X8267BFA47CD282E1" ],
[ "\033[2XFactorGridMorphism\033[102X for IsCone", "4.2-17", [ 4, 2, 17 ],
163, 10, "factorgridmorphism for iscone", "X7A807C828273D4ED" ],
[ "\033[2XGridGeneratedByOrthogonalCone\033[102X for IsCone", "4.2-18",
[ 4, 2, 18 ], 170, 10, "gridgeneratedbyorthogonalcone for iscone",
"X849EFCA77CE04DF9" ],
[ "\033[2XIsRegularCone\033[102X for IsCone", "4.3-1", [ 4, 3, 1 ], 181,
10, "isregularcone for iscone", "X8490C19A78ED287A" ],
[ "\033[2XIsRay\033[102X for IsCone", "4.3-2", [ 4, 3, 2 ], 188, 10,
"isray for iscone", "X831EBE117FC07C40" ],
[ "\033[2XIsZero\033[102X for IsCone", "4.3-3", [ 4, 3, 3 ], 195, 10,
"iszero for iscone", "X810956D0823BDA51" ],
[ "\033[2XFourierProjection\033[102X for IsCone, IsInt", "4.4-1",
[ 4, 4, 1 ], 205, 10, "fourierprojection for iscone isint",
"X782E6C6684E1514D" ],
[ "\033[2XIntersectionOfCones\033[102X for IsCone, IsCone", "4.4-2",
[ 4, 4, 2 ], 213, 11, "intersectionofcones for iscone iscone",
"X80715AC378616F14" ],
[ "\033[2XIntersectionOfCones\033[102X for IsList", "4.4-3", [ 4, 4, 3 ],
220, 11, "intersectionofcones for islist", "X7946B20D834F31D2" ],
[ "\033[2XContains\033[102X for IsCone, IsCone", "4.4-4", [ 4, 4, 4 ], 227,
11, "contains for iscone iscone", "X825A7CBD79653961" ],
[ "\033[2XIsRelativeInteriorRay\033[102X for IsList, IsCone", "4.4-5",
[ 4, 4, 5 ], 234, 11, "isrelativeinteriorray for islist iscone",
"X81FBC83B87053C56" ],
[ "\033[2XNonReducedInequalities\033[102X for IsCone", "4.4-6",
[ 4, 4, 6 ], 371, 13, "nonreducedinequalities for iscone",
"X7C52373C83B9282D" ],
[ "\033[2XFan\033[102X for IsFan", "5.1-1", [ 5, 1, 1 ], 7, 15,
"fan for isfan", "X7F5B09727CD79D17" ],
[ "\033[2XFan\033[102X for IsList", "5.1-2", [ 5, 1, 2 ], 14, 15,
"fan for islist", "X7FB87B4983087091" ],
[ "\033[2XFan\033[102X for IsList, IsList", "5.1-3", [ 5, 1, 3 ], 22, 15,
"fan for islist islist", "X7A1FD0BD845E3588" ],
[ "\033[2XFansFromTriangulation\033[102X for IsList", "5.1-4", [ 5, 1, 4 ],
118, 17, "fansfromtriangulation for islist", "X7D5DE7F08555C8E8" ],
[ "\033[2XFanFromTriangulation\033[102X for IsList", "5.1-5", [ 5, 1, 5 ],
128, 17, "fanfromtriangulation for islist", "X853CC6BB854AA139" ],
[ "\033[2XRayGenerators\033[102X for IsFan", "5.2-1", [ 5, 2, 1 ], 167, 18,
"raygenerators for isfan", "X789156E3828930D2" ],
[ "\033[2XGivenRayGenerators\033[102X for IsFan", "5.2-2", [ 5, 2, 2 ],
175, 18, "givenraygenerators for isfan", "X86CB98CC80E9C36E" ],
[ "\033[2XRaysInMaximalCones\033[102X for IsFan", "5.2-3", [ 5, 2, 3 ],
183, 18, "raysinmaximalcones for isfan", "X7B0FAF0A8246F5AE" ],
[ "\033[2XMaximalCones\033[102X for IsFan", "5.2-4", [ 5, 2, 4 ], 194, 18,
"maximalcones for isfan", "X7D586B547A8DB803" ],
[ "\033[2XFVector\033[102X for IsFan", "5.2-5", [ 5, 2, 5 ], 201, 18,
"fvector for isfan", "X7E5274F987E8FFC5" ],
[ "\033[2XIsWellDefinedFan\033[102X for IsFan", "5.3-1", [ 5, 3, 1 ], 211,
18, "iswelldefinedfan for isfan", "X81189D5287FFBEDF" ],
[ "\033[2XIsComplete\033[102X for IsFan", "5.3-2", [ 5, 3, 2 ], 218, 18,
"iscomplete for isfan", "X87963F4C84C9EA21" ],
[ "\033[2XIsPointed\033[102X for IsFan", "5.3-3", [ 5, 3, 3 ], 225, 19,
"ispointed for isfan", "X7BE6F87D7BB9A6CD" ],
[ "\033[2XIsSmooth\033[102X for IsFan", "5.3-4", [ 5, 3, 4 ], 233, 19,
"issmooth for isfan", "X7C694ECC81F4DECF" ],
[ "\033[2XIsSimplicial\033[102X for IsFan", "5.3-5", [ 5, 3, 5 ], 240, 19,
"issimplicial for isfan", "X78A031D8848E0FF8" ],
[ "\033[2XIsNormalFan\033[102X for IsFan", "5.3-6", [ 5, 3, 6 ], 248, 19,
"isnormalfan for isfan", "X85C533997DC6B46A" ],
[ "\033[2XIsRegularFan\033[102X for IsFan", "5.3-7", [ 5, 3, 7 ], 256, 19,
"isregularfan for isfan", "X7A2AE62C86CE72B8" ],
[ "\033[2XIsFanoFan\033[102X for IsFan", "5.3-8", [ 5, 3, 8 ], 263, 19,
"isfanofan for isfan", "X81D74C107DBB7C21" ],
[ "\033[2XPolyhedronByInequalities\033[102X for IsList", "6.1-1",
[ 6, 1, 1 ], 7, 21, "polyhedronbyinequalities for islist",
"X83EF304B85ED4C5B" ],
[ "\033[2XPolyhedron\033[102X for IsPolytope, IsCone", "6.1-2",
[ 6, 1, 2 ], 17, 21, "polyhedron for ispolytope iscone",
"X842F90887840D3B9" ],
[ "\033[2XPolyhedron\033[102X for IsList, IsCone", "6.1-3", [ 6, 1, 3 ],
25, 21, "polyhedron for islist iscone", "X861DE99B8007A4C4" ],
[ "\033[2XPolyhedron\033[102X for IsPolytope, IsList", "6.1-4",
[ 6, 1, 4 ], 34, 21, "polyhedron for ispolytope islist",
"X78BCB2888114F56F" ],
[ "\033[2XPolyhedron\033[102X for IsList, IsList", "6.1-5", [ 6, 1, 5 ],
42, 21, "polyhedron for islist islist", "X7A8ECB9B8542EDFF" ],
[ "\033[2XExternalCddPolyhedron\033[102X for IsPolyhedron", "6.2-1",
[ 6, 2, 1 ], 53, 22, "externalcddpolyhedron for ispolyhedron",
"X7ECCE0E480D88952" ],
[ "\033[2XExternalNmzPolyhedron\033[102X for IsPolyhedron", "6.2-2",
[ 6, 2, 2 ], 61, 22, "externalnmzpolyhedron for ispolyhedron",
"X7C7CC5497FC52B67" ],
[ "\033[2XDefiningInequalities\033[102X for IsPolyhedron", "6.2-3",
[ 6, 2, 3 ], 69, 22, "defininginequalities for ispolyhedron",
"X842632AB7A09A820" ],
[ "\033[2XMainRatPolytope\033[102X for IsPolyhedron", "6.2-4", [ 6, 2, 4 ],
76, 22, "mainratpolytope for ispolyhedron", "X87375C8586090666" ],
[ "\033[2XMainPolytope\033[102X for IsPolyhedron", "6.2-5", [ 6, 2, 5 ],
83, 22, "mainpolytope for ispolyhedron", "X7A16114A7FFB3309" ],
[ "\033[2XVerticesOfMainRatPolytope\033[102X for IsPolyhedron", "6.2-6",
[ 6, 2, 6 ], 90, 22, "verticesofmainratpolytope for ispolyhedron",
"X7A3FB56D7E895535" ],
[ "\033[2XVerticesOfMainPolytope\033[102X for IsPolyhedron", "6.2-7",
[ 6, 2, 7 ], 97, 22, "verticesofmainpolytope for ispolyhedron",
"X8697AC27862160FE" ],
[ "\033[2XTailCone\033[102X for IsPolyhedron", "6.2-8", [ 6, 2, 8 ], 104,
23, "tailcone for ispolyhedron", "X7C248476851AEB4A" ],
[ "\033[2XRayGeneratorsOfTailCone\033[102X for IsPolyhedron", "6.2-9",
[ 6, 2, 9 ], 111, 23, "raygeneratorsoftailcone for ispolyhedron",
"X7DB9524D7C1A5361" ],
[ "\033[2XLatticePointsGenerators\033[102X for IsPolyhedron", "6.2-10",
[ 6, 2, 10 ], 118, 23, "latticepointsgenerators for ispolyhedron",
"X79351A698787C5CA" ],
[ "\033[2XBasisOfLinealitySpace\033[102X for IsPolyhedron", "6.2-11",
[ 6, 2, 11 ], 127, 23, "basisoflinealityspace for ispolyhedron",
"X7B57BEAF78559D12" ],
[ "\033[2XFVector\033[102X for IsPolyhedron", "6.2-12", [ 6, 2, 12 ], 135,
23, "fvector for ispolyhedron", "X81435DD28524EEE8" ],
[ "\033[2XIsBounded\033[102X for IsPolyhedron", "6.3-1", [ 6, 3, 1 ], 145,
23, "isbounded for ispolyhedron", "X7B25E29378AF4489" ],
[ "\033[2XIsPointed\033[102X for IsPolyhedron", "6.3-2", [ 6, 3, 2 ], 152,
23, "ispointed for ispolyhedron", "X7B8DDCE685798D9C" ],
[ "\033[2XSolveLinearProgram\033[102X for IsPolyhedron, IsString, IsList",
"6.4-1", [ 6, 4, 1 ], 228, 25,
"solvelinearprogram for ispolyhedron isstring islist",
"X879BD74A7F6327B2" ],
[ "\033[2XSolveLinearProgram\033[102X for IsPolytope, IsString, IsList",
"6.4-2", [ 6, 4, 2 ], 239, 25,
"solvelinearprogram for ispolytope isstring islist",
"X7F4FE0C883B8AA50" ],
[ "\033[2XSolveEqualitiesAndInequalitiesOverIntergers\033[102X", "6.5-1",
[ 6, 5, 1 ], 275, 26, "solveequalitiesandinequalitiesoverintergers",
"X81CA403280755A9B" ],
[ "\033[2XPolytopeByInequalities\033[102X for IsList", "7.1-1",
[ 7, 1, 1 ], 7, 28, "polytopebyinequalities for islist",
"X83FB00B383A19F03" ],
[ "\033[2XPolytope\033[102X for IsList", "7.1-2", [ 7, 1, 2 ], 18, 28,
"polytope for islist", "X81DC4EE8849B08DA" ],
[ "\033[2XExternalCddPolytope\033[102X for IsPolytope", "7.2-1",
[ 7, 2, 1 ], 29, 28, "externalcddpolytope for ispolytope",
"X7D8727917B72396A" ],
[ "\033[2XLatticePoints\033[102X for IsPolytope", "7.2-2", [ 7, 2, 2 ], 37,
28, "latticepoints for ispolytope", "X83B1CBC67B34BE04" ],
[ "\033[2XRelativeInteriorLatticePoints\033[102X for IsPolytope", "7.2-3",
[ 7, 2, 3 ], 44, 28, "relativeinteriorlatticepoints for ispolytope",
"X7FB9E36C7B6C616F" ],
[ "\033[2XVerticesOfPolytope\033[102X for IsPolytope", "7.2-4",
[ 7, 2, 4 ], 51, 29, "verticesofpolytope for ispolytope",
"X816ACBEF786C23F2" ],
[ "\033[2XVertices\033[102X for IsPolytope", "7.2-5", [ 7, 2, 5 ], 58, 29,
"vertices for ispolytope", "X805FCCD583DACF8F" ],
[ "\033[2XDefiningInequalities\033[102X for IsPolytope", "7.2-6",
[ 7, 2, 6 ], 65, 29, "defininginequalities for ispolytope",
"X7B39989A7F321147" ],
[ "\033[2XEqualitiesOfPolytope\033[102X for IsPolytope", "7.2-7",
[ 7, 2, 7 ], 75, 29, "equalitiesofpolytope for ispolytope",
"X7DAF68C08043105D" ],
[ "\033[2XFacetInequalities\033[102X for IsPolytope", "7.2-8", [ 7, 2, 8 ],
82, 29, "facetinequalities for ispolytope", "X7FDABF3D84E67F2C" ],
[ "\033[2XVerticesInFacets\033[102X for IsPolytope", "7.2-9", [ 7, 2, 9 ],
91, 29, "verticesinfacets for ispolytope", "X7EC0B0818106EA50" ],
[ "\033[2XNormalFan\033[102X for IsPolytope", "7.2-10", [ 7, 2, 10 ], 100,
29, "normalfan for ispolytope", "X7DE7E52D800A7258" ],
[ "\033[2XFaceFan\033[102X for IsPolytope", "7.2-11", [ 7, 2, 11 ], 107,
30, "facefan for ispolytope", "X8453091478A4C0F1" ],
[ "\033[2XAffineCone\033[102X for IsPolytope", "7.2-12", [ 7, 2, 12 ], 116,
30, "affinecone for ispolytope", "X85EC550B7FCAECB5" ],
[ "\033[2XPolarPolytope\033[102X for IsPolytope", "7.2-13", [ 7, 2, 13 ],
126, 30, "polarpolytope for ispolytope", "X7ACC98FD78ACDC57" ],
[ "\033[2XDualPolytope\033[102X for IsPolytope", "7.2-14", [ 7, 2, 14 ],
133, 30, "dualpolytope for ispolytope", "X8349F8DA81418C35" ],
[ "\033[2XIsEmpty\033[102X for IsPolytope", "7.3-1", [ 7, 3, 1 ], 143, 30,
"isempty for ispolytope", "X863F64947BDFC654" ],
[ "\033[2XIsLatticePolytope\033[102X for IsPolytope", "7.3-2", [ 7, 3, 2 ],
150, 30, "islatticepolytope for ispolytope", "X85181A5986107254" ],
[ "\033[2XIsVeryAmple\033[102X for IsPolytope", "7.3-3", [ 7, 3, 3 ], 157,
30, "isveryample for ispolytope", "X7918DAE87B159619" ],
[ "\033[2XIsNormalPolytope\033[102X for IsPolytope", "7.3-4", [ 7, 3, 4 ],
164, 31, "isnormalpolytope for ispolytope", "X851AD9E684CA7434" ],
[ "\033[2XIsSimplicial\033[102X for IsPolytope", "7.3-5", [ 7, 3, 5 ], 171,
31, "issimplicial for ispolytope", "X7F39F2BF835AA337" ],
[ "\033[2XIsSimplexPolytope\033[102X for IsPolytope", "7.3-6", [ 7, 3, 6 ],
178, 31, "issimplexpolytope for ispolytope", "X797F6A0778C70DD0" ],
[ "\033[2XIsSimplePolytope\033[102X for IsPolytope", "7.3-7", [ 7, 3, 7 ],
185, 31, "issimplepolytope for ispolytope", "X815A80E785E52474" ],
[ "\033[2XIsReflexive\033[102X for IsPolytope", "7.3-8", [ 7, 3, 8 ], 192,
31, "isreflexive for ispolytope", "X85BE2236780D0957" ],
[ "\033[2XIsFanoPolytope\033[102X for IsPolytope", "7.3-9", [ 7, 3, 9 ],
200, 31, "isfanopolytope for ispolytope", "X85DEC39081FD04E9" ],
[ "\033[2XIsCanonicalFanoPolytope\033[102X for IsPolytope", "7.3-10",
[ 7, 3, 10 ], 210, 31, "iscanonicalfanopolytope for ispolytope",
"X780D5BDE7C177166" ],
[ "\033[2XIsTerminalFanoPolytope\033[102X for IsPolytope", "7.3-11",
[ 7, 3, 11 ], 219, 32, "isterminalfanopolytope for ispolytope",
"X78B2B9747E9A6FEA" ],
[ "\033[2XIsSmoothFanoPolytope\033[102X for IsPolytope", "7.3-12",
[ 7, 3, 12 ], 228, 32, "issmoothfanopolytope for ispolytope",
"X7946CEA886A48F96" ],
[ "\033[2X\\+\033[102X for IsPolytope, IsPolytope", "7.4-1", [ 7, 4, 1 ],
240, 32, "+ for ispolytope ispolytope", "X7F9303847F938C87" ],
[ "\033[2X\\*\033[102X for IsInt, IsPolytope", "7.4-2", [ 7, 4, 2 ], 247,
32, "* for isint ispolytope", "X7AEF19987E29612E" ],
[ "\033[2XIntersectionOfPolytopes\033[102X for IsPolytope, IsPolytope",
"7.4-3", [ 7, 4, 3 ], 254, 32,
"intersectionofpolytopes for ispolytope ispolytope",
"X8079AF527BA681D1" ],
[ "\033[2XRandomInteriorPoint\033[102X for IsPolytope", "7.4-4",
[ 7, 4, 4 ], 261, 32, "randominteriorpoint for ispolytope",
"X7F2AE1197AAFF273" ],
[ "\033[2XIsInteriorPoint\033[102X for IsList,IsPolytope", "7.4-5",
[ 7, 4, 5 ], 268, 32, "isinteriorpoint for islist ispolytope",
"X7E36517B808D2E44" ] ]
);
