@@ -29,7 +29,7 @@ <h1>CAP</h1>
2929< h2 > Categories, Algorithms, Programming</ h2 >
3030
3131< p >
32- 2025.07-01 </ p >
32+ 2025.07-02 </ p >
3333
3434< p >
3535 3 July 2025
@@ -1229,37 +1229,38 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
12291229< span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X816D0A767BD73071 "> 9.2-22 CapJitAddTypeSignature</ a > </ span >
12301230< span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X78CFB24B81162C1D "> 9.2-23 CapJitDataTypeOfListOf</ a > </ span >
12311231< span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X877F7F6081692CDF "> 9.2-24 CapJitDataTypeOfNTupleOf</ a > </ span >
1232- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X791E1AB37D1DE205 "> 9.2-25 CapJitDataTypeOfRing</ a > </ span >
1233- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X812BAF8D81DBE36B "> 9.2-26 CapJitDataTypeOfCategory</ a > </ span >
1234- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X874807C979EDC49B "> 9.2-27 CapJitTypedExpression</ a > </ span >
1235- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X824449507B8AC925 "> 9.2-28 CapFixpoint</ a > </ span >
1236- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X83607E077857CBDB "> 9.2-29 Iterated</ a > </ span >
1237- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7D4C0F987B13D58D "> 9.2-30 Iterated</ a > </ span >
1238- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7FA62DB97B67C4AB "> 9.2-31 TransitivelyNeededOtherPackages</ a > </ span >
1239- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7E9D968D86A536EF "> 9.2-32 PackageOfCAPOperation</ a > </ span >
1240- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X844FE77D85C951AA "> 9.2-33 SafePosition</ a > </ span >
1241- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X85FE589D84D60BEC "> 9.2-34 SafeUniquePosition</ a > </ span >
1242- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X81DF04B87E3C9D0D "> 9.2-35 SafePositionProperty</ a > </ span >
1243- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X810EE26082CAA38E "> 9.2-36 SafeUniquePositionProperty</ a > </ span >
1244- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X860EA891868B5777 "> 9.2-37 SafeFirst</ a > </ span >
1245- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X8608EAF482DAC239 "> 9.2-38 SafeUniqueEntry</ a > </ span >
1246- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7F2E50C87EC6E530 "> 9.2-39 NTuple</ a > </ span >
1247- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7A63799B824FAEBA "> 9.2-40 Pair</ a > </ span >
1248- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7C52730F8526A57E "> 9.2-41 Triple</ a > </ span >
1249- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7AE413027C8587FE "> 9.2-42 TransposedMatWithGivenDimensions</ a > </ span >
1250- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7B339750826300B4 "> 9.2-43 HandlePrecompiledTowers</ a > </ span >
1251- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7D06D3287E3BFCBB "> 9.2-44 CAP_JIT_INCOMPLETE_LOGIC</ a > </ span >
1252- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X859ADC8783342268 "> 9.2-45 CAP_JIT_EXPR_CASE_WRAPPER</ a > </ span >
1253- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7F313F4B853D176C "> 9.2-46 ListWithKeys</ a > </ span >
1254- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X873A487F7DA2A359 "> 9.2-47 SumWithKeys</ a > </ span >
1255- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X8321F3D8876ADA2D "> 9.2-48 ProductWithKeys</ a > </ span >
1256- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7F0574797C13C966 "> 9.2-49 ForAllWithKeys</ a > </ span >
1257- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X812F59097E8E7562 "> 9.2-50 ForAnyWithKeys</ a > </ span >
1258- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X8322F3FF84EC9AEB "> 9.2-51 NumberWithKeys</ a > </ span >
1259- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7D0B0ECF7F70FB8E "> 9.2-52 FilteredWithKeys</ a > </ span >
1260- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7914B5437CBEB3EC "> 9.2-53 FirstWithKeys</ a > </ span >
1261- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X849D015F79B08FCC "> 9.2-54 LastWithKeys</ a > </ span >
1262- < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X81386B5D7CE25406 "> 9.2-55 CreateGapObjectWithAttributes</ a > </ span >
1232+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X859BFCA17B526A4F "> 9.2-25 CapJitDataTypeOfGroup</ a > </ span >
1233+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X791E1AB37D1DE205 "> 9.2-26 CapJitDataTypeOfRing</ a > </ span >
1234+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X812BAF8D81DBE36B "> 9.2-27 CapJitDataTypeOfCategory</ a > </ span >
1235+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X874807C979EDC49B "> 9.2-28 CapJitTypedExpression</ a > </ span >
1236+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X824449507B8AC925 "> 9.2-29 CapFixpoint</ a > </ span >
1237+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X83607E077857CBDB "> 9.2-30 Iterated</ a > </ span >
1238+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7D4C0F987B13D58D "> 9.2-31 Iterated</ a > </ span >
1239+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7FA62DB97B67C4AB "> 9.2-32 TransitivelyNeededOtherPackages</ a > </ span >
1240+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7E9D968D86A536EF "> 9.2-33 PackageOfCAPOperation</ a > </ span >
1241+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X844FE77D85C951AA "> 9.2-34 SafePosition</ a > </ span >
1242+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X85FE589D84D60BEC "> 9.2-35 SafeUniquePosition</ a > </ span >
1243+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X81DF04B87E3C9D0D "> 9.2-36 SafePositionProperty</ a > </ span >
1244+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X810EE26082CAA38E "> 9.2-37 SafeUniquePositionProperty</ a > </ span >
1245+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X860EA891868B5777 "> 9.2-38 SafeFirst</ a > </ span >
1246+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X8608EAF482DAC239 "> 9.2-39 SafeUniqueEntry</ a > </ span >
1247+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7F2E50C87EC6E530 "> 9.2-40 NTuple</ a > </ span >
1248+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7A63799B824FAEBA "> 9.2-41 Pair</ a > </ span >
1249+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7C52730F8526A57E "> 9.2-42 Triple</ a > </ span >
1250+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7AE413027C8587FE "> 9.2-43 TransposedMatWithGivenDimensions</ a > </ span >
1251+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7B339750826300B4 "> 9.2-44 HandlePrecompiledTowers</ a > </ span >
1252+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7D06D3287E3BFCBB "> 9.2-45 CAP_JIT_INCOMPLETE_LOGIC</ a > </ span >
1253+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X859ADC8783342268 "> 9.2-46 CAP_JIT_EXPR_CASE_WRAPPER</ a > </ span >
1254+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7F313F4B853D176C "> 9.2-47 ListWithKeys</ a > </ span >
1255+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X873A487F7DA2A359 "> 9.2-48 SumWithKeys</ a > </ span >
1256+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X8321F3D8876ADA2D "> 9.2-49 ProductWithKeys</ a > </ span >
1257+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7F0574797C13C966 "> 9.2-50 ForAllWithKeys</ a > </ span >
1258+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X812F59097E8E7562 "> 9.2-51 ForAnyWithKeys</ a > </ span >
1259+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X8322F3FF84EC9AEB "> 9.2-52 NumberWithKeys</ a > </ span >
1260+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7D0B0ECF7F70FB8E "> 9.2-53 FilteredWithKeys</ a > </ span >
1261+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X7914B5437CBEB3EC "> 9.2-54 FirstWithKeys</ a > </ span >
1262+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X849D015F79B08FCC "> 9.2-55 LastWithKeys</ a > </ span >
1263+ < span class ="ContSS "> < br /> < span class ="nocss "> </ span > < a href ="chap9.html#X81386B5D7CE25406 "> 9.2-56 CreateGapObjectWithAttributes</ a > </ span >
12631264</ div > </ div >
12641265</ div >
12651266< div class ="ContChap "> < a href ="chap10.html#X857CF4D487158F26 "> 10 < span class ="Heading "> Limits and Colimits</ span > </ a >
0 commit comments