diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g index d5cabdede2..f45e4e8f05 100644 --- a/CAP/PackageInfo.g +++ b/CAP/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CAP", Subtitle := "Categories, Algorithms, Programming", -Version := "2023.06-05", +Version := "2023.06-06", Date := "2023-06-26", License := "GPL-2.0-or-later", diff --git a/CAP/doc/chap0.html b/CAP/doc/chap0.html index b6fc41a799..5b787df4c9 100644 --- a/CAP/doc/chap0.html +++ b/CAP/doc/chap0.html @@ -29,7 +29,7 @@

CAP

Categories, Algorithms, Programming

- 2023.06-05

+ 2023.06-06

26 June 2023 @@ -1188,31 +1188,32 @@

Contents


  9.2-22 CapJitAddTypeSignature
  9.2-23 CapJitAddTypeSignatureDeferred
  9.2-24 CapJitDataTypeOfListOf -
  9.2-25 CapJitDataTypeOfCategory -
  9.2-26 CapFixpoint -
  9.2-27 Iterated -
  9.2-28 TransitivelyNeededOtherPackages -
  9.2-29 PackageOfCAPOperation -
  9.2-30 SafePosition -
  9.2-31 SafeUniquePosition -
  9.2-32 SafePositionProperty -
  9.2-33 SafeUniquePositionProperty -
  9.2-34 SafeFirst -
  9.2-35 SafeUniqueEntry -
  9.2-36 NTuple -
  9.2-37 Pair -
  9.2-38 Triple -
  9.2-39 HandlePrecompiledTowers -
  9.2-40 CAP_JIT_INCOMPLETE_LOGIC -
  9.2-41 ListWithKeys -
  9.2-42 SumWithKeys -
  9.2-43 ProductWithKeys -
  9.2-44 ForAllWithKeys -
  9.2-45 ForAnyWithKeys -
  9.2-46 NumberWithKeys -
  9.2-47 FilteredWithKeys -
  9.2-48 FirstWithKeys -
  9.2-49 LastWithKeys +
  9.2-25 CapJitDataTypeOfNTupleOf +
  9.2-26 CapJitDataTypeOfCategory +
  9.2-27 CapFixpoint +
  9.2-28 Iterated +
  9.2-29 TransitivelyNeededOtherPackages +
  9.2-30 PackageOfCAPOperation +
  9.2-31 SafePosition +
  9.2-32 SafeUniquePosition +
  9.2-33 SafePositionProperty +
  9.2-34 SafeUniquePositionProperty +
  9.2-35 SafeFirst +
  9.2-36 SafeUniqueEntry +
  9.2-37 NTuple +
  9.2-38 Pair +
  9.2-39 Triple +
  9.2-40 HandlePrecompiledTowers +
  9.2-41 CAP_JIT_INCOMPLETE_LOGIC +
  9.2-42 ListWithKeys +
  9.2-43 SumWithKeys +
  9.2-44 ProductWithKeys +
  9.2-45 ForAllWithKeys +
  9.2-46 ForAnyWithKeys +
  9.2-47 NumberWithKeys +
  9.2-48 FilteredWithKeys +
  9.2-49 FirstWithKeys +
  9.2-50 LastWithKeys
10 Limits and Colimits diff --git a/CAP/doc/chap0.txt b/CAP/doc/chap0.txt index ea53ab7c92..198e480894 100644 --- a/CAP/doc/chap0.txt +++ b/CAP/doc/chap0.txt @@ -6,7 +6,7 @@  Categories, Algorithms, Programming  - 2023.06-05 + 2023.06-06 26 June 2023 @@ -924,31 +924,32 @@ 9.2-22 CapJitAddTypeSignature 9.2-23 CapJitAddTypeSignatureDeferred 9.2-24 CapJitDataTypeOfListOf - 9.2-25 CapJitDataTypeOfCategory - 9.2-26 CapFixpoint - 9.2-27 Iterated - 9.2-28 TransitivelyNeededOtherPackages - 9.2-29 PackageOfCAPOperation - 9.2-30 SafePosition - 9.2-31 SafeUniquePosition - 9.2-32 SafePositionProperty - 9.2-33 SafeUniquePositionProperty - 9.2-34 SafeFirst - 9.2-35 SafeUniqueEntry - 9.2-36 NTuple - 9.2-37 Pair - 9.2-38 Triple - 9.2-39 HandlePrecompiledTowers - 9.2-40 CAP_JIT_INCOMPLETE_LOGIC - 9.2-41 ListWithKeys - 9.2-42 SumWithKeys - 9.2-43 ProductWithKeys - 9.2-44 ForAllWithKeys - 9.2-45 ForAnyWithKeys - 9.2-46 NumberWithKeys - 9.2-47 FilteredWithKeys - 9.2-48 FirstWithKeys - 9.2-49 LastWithKeys + 9.2-25 CapJitDataTypeOfNTupleOf + 9.2-26 CapJitDataTypeOfCategory + 9.2-27 CapFixpoint + 9.2-28 Iterated + 9.2-29 TransitivelyNeededOtherPackages + 9.2-30 PackageOfCAPOperation + 9.2-31 SafePosition + 9.2-32 SafeUniquePosition + 9.2-33 SafePositionProperty + 9.2-34 SafeUniquePositionProperty + 9.2-35 SafeFirst + 9.2-36 SafeUniqueEntry + 9.2-37 NTuple + 9.2-38 Pair + 9.2-39 Triple + 9.2-40 HandlePrecompiledTowers + 9.2-41 CAP_JIT_INCOMPLETE_LOGIC + 9.2-42 ListWithKeys + 9.2-43 SumWithKeys + 9.2-44 ProductWithKeys + 9.2-45 ForAllWithKeys + 9.2-46 ForAnyWithKeys + 9.2-47 NumberWithKeys + 9.2-48 FilteredWithKeys + 9.2-49 FirstWithKeys + 9.2-50 LastWithKeys 10 Limits and Colimits 10.1 Specification of Limits and Colimits 10.2 Enhancing Limit Specifications diff --git a/CAP/doc/chap0_mj.html b/CAP/doc/chap0_mj.html index 54ed40ebfc..8febb53023 100644 --- a/CAP/doc/chap0_mj.html +++ b/CAP/doc/chap0_mj.html @@ -32,7 +32,7 @@

CAP

Categories, Algorithms, Programming

- 2023.06-05

+ 2023.06-06

26 June 2023 @@ -1191,31 +1191,32 @@

Contents


  9.2-22 CapJitAddTypeSignature
  9.2-23 CapJitAddTypeSignatureDeferred
  9.2-24 CapJitDataTypeOfListOf -
  9.2-25 CapJitDataTypeOfCategory -
  9.2-26 CapFixpoint -
  9.2-27 Iterated -
  9.2-28 TransitivelyNeededOtherPackages -
  9.2-29 PackageOfCAPOperation -
  9.2-30 SafePosition -
  9.2-31 SafeUniquePosition -
  9.2-32 SafePositionProperty -
  9.2-33 SafeUniquePositionProperty -
  9.2-34 SafeFirst -
  9.2-35 SafeUniqueEntry -
  9.2-36 NTuple -
  9.2-37 Pair -
  9.2-38 Triple -
  9.2-39 HandlePrecompiledTowers -
  9.2-40 CAP_JIT_INCOMPLETE_LOGIC -
  9.2-41 ListWithKeys -
  9.2-42 SumWithKeys -
  9.2-43 ProductWithKeys -
  9.2-44 ForAllWithKeys -
  9.2-45 ForAnyWithKeys -
  9.2-46 NumberWithKeys -
  9.2-47 FilteredWithKeys -
  9.2-48 FirstWithKeys -
  9.2-49 LastWithKeys +
  9.2-25 CapJitDataTypeOfNTupleOf +
  9.2-26 CapJitDataTypeOfCategory +
  9.2-27 CapFixpoint +
  9.2-28 Iterated +
  9.2-29 TransitivelyNeededOtherPackages +
  9.2-30 PackageOfCAPOperation +
  9.2-31 SafePosition +
  9.2-32 SafeUniquePosition +
  9.2-33 SafePositionProperty +
  9.2-34 SafeUniquePositionProperty +
  9.2-35 SafeFirst +
  9.2-36 SafeUniqueEntry +
  9.2-37 NTuple +
  9.2-38 Pair +
  9.2-39 Triple +
  9.2-40 HandlePrecompiledTowers +
  9.2-41 CAP_JIT_INCOMPLETE_LOGIC +
  9.2-42 ListWithKeys +
  9.2-43 SumWithKeys +
  9.2-44 ProductWithKeys +
  9.2-45 ForAllWithKeys +
  9.2-46 ForAnyWithKeys +
  9.2-47 NumberWithKeys +
  9.2-48 FilteredWithKeys +
  9.2-49 FirstWithKeys +
  9.2-50 LastWithKeys
10 Limits and Colimits diff --git a/CAP/doc/chap9.html b/CAP/doc/chap9.html index 222153bae1..730260a32a 100644 --- a/CAP/doc/chap9.html +++ b/CAP/doc/chap9.html @@ -55,31 +55,32 @@
  9.2-22 CapJitAddTypeSignature
  9.2-23 CapJitAddTypeSignatureDeferred
  9.2-24 CapJitDataTypeOfListOf -
  9.2-25 CapJitDataTypeOfCategory -
  9.2-26 CapFixpoint -
  9.2-27 Iterated -
  9.2-28 TransitivelyNeededOtherPackages -
  9.2-29 PackageOfCAPOperation -
  9.2-30 SafePosition -
  9.2-31 SafeUniquePosition -
  9.2-32 SafePositionProperty -
  9.2-33 SafeUniquePositionProperty -
  9.2-34 SafeFirst -
  9.2-35 SafeUniqueEntry -
  9.2-36 NTuple -
  9.2-37 Pair -
  9.2-38 Triple -
  9.2-39 HandlePrecompiledTowers -
  9.2-40 CAP_JIT_INCOMPLETE_LOGIC -
  9.2-41 ListWithKeys -
  9.2-42 SumWithKeys -
  9.2-43 ProductWithKeys -
  9.2-44 ForAllWithKeys -
  9.2-45 ForAnyWithKeys -
  9.2-46 NumberWithKeys -
  9.2-47 FilteredWithKeys -
  9.2-48 FirstWithKeys -
  9.2-49 LastWithKeys +
  9.2-25 CapJitDataTypeOfNTupleOf +
  9.2-26 CapJitDataTypeOfCategory +
  9.2-27 CapFixpoint +
  9.2-28 Iterated +
  9.2-29 TransitivelyNeededOtherPackages +
  9.2-30 PackageOfCAPOperation +
  9.2-31 SafePosition +
  9.2-32 SafeUniquePosition +
  9.2-33 SafePositionProperty +
  9.2-34 SafeUniquePositionProperty +
  9.2-35 SafeFirst +
  9.2-36 SafeUniqueEntry +
  9.2-37 NTuple +
  9.2-38 Pair +
  9.2-39 Triple +
  9.2-40 HandlePrecompiledTowers +
  9.2-41 CAP_JIT_INCOMPLETE_LOGIC +
  9.2-42 ListWithKeys +
  9.2-43 SumWithKeys +
  9.2-44 ProductWithKeys +
  9.2-45 ForAllWithKeys +
  9.2-46 ForAnyWithKeys +
  9.2-47 NumberWithKeys +
  9.2-48 FilteredWithKeys +
  9.2-49 FirstWithKeys +
  9.2-50 LastWithKeys
@@ -295,9 +296,16 @@
9.2-24 CapJitDataTypeOfListOf
‣ CapJitDataTypeOfListOf( element_type )( function )

(experimental) Returns the data type of a list whose elements are of type element_type. element_type must be a filter or a data type.

+

+ +
9.2-25 CapJitDataTypeOfNTupleOf
+ +
‣ CapJitDataTypeOfNTupleOf( n, element_types... )( function )
+

(experimental) Returns the data type of an n-tuple whose entries are of types corresponding to element_types. element_types... must be filters or data types.

+

-
9.2-25 CapJitDataTypeOfCategory
+
9.2-26 CapJitDataTypeOfCategory
‣ CapJitDataTypeOfCategory( category )( function )
‣ CapJitDataTypeOfObjectOfCategory( category )( function )
@@ -307,35 +315,35 @@
9.2-25 CapJitDataTypeOfCategory

-
9.2-26 CapFixpoint
+
9.2-27 CapFixpoint
‣ CapFixpoint( predicate, func, initial_value )( function )

Computes a fixpoint of func with regard to equality given by predicate, starting with initial_value. If no such fixpoint exists, the execution does not terminate.

-
9.2-27 Iterated
+
9.2-28 Iterated
‣ Iterated( list, func, initial_value )( operation )

Shorthand for Iterated( Concatenation( [ initial_value ], list ), func ).

-
9.2-28 TransitivelyNeededOtherPackages
+
9.2-29 TransitivelyNeededOtherPackages
‣ TransitivelyNeededOtherPackages( package_name )( function )

Returns a list of package names which are transitively needed other packages of the package package_name.

-
9.2-29 PackageOfCAPOperation
+
9.2-30 PackageOfCAPOperation
‣ PackageOfCAPOperation( operation_name )( function )

Returns the name of the package to which the CAP operation given by operation_name belongs or fail if the package is not known.

-
9.2-30 SafePosition
+
9.2-31 SafePosition
‣ SafePosition( list, obj )( operation )

Returns: an integer

@@ -344,7 +352,7 @@
9.2-30 SafePosition

-
9.2-31 SafeUniquePosition
+
9.2-32 SafeUniquePosition
‣ SafeUniquePosition( list, obj )( operation )

Returns: an integer

@@ -353,7 +361,7 @@
9.2-31 SafeUniquePosition

-
9.2-32 SafePositionProperty
+
9.2-33 SafePositionProperty
‣ SafePositionProperty( list, func )( operation )

Returns: an integer

@@ -362,7 +370,7 @@
9.2-32 SafePositionProperty

-
9.2-33 SafeUniquePositionProperty
+
9.2-34 SafeUniquePositionProperty
‣ SafeUniquePositionProperty( list, func )( operation )

Returns: an integer

@@ -371,7 +379,7 @@
9.2-33 SafeUniquePositionProperty

-
9.2-34 SafeFirst
+
9.2-35 SafeFirst
‣ SafeFirst( list, func )( operation )

Returns: an element of the list

@@ -380,7 +388,7 @@
9.2-34 SafeFirst

-
9.2-35 SafeUniqueEntry
+
9.2-36 SafeUniqueEntry
‣ SafeUniqueEntry( list, func )( operation )

Returns: an element of the list

@@ -389,7 +397,7 @@
9.2-35 SafeUniqueEntry

-
9.2-36 NTuple
+
9.2-37 NTuple
‣ NTuple( n, args... )( function )

Returns: a list

@@ -398,7 +406,7 @@
9.2-36 NTuple

-
9.2-37 Pair
+
9.2-38 Pair
‣ Pair( first, second )( function )

Returns: a list

@@ -407,7 +415,7 @@
9.2-37 Pair

-
9.2-38 Triple
+
9.2-39 Triple
‣ Triple( first, second, third )( function )

Returns: a list

@@ -416,7 +424,7 @@
9.2-38 Triple

-
9.2-39 HandlePrecompiledTowers
+
9.2-40 HandlePrecompiledTowers
‣ HandlePrecompiledTowers( category, underlying_category, constructor_name )( function )

Handles the information stored in underlying_category!.compiler_hints.precompiled_towers (if bound) which is a list of records with components:

@@ -434,14 +442,14 @@
9.2-39 HandlePrecompiledTowers

-
9.2-40 CAP_JIT_INCOMPLETE_LOGIC
+
9.2-41 CAP_JIT_INCOMPLETE_LOGIC
‣ CAP_JIT_INCOMPLETE_LOGIC( value )( function )

Simply returns value. Used to signify that the argument is not fully run through all logic functions/templates by CompilerForCAP.

-
9.2-41 ListWithKeys
+
9.2-42 ListWithKeys
‣ ListWithKeys( list, func )( function )

Returns: a list

@@ -450,7 +458,7 @@
9.2-41 ListWithKeys

-
9.2-42 SumWithKeys
+
9.2-43 SumWithKeys
‣ SumWithKeys( list, func )( function )

Returns: a list

@@ -459,7 +467,7 @@
9.2-42 SumWithKeys

-
9.2-43 ProductWithKeys
+
9.2-44 ProductWithKeys
‣ ProductWithKeys( list, func )( function )

Returns: a list

@@ -468,7 +476,7 @@
9.2-43 ProductWithKeys

-
9.2-44 ForAllWithKeys
+
9.2-45 ForAllWithKeys
‣ ForAllWithKeys( list, func )( function )

Returns: a list

@@ -477,7 +485,7 @@
9.2-44 ForAllWithKeys

-
9.2-45 ForAnyWithKeys
+
9.2-46 ForAnyWithKeys
‣ ForAnyWithKeys( list, func )( function )

Returns: a list

@@ -486,7 +494,7 @@
9.2-45 ForAnyWithKeys

-
9.2-46 NumberWithKeys
+
9.2-47 NumberWithKeys
‣ NumberWithKeys( list, func )( function )

Returns: a list

@@ -495,7 +503,7 @@
9.2-46 NumberWithKeys

-
9.2-47 FilteredWithKeys
+
9.2-48 FilteredWithKeys
‣ FilteredWithKeys( list, func )( function )

Returns: a list

@@ -504,7 +512,7 @@
9.2-47 FilteredWithKeys

-
9.2-48 FirstWithKeys
+
9.2-49 FirstWithKeys
‣ FirstWithKeys( list, func )( function )

Returns: a list

@@ -513,7 +521,7 @@
9.2-48 FirstWithKeys

-
9.2-49 LastWithKeys
+
9.2-50 LastWithKeys
‣ LastWithKeys( list, func )( function )

Returns: a list

diff --git a/CAP/doc/chap9.txt b/CAP/doc/chap9.txt index 651edb4f5f..a9d53b4ba6 100644 --- a/CAP/doc/chap9.txt +++ b/CAP/doc/chap9.txt @@ -257,7 +257,15 @@ (experimental) Returns the data type of a list whose elements are of type element_type. element_type must be a filter or a data type. - 9.2-25 CapJitDataTypeOfCategory + 9.2-25 CapJitDataTypeOfNTupleOf + + CapJitDataTypeOfNTupleOf( n, element_types... )  function + + (experimental) Returns the data type of an n-tuple whose entries are of + types corresponding to element_types. element_types... must be filters or + data types. + + 9.2-26 CapJitDataTypeOfCategory CapJitDataTypeOfCategory( category )  function CapJitDataTypeOfObjectOfCategory( category )  function @@ -267,7 +275,7 @@ (experimental) Returns the data type of the category (or objects, morphisms, or two cells in the category) category. - 9.2-26 CapFixpoint + 9.2-27 CapFixpoint CapFixpoint( predicate, func, initial_value )  function @@ -275,34 +283,34 @@ starting with initial_value. If no such fixpoint exists, the execution does not terminate. - 9.2-27 Iterated + 9.2-28 Iterated Iterated( list, func, initial_value )  operation Shorthand for Iterated( Concatenation( [ initial_value ], list ), func ). - 9.2-28 TransitivelyNeededOtherPackages + 9.2-29 TransitivelyNeededOtherPackages TransitivelyNeededOtherPackages( package_name )  function Returns a list of package names which are transitively needed other packages of the package package_name. - 9.2-29 PackageOfCAPOperation + 9.2-30 PackageOfCAPOperation PackageOfCAPOperation( operation_name )  function Returns the name of the package to which the CAP operation given by operation_name belongs or fail if the package is not known. - 9.2-30 SafePosition + 9.2-31 SafePosition SafePosition( list, obj )  operation Returns: an integer Returns Position( list, obj ) while asserting that this value is not fail. - 9.2-31 SafeUniquePosition + 9.2-32 SafeUniquePosition SafeUniquePosition( list, obj )  operation Returns: an integer @@ -310,7 +318,7 @@ Returns Position( list, obj ) while asserting that this value is not fail and the position is unique. - 9.2-32 SafePositionProperty + 9.2-33 SafePositionProperty SafePositionProperty( list, func )  operation Returns: an integer @@ -318,7 +326,7 @@ Returns PositionProperty( list, func ) while asserting that this value is not fail. - 9.2-33 SafeUniquePositionProperty + 9.2-34 SafeUniquePositionProperty SafeUniquePositionProperty( list, func )  operation Returns: an integer @@ -327,14 +335,14 @@ corresponding entry while asserting that there exists exactly one such position. - 9.2-34 SafeFirst + 9.2-35 SafeFirst SafeFirst( list, func )  operation Returns: an element of the list Returns First( list, func ) while asserting that this value is not fail. - 9.2-35 SafeUniqueEntry + 9.2-36 SafeUniqueEntry SafeUniqueEntry( list, func )  operation Returns: an element of the list @@ -342,28 +350,28 @@ Returns a value in list for which func returns true while asserting that there exists exactly one such entry. - 9.2-36 NTuple + 9.2-37 NTuple NTuple( n, args... )  function Returns: a list Returns args while asserting that its length is n. - 9.2-37 Pair + 9.2-38 Pair Pair( first, second )  function Returns: a list Alias for NTuple( 2, first, second ). - 9.2-38 Triple + 9.2-39 Triple Triple( first, second, third )  function Returns: a list Alias for NTuple( 3, first, second, third ). - 9.2-39 HandlePrecompiledTowers + 9.2-40 HandlePrecompiledTowers HandlePrecompiledTowers( category, underlying_category, constructor_name )  function @@ -387,14 +395,14 @@ constructor_name is the only entry of remaining_constructors_in_tower of multiple entries. - 9.2-40 CAP_JIT_INCOMPLETE_LOGIC + 9.2-41 CAP_JIT_INCOMPLETE_LOGIC CAP_JIT_INCOMPLETE_LOGIC( value )  function Simply returns value. Used to signify that the argument is not fully run through all logic functions/templates by CompilerForCAP. - 9.2-41 ListWithKeys + 9.2-42 ListWithKeys ListWithKeys( list, func )  function Returns: a list @@ -402,7 +410,7 @@ Same as List( list, func ) but func gets both the key i and list[i] as arguments. - 9.2-42 SumWithKeys + 9.2-43 SumWithKeys SumWithKeys( list, func )  function Returns: a list @@ -410,7 +418,7 @@ Same as Sum( list, func ) but func gets both the key i and list[i] as arguments. - 9.2-43 ProductWithKeys + 9.2-44 ProductWithKeys ProductWithKeys( list, func )  function Returns: a list @@ -418,7 +426,7 @@ Same as Product( list, func ) but func gets both the key i and list[i] as arguments. - 9.2-44 ForAllWithKeys + 9.2-45 ForAllWithKeys ForAllWithKeys( list, func )  function Returns: a list @@ -426,7 +434,7 @@ Same as ForAll( list, func ) but func gets both the key i and list[i] as arguments. - 9.2-45 ForAnyWithKeys + 9.2-46 ForAnyWithKeys ForAnyWithKeys( list, func )  function Returns: a list @@ -434,7 +442,7 @@ Same as ForAny( list, func ) but func gets both the key i and list[i] as arguments. - 9.2-46 NumberWithKeys + 9.2-47 NumberWithKeys NumberWithKeys( list, func )  function Returns: a list @@ -442,7 +450,7 @@ Same as Number( list, func ) but func gets both the key i and list[i] as arguments. - 9.2-47 FilteredWithKeys + 9.2-48 FilteredWithKeys FilteredWithKeys( list, func )  function Returns: a list @@ -450,7 +458,7 @@ Same as Filtered( list, func ) but func gets both the key i and list[i] as arguments. - 9.2-48 FirstWithKeys + 9.2-49 FirstWithKeys FirstWithKeys( list, func )  function Returns: a list @@ -458,7 +466,7 @@ Same as First( list, func ) but func gets both the key i and list[i] as arguments. - 9.2-49 LastWithKeys + 9.2-50 LastWithKeys LastWithKeys( list, func )  function Returns: a list diff --git a/CAP/doc/chap9_mj.html b/CAP/doc/chap9_mj.html index 0824598eab..c8ee0ab181 100644 --- a/CAP/doc/chap9_mj.html +++ b/CAP/doc/chap9_mj.html @@ -58,31 +58,32 @@
  9.2-22 CapJitAddTypeSignature
  9.2-23 CapJitAddTypeSignatureDeferred
  9.2-24 CapJitDataTypeOfListOf -
  9.2-25 CapJitDataTypeOfCategory -
  9.2-26 CapFixpoint -
  9.2-27 Iterated -
  9.2-28 TransitivelyNeededOtherPackages -
  9.2-29 PackageOfCAPOperation -
  9.2-30 SafePosition -
  9.2-31 SafeUniquePosition -
  9.2-32 SafePositionProperty -
  9.2-33 SafeUniquePositionProperty -
  9.2-34 SafeFirst -
  9.2-35 SafeUniqueEntry -
  9.2-36 NTuple -
  9.2-37 Pair -
  9.2-38 Triple -
  9.2-39 HandlePrecompiledTowers -
  9.2-40 CAP_JIT_INCOMPLETE_LOGIC -
  9.2-41 ListWithKeys -
  9.2-42 SumWithKeys -
  9.2-43 ProductWithKeys -
  9.2-44 ForAllWithKeys -
  9.2-45 ForAnyWithKeys -
  9.2-46 NumberWithKeys -
  9.2-47 FilteredWithKeys -
  9.2-48 FirstWithKeys -
  9.2-49 LastWithKeys +
  9.2-25 CapJitDataTypeOfNTupleOf +
  9.2-26 CapJitDataTypeOfCategory +
  9.2-27 CapFixpoint +
  9.2-28 Iterated +
  9.2-29 TransitivelyNeededOtherPackages +
  9.2-30 PackageOfCAPOperation +
  9.2-31 SafePosition +
  9.2-32 SafeUniquePosition +
  9.2-33 SafePositionProperty +
  9.2-34 SafeUniquePositionProperty +
  9.2-35 SafeFirst +
  9.2-36 SafeUniqueEntry +
  9.2-37 NTuple +
  9.2-38 Pair +
  9.2-39 Triple +
  9.2-40 HandlePrecompiledTowers +
  9.2-41 CAP_JIT_INCOMPLETE_LOGIC +
  9.2-42 ListWithKeys +
  9.2-43 SumWithKeys +
  9.2-44 ProductWithKeys +
  9.2-45 ForAllWithKeys +
  9.2-46 ForAnyWithKeys +
  9.2-47 NumberWithKeys +
  9.2-48 FilteredWithKeys +
  9.2-49 FirstWithKeys +
  9.2-50 LastWithKeys @@ -298,9 +299,16 @@
9.2-24 CapJitDataTypeOfListOf
‣ CapJitDataTypeOfListOf( element_type )( function )

(experimental) Returns the data type of a list whose elements are of type element_type. element_type must be a filter or a data type.

+

+ +
9.2-25 CapJitDataTypeOfNTupleOf
+ +
‣ CapJitDataTypeOfNTupleOf( n, element_types... )( function )
+

(experimental) Returns the data type of an n-tuple whose entries are of types corresponding to element_types. element_types... must be filters or data types.

+

-
9.2-25 CapJitDataTypeOfCategory
+
9.2-26 CapJitDataTypeOfCategory
‣ CapJitDataTypeOfCategory( category )( function )
‣ CapJitDataTypeOfObjectOfCategory( category )( function )
@@ -310,35 +318,35 @@
9.2-25 CapJitDataTypeOfCategory

-
9.2-26 CapFixpoint
+
9.2-27 CapFixpoint
‣ CapFixpoint( predicate, func, initial_value )( function )

Computes a fixpoint of func with regard to equality given by predicate, starting with initial_value. If no such fixpoint exists, the execution does not terminate.

-
9.2-27 Iterated
+
9.2-28 Iterated
‣ Iterated( list, func, initial_value )( operation )

Shorthand for Iterated( Concatenation( [ initial_value ], list ), func ).

-
9.2-28 TransitivelyNeededOtherPackages
+
9.2-29 TransitivelyNeededOtherPackages
‣ TransitivelyNeededOtherPackages( package_name )( function )

Returns a list of package names which are transitively needed other packages of the package package_name.

-
9.2-29 PackageOfCAPOperation
+
9.2-30 PackageOfCAPOperation
‣ PackageOfCAPOperation( operation_name )( function )

Returns the name of the package to which the CAP operation given by operation_name belongs or fail if the package is not known.

-
9.2-30 SafePosition
+
9.2-31 SafePosition
‣ SafePosition( list, obj )( operation )

Returns: an integer

@@ -347,7 +355,7 @@
9.2-30 SafePosition

-
9.2-31 SafeUniquePosition
+
9.2-32 SafeUniquePosition
‣ SafeUniquePosition( list, obj )( operation )

Returns: an integer

@@ -356,7 +364,7 @@
9.2-31 SafeUniquePosition

-
9.2-32 SafePositionProperty
+
9.2-33 SafePositionProperty
‣ SafePositionProperty( list, func )( operation )

Returns: an integer

@@ -365,7 +373,7 @@
9.2-32 SafePositionProperty

-
9.2-33 SafeUniquePositionProperty
+
9.2-34 SafeUniquePositionProperty
‣ SafeUniquePositionProperty( list, func )( operation )

Returns: an integer

@@ -374,7 +382,7 @@
9.2-33 SafeUniquePositionProperty

-
9.2-34 SafeFirst
+
9.2-35 SafeFirst
‣ SafeFirst( list, func )( operation )

Returns: an element of the list

@@ -383,7 +391,7 @@
9.2-34 SafeFirst

-
9.2-35 SafeUniqueEntry
+
9.2-36 SafeUniqueEntry
‣ SafeUniqueEntry( list, func )( operation )

Returns: an element of the list

@@ -392,7 +400,7 @@
9.2-35 SafeUniqueEntry

-
9.2-36 NTuple
+
9.2-37 NTuple
‣ NTuple( n, args... )( function )

Returns: a list

@@ -401,7 +409,7 @@
9.2-36 NTuple

-
9.2-37 Pair
+
9.2-38 Pair
‣ Pair( first, second )( function )

Returns: a list

@@ -410,7 +418,7 @@
9.2-37 Pair

-
9.2-38 Triple
+
9.2-39 Triple
‣ Triple( first, second, third )( function )

Returns: a list

@@ -419,7 +427,7 @@
9.2-38 Triple

-
9.2-39 HandlePrecompiledTowers
+
9.2-40 HandlePrecompiledTowers
‣ HandlePrecompiledTowers( category, underlying_category, constructor_name )( function )

Handles the information stored in underlying_category!.compiler_hints.precompiled_towers (if bound) which is a list of records with components:

@@ -437,14 +445,14 @@
9.2-39 HandlePrecompiledTowers

-
9.2-40 CAP_JIT_INCOMPLETE_LOGIC
+
9.2-41 CAP_JIT_INCOMPLETE_LOGIC
‣ CAP_JIT_INCOMPLETE_LOGIC( value )( function )

Simply returns value. Used to signify that the argument is not fully run through all logic functions/templates by CompilerForCAP.

-
9.2-41 ListWithKeys
+
9.2-42 ListWithKeys
‣ ListWithKeys( list, func )( function )

Returns: a list

@@ -453,7 +461,7 @@
9.2-41 ListWithKeys

-
9.2-42 SumWithKeys
+
9.2-43 SumWithKeys
‣ SumWithKeys( list, func )( function )

Returns: a list

@@ -462,7 +470,7 @@
9.2-42 SumWithKeys

-
9.2-43 ProductWithKeys
+
9.2-44 ProductWithKeys
‣ ProductWithKeys( list, func )( function )

Returns: a list

@@ -471,7 +479,7 @@
9.2-43 ProductWithKeys

-
9.2-44 ForAllWithKeys
+
9.2-45 ForAllWithKeys
‣ ForAllWithKeys( list, func )( function )

Returns: a list

@@ -480,7 +488,7 @@
9.2-44 ForAllWithKeys

-
9.2-45 ForAnyWithKeys
+
9.2-46 ForAnyWithKeys
‣ ForAnyWithKeys( list, func )( function )

Returns: a list

@@ -489,7 +497,7 @@
9.2-45 ForAnyWithKeys

-
9.2-46 NumberWithKeys
+
9.2-47 NumberWithKeys
‣ NumberWithKeys( list, func )( function )

Returns: a list

@@ -498,7 +506,7 @@
9.2-46 NumberWithKeys

-
9.2-47 FilteredWithKeys
+
9.2-48 FilteredWithKeys
‣ FilteredWithKeys( list, func )( function )

Returns: a list

@@ -507,7 +515,7 @@
9.2-47 FilteredWithKeys

-
9.2-48 FirstWithKeys
+
9.2-49 FirstWithKeys
‣ FirstWithKeys( list, func )( function )

Returns: a list

@@ -516,7 +524,7 @@
9.2-48 FirstWithKeys

-
9.2-49 LastWithKeys
+
9.2-50 LastWithKeys
‣ LastWithKeys( list, func )( function )

Returns: a list

diff --git a/CAP/doc/chapInd.html b/CAP/doc/chapInd.html index a88be5e255..1f39ee4f41 100644 --- a/CAP/doc/chapInd.html +++ b/CAP/doc/chapInd.html @@ -359,7 +359,7 @@

Index

CAP_INTERNAL_REPLACED_STRINGS_WITH_FILTERS 9.2-4
CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 9.2-6
CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD 10.3-2
-CAP_JIT_INCOMPLETE_LOGIC 9.2-40
+CAP_JIT_INCOMPLETE_LOGIC 9.2-41
CAPAddPrepareFunction 7.5-2
CapCat 5.1-1
CapCategory, for IsCapCategoryMorphism 3.1-1
@@ -372,7 +372,7 @@

Index

CapCategorySwitchLogicPropagationForObjectsOn 1.5-1
CapCategorySwitchLogicPropagationOff 1.5-6
CapCategorySwitchLogicPropagationOn 1.5-5
-CapFixpoint 9.2-26
+CapFixpoint 9.2-27
CapFunctor, for IsString, IsCapCategory, IsCapCategory 5.4-1
    for IsString, IsCapCategory, IsCapCategoryAsCatObject 5.4-1
    for IsString, IsCapCategoryAsCatObject, IsCapCategory 5.4-1
@@ -383,11 +383,12 @@

Index

CapJitAddKnownMethod 9.2-21
CapJitAddTypeSignature 9.2-22
CapJitAddTypeSignatureDeferred 9.2-23
-CapJitDataTypeOfCategory 9.2-25
+CapJitDataTypeOfCategory 9.2-26
CapJitDataTypeOfListOf 9.2-24
-CapJitDataTypeOfMorphismOfCategory 9.2-25
-CapJitDataTypeOfObjectOfCategory 9.2-25
-CapJitDataTypeOfTwoCellOfCategory 9.2-25
+CapJitDataTypeOfMorphismOfCategory 9.2-26
+CapJitDataTypeOfNTupleOf 9.2-25
+CapJitDataTypeOfObjectOfCategory 9.2-26
+CapJitDataTypeOfTwoCellOfCategory 9.2-26
CAPOperationPrepareFunction 7.5-1
CategoryConstructor, for IsRecord 11.2-1
CategoryFilter, for IsCapCategory 1.4-2
@@ -496,17 +497,17 @@

Index

FiberProductFunctorial, for IsList, IsList, IsList 6.11-13
FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-14
FiberProductOp, for IsList 6.11-6
-FilteredWithKeys 9.2-47
-FirstWithKeys 9.2-48
-ForAllWithKeys 9.2-44
-ForAnyWithKeys 9.2-45
+FilteredWithKeys 9.2-48
+FirstWithKeys 9.2-49
+ForAllWithKeys 9.2-45
+ForAnyWithKeys 9.2-46
FunctionCalledBeforeInstallation, for IsDerivedMethod 8.2-11
FunctorCanonicalizeZeroMorphisms, for IsCapCategory 5.4-15
FunctorCanonicalizeZeroObjects, for IsCapCategory 5.4-13
FunctorFromTerminalCategory, for IsCapCategoryObject 16.3-3
FunctorMorphismOperation, for IsCapFunctor 5.4-8
FunctorObjectOperation, for IsCapFunctor 5.4-6
-HandlePrecompiledTowers 9.2-39
+HandlePrecompiledTowers 9.2-40
Heapify, for IsStringMinHeap, IsPosInt 8.5-10
HeapSize, for IsStringMinHeap 8.5-7
HomologyObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-1
@@ -673,7 +674,7 @@

Index

IsZero, for IsCapCategoryObject 2.3-7
IsZeroForMorphisms, for IsCapCategoryMorphism 3.8-1
IsZeroForObjects, for IsCapCategoryObject 2.3-6
-Iterated, for IsList, IsFunction, IsObject 9.2-27
+Iterated, for IsList, IsFunction, IsObject 9.2-28
JointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategoryObject, IsList 6.10-11
JointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategoryObject, IsList 6.9-11
KernelEmbedding, for IsCapCategoryMorphism 6.1-2
@@ -685,14 +686,14 @@

Index

    for IsList 6.1-8
KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-11
    for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.1-10
-LastWithKeys 9.2-49
+LastWithKeys 9.2-50
LaTeXOutput, for IsCapCategory 1.14-2
    for IsCapCategoryCell 1.14-1
Lift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-5
LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1
LiftOrFail, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-6
ListCAPPrepareFunctions 7.5-3
-ListWithKeys 9.2-41
+ListWithKeys 9.2-42
MakeDerivation, for IsString, IsFunction, IsDenseList,IsPosInt, IsFunction, IsFunction 8.2-2
MakeDerivationGraph, for IsDenseList 8.3-2
MakeOperationWeightList, for IsCapCategory, IsDerivedMethodGraph 8.4-2
@@ -735,8 +736,8 @@

Index

NaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms, for IsCapCategory 5.4-16
NaturalIsomorphismFromIdentityToCanonicalizeZeroObjects, for IsCapCategory 5.4-14
NaturalTransformation, for IsCapFunctor, IsCapFunctor 5.5-2
-NTuple 9.2-36
-NumberWithKeys 9.2-46
+NTuple 9.2-37
+NumberWithKeys 9.2-47
ObjectCache, for IsCapFunctor 9.1-1
ObjectConstructor, for IsCapCategory, IsObject 2.7-1
ObjectDatum, for IsCapCategoryObject 2.7-3
@@ -746,8 +747,8 @@

Index

ObjectifyObjectForCAPWithAttributes 2.6-4
Operations, for IsDerivedMethodGraph 8.3-8
OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod 8.4-6
-PackageOfCAPOperation 9.2-29
-Pair 9.2-37
+PackageOfCAPOperation 9.2-30
+Pair 9.2-38
PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5
    for IsList 3.10-6
PostComposeList, for IsList 3.10-7
@@ -759,7 +760,7 @@

Index

PrintDerivationTree, for IsOperationWeightList, IsString 8.4-12
PrintTree, for IsObject, IsFunction, IsFunction 8.4-13
PrintTreeRec, for IsObject, IsFunction, IsFunction, IsInt 8.4-14
-ProductWithKeys 9.2-43
+ProductWithKeys 9.2-44
ProjectionInFactorOfDirectProduct, for IsList, IsInt 6.8-3
ProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsList, IsInt, IsCapCategoryObject 6.8-4
ProjectionInFactorOfDirectSum, for IsList, IsInt 6.6-3
@@ -809,12 +810,12 @@

Index

ReinterpretationOfMorphism, for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.6-6
ReinterpretationOfObject, for IsCapCategory, IsCapCategoryObject 12.6-4
ResetTimingStatistics 1.11-1
-SafeFirst, for IsList, IsFunction 9.2-34
-SafePosition, for IsList, IsObject 9.2-30
-SafePositionProperty, for IsList, IsFunction 9.2-32
-SafeUniqueEntry, for IsList, IsFunction 9.2-35
-SafeUniquePosition, for IsList, IsObject 9.2-31
-SafeUniquePositionProperty, for IsList, IsFunction 9.2-33
+SafeFirst, for IsList, IsFunction 9.2-35
+SafePosition, for IsList, IsObject 9.2-31
+SafePositionProperty, for IsList, IsFunction 9.2-33
+SafeUniqueEntry, for IsList, IsFunction 9.2-36
+SafeUniquePosition, for IsList, IsObject 9.2-32
+SafeUniquePositionProperty, for IsList, IsFunction 9.2-34
Saturate, for IsOperationWeightList 8.4-10
SetCachingOfCategory 1.9-1
SetCachingOfCategoryCrisp 1.9-2
@@ -855,7 +856,7 @@

Index

StringMinHeap 8.5-2
SubtractionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3
SumOfMorphisms, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8
-SumWithKeys 9.2-42
+SumWithKeys 9.2-43
Swap, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9
TargetOperation, for IsDerivedMethod 8.2-8
TerminalCategoryWithMultipleObjects 16.2-2
@@ -864,8 +865,8 @@

Index

    for IsCapCategoryCell 6.4-2
TerminalObjectFunctorial, for IsCapCategory 6.4-5
TerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategoryObject, IsCapCategoryObject 6.4-6
-TransitivelyNeededOtherPackages 9.2-28
-Triple 9.2-38
+TransitivelyNeededOtherPackages 9.2-29
+Triple 9.2-39
TwoCellDatumType, for IsCapCategory 1.4-8
TwoCellFilter, for IsCapCategory 1.4-5
UnderlyingCell, for IsWrapperCapCategoryMorphism 13.2-2
diff --git a/CAP/doc/chapInd.txt b/CAP/doc/chapInd.txt index 150ef298bd..ec652c1818 100644 --- a/CAP/doc/chapInd.txt +++ b/CAP/doc/chapInd.txt @@ -336,7 +336,7 @@ CAP_INTERNAL_REPLACED_STRINGS_WITH_FILTERS 9.2-4 CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 9.2-6 CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD 10.3-2 - CAP_JIT_INCOMPLETE_LOGIC 9.2-40 + CAP_JIT_INCOMPLETE_LOGIC 9.2-41 CAPAddPrepareFunction 7.5-2 CapCat 5.1-1 CapCategory, for IsCapCategoryMorphism 3.1-1 @@ -349,7 +349,7 @@ CapCategorySwitchLogicPropagationForObjectsOn 1.5-1 CapCategorySwitchLogicPropagationOff 1.5-6 CapCategorySwitchLogicPropagationOn 1.5-5 - CapFixpoint 9.2-26 + CapFixpoint 9.2-27 CapFunctor, for IsString, IsCapCategory, IsCapCategory 5.4-1 for IsString, IsCapCategory, IsCapCategoryAsCatObject 5.4-1 for IsString, IsCapCategoryAsCatObject, IsCapCategory 5.4-1 @@ -360,11 +360,12 @@ CapJitAddKnownMethod 9.2-21 CapJitAddTypeSignature 9.2-22 CapJitAddTypeSignatureDeferred 9.2-23 - CapJitDataTypeOfCategory 9.2-25 + CapJitDataTypeOfCategory 9.2-26 CapJitDataTypeOfListOf 9.2-24 - CapJitDataTypeOfMorphismOfCategory 9.2-25 - CapJitDataTypeOfObjectOfCategory 9.2-25 - CapJitDataTypeOfTwoCellOfCategory 9.2-25 + CapJitDataTypeOfMorphismOfCategory 9.2-26 + CapJitDataTypeOfNTupleOf 9.2-25 + CapJitDataTypeOfObjectOfCategory 9.2-26 + CapJitDataTypeOfTwoCellOfCategory 9.2-26 CAPOperationPrepareFunction 7.5-1 CategoryConstructor, for IsRecord 11.2-1 CategoryFilter, for IsCapCategory 1.4-2 @@ -473,17 +474,17 @@ FiberProductFunctorial, for IsList, IsList, IsList 6.11-13 FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-14 FiberProductOp, for IsList 6.11-6 - FilteredWithKeys 9.2-47 - FirstWithKeys 9.2-48 - ForAllWithKeys 9.2-44 - ForAnyWithKeys 9.2-45 + FilteredWithKeys 9.2-48 + FirstWithKeys 9.2-49 + ForAllWithKeys 9.2-45 + ForAnyWithKeys 9.2-46 FunctionCalledBeforeInstallation, for IsDerivedMethod 8.2-11 FunctorCanonicalizeZeroMorphisms, for IsCapCategory 5.4-15 FunctorCanonicalizeZeroObjects, for IsCapCategory 5.4-13 FunctorFromTerminalCategory, for IsCapCategoryObject 16.3-3 FunctorMorphismOperation, for IsCapFunctor 5.4-8 FunctorObjectOperation, for IsCapFunctor 5.4-6 - HandlePrecompiledTowers 9.2-39 + HandlePrecompiledTowers 9.2-40 Heapify, for IsStringMinHeap, IsPosInt 8.5-10 HeapSize, for IsStringMinHeap 8.5-7 HomologyObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-1 @@ -650,7 +651,7 @@ IsZero, for IsCapCategoryObject 2.3-7 IsZeroForMorphisms, for IsCapCategoryMorphism 3.8-1 IsZeroForObjects, for IsCapCategoryObject 2.3-6 - Iterated, for IsList, IsFunction, IsObject 9.2-27 + Iterated, for IsList, IsFunction, IsObject 9.2-28 JointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategoryObject, IsList 6.10-11 JointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategoryObject, IsList 6.9-11 KernelEmbedding, for IsCapCategoryMorphism 6.1-2 @@ -662,14 +663,14 @@ for IsList 6.1-8 KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-11 for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.1-10 - LastWithKeys 9.2-49 + LastWithKeys 9.2-50 LaTeXOutput, for IsCapCategory 1.14-2 for IsCapCategoryCell 1.14-1 Lift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-5 LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1 LiftOrFail, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-6 ListCAPPrepareFunctions 7.5-3 - ListWithKeys 9.2-41 + ListWithKeys 9.2-42 MakeDerivation, for IsString, IsFunction, IsDenseList,IsPosInt, IsFunction, IsFunction 8.2-2 MakeDerivationGraph, for IsDenseList 8.3-2 MakeOperationWeightList, for IsCapCategory, IsDerivedMethodGraph 8.4-2 @@ -712,8 +713,8 @@ NaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms, for IsCapCategory 5.4-16 NaturalIsomorphismFromIdentityToCanonicalizeZeroObjects, for IsCapCategory 5.4-14 NaturalTransformation, for IsCapFunctor, IsCapFunctor 5.5-2 - NTuple 9.2-36 - NumberWithKeys 9.2-46 + NTuple 9.2-37 + NumberWithKeys 9.2-47 ObjectCache, for IsCapFunctor 9.1-1 ObjectConstructor, for IsCapCategory, IsObject 2.7-1 ObjectDatum, for IsCapCategoryObject 2.7-3 @@ -723,8 +724,8 @@ ObjectifyObjectForCAPWithAttributes 2.6-4 Operations, for IsDerivedMethodGraph 8.3-8 OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod 8.4-6 - PackageOfCAPOperation 9.2-29 - Pair 9.2-37 + PackageOfCAPOperation 9.2-30 + Pair 9.2-38 PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5 for IsList 3.10-6 PostComposeList, for IsList 3.10-7 @@ -736,7 +737,7 @@ PrintDerivationTree, for IsOperationWeightList, IsString 8.4-12 PrintTree, for IsObject, IsFunction, IsFunction 8.4-13 PrintTreeRec, for IsObject, IsFunction, IsFunction, IsInt 8.4-14 - ProductWithKeys 9.2-43 + ProductWithKeys 9.2-44 ProjectionInFactorOfDirectProduct, for IsList, IsInt 6.8-3 ProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsList, IsInt, IsCapCategoryObject 6.8-4 ProjectionInFactorOfDirectSum, for IsList, IsInt 6.6-3 @@ -786,12 +787,12 @@ ReinterpretationOfMorphism, for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.6-6 ReinterpretationOfObject, for IsCapCategory, IsCapCategoryObject 12.6-4 ResetTimingStatistics 1.11-1 - SafeFirst, for IsList, IsFunction 9.2-34 - SafePosition, for IsList, IsObject 9.2-30 - SafePositionProperty, for IsList, IsFunction 9.2-32 - SafeUniqueEntry, for IsList, IsFunction 9.2-35 - SafeUniquePosition, for IsList, IsObject 9.2-31 - SafeUniquePositionProperty, for IsList, IsFunction 9.2-33 + SafeFirst, for IsList, IsFunction 9.2-35 + SafePosition, for IsList, IsObject 9.2-31 + SafePositionProperty, for IsList, IsFunction 9.2-33 + SafeUniqueEntry, for IsList, IsFunction 9.2-36 + SafeUniquePosition, for IsList, IsObject 9.2-32 + SafeUniquePositionProperty, for IsList, IsFunction 9.2-34 Saturate, for IsOperationWeightList 8.4-10 SetCachingOfCategory 1.9-1 SetCachingOfCategoryCrisp 1.9-2 @@ -832,7 +833,7 @@ StringMinHeap 8.5-2 SubtractionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3 SumOfMorphisms, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8 - SumWithKeys 9.2-42 + SumWithKeys 9.2-43 Swap, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9 TargetOperation, for IsDerivedMethod 8.2-8 TerminalCategoryWithMultipleObjects 16.2-2 @@ -841,8 +842,8 @@ for IsCapCategoryCell 6.4-2 TerminalObjectFunctorial, for IsCapCategory 6.4-5 TerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategoryObject, IsCapCategoryObject 6.4-6 - TransitivelyNeededOtherPackages 9.2-28 - Triple 9.2-38 + TransitivelyNeededOtherPackages 9.2-29 + Triple 9.2-39 TwoCellDatumType, for IsCapCategory 1.4-8 TwoCellFilter, for IsCapCategory 1.4-5 UnderlyingCell, for IsWrapperCapCategoryMorphism 13.2-2 diff --git a/CAP/doc/chapInd_mj.html b/CAP/doc/chapInd_mj.html index 3ce7bc2866..21c552fe3f 100644 --- a/CAP/doc/chapInd_mj.html +++ b/CAP/doc/chapInd_mj.html @@ -362,7 +362,7 @@

Index

CAP_INTERNAL_REPLACED_STRINGS_WITH_FILTERS 9.2-4
CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 9.2-6
CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD 10.3-2
-CAP_JIT_INCOMPLETE_LOGIC 9.2-40
+CAP_JIT_INCOMPLETE_LOGIC 9.2-41
CAPAddPrepareFunction 7.5-2
CapCat 5.1-1
CapCategory, for IsCapCategoryMorphism 3.1-1
@@ -375,7 +375,7 @@

Index

CapCategorySwitchLogicPropagationForObjectsOn 1.5-1
CapCategorySwitchLogicPropagationOff 1.5-6
CapCategorySwitchLogicPropagationOn 1.5-5
-CapFixpoint 9.2-26
+CapFixpoint 9.2-27
CapFunctor, for IsString, IsCapCategory, IsCapCategory 5.4-1
    for IsString, IsCapCategory, IsCapCategoryAsCatObject 5.4-1
    for IsString, IsCapCategoryAsCatObject, IsCapCategory 5.4-1
@@ -386,11 +386,12 @@

Index

CapJitAddKnownMethod 9.2-21
CapJitAddTypeSignature 9.2-22
CapJitAddTypeSignatureDeferred 9.2-23
-CapJitDataTypeOfCategory 9.2-25
+CapJitDataTypeOfCategory 9.2-26
CapJitDataTypeOfListOf 9.2-24
-CapJitDataTypeOfMorphismOfCategory 9.2-25
-CapJitDataTypeOfObjectOfCategory 9.2-25
-CapJitDataTypeOfTwoCellOfCategory 9.2-25
+CapJitDataTypeOfMorphismOfCategory 9.2-26
+CapJitDataTypeOfNTupleOf 9.2-25
+CapJitDataTypeOfObjectOfCategory 9.2-26
+CapJitDataTypeOfTwoCellOfCategory 9.2-26
CAPOperationPrepareFunction 7.5-1
CategoryConstructor, for IsRecord 11.2-1
CategoryFilter, for IsCapCategory 1.4-2
@@ -499,17 +500,17 @@

Index

FiberProductFunctorial, for IsList, IsList, IsList 6.11-13
FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-14
FiberProductOp, for IsList 6.11-6
-FilteredWithKeys 9.2-47
-FirstWithKeys 9.2-48
-ForAllWithKeys 9.2-44
-ForAnyWithKeys 9.2-45
+FilteredWithKeys 9.2-48
+FirstWithKeys 9.2-49
+ForAllWithKeys 9.2-45
+ForAnyWithKeys 9.2-46
FunctionCalledBeforeInstallation, for IsDerivedMethod 8.2-11
FunctorCanonicalizeZeroMorphisms, for IsCapCategory 5.4-15
FunctorCanonicalizeZeroObjects, for IsCapCategory 5.4-13
FunctorFromTerminalCategory, for IsCapCategoryObject 16.3-3
FunctorMorphismOperation, for IsCapFunctor 5.4-8
FunctorObjectOperation, for IsCapFunctor 5.4-6
-HandlePrecompiledTowers 9.2-39
+HandlePrecompiledTowers 9.2-40
Heapify, for IsStringMinHeap, IsPosInt 8.5-10
HeapSize, for IsStringMinHeap 8.5-7
HomologyObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-1
@@ -676,7 +677,7 @@

Index

IsZero, for IsCapCategoryObject 2.3-7
IsZeroForMorphisms, for IsCapCategoryMorphism 3.8-1
IsZeroForObjects, for IsCapCategoryObject 2.3-6
-Iterated, for IsList, IsFunction, IsObject 9.2-27
+Iterated, for IsList, IsFunction, IsObject 9.2-28
JointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategoryObject, IsList 6.10-11
JointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategoryObject, IsList 6.9-11
KernelEmbedding, for IsCapCategoryMorphism 6.1-2
@@ -688,14 +689,14 @@

Index

    for IsList 6.1-8
KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-11
    for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.1-10
-LastWithKeys 9.2-49
+LastWithKeys 9.2-50
LaTeXOutput, for IsCapCategory 1.14-2
    for IsCapCategoryCell 1.14-1
Lift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-5
LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1
LiftOrFail, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-6
ListCAPPrepareFunctions 7.5-3
-ListWithKeys 9.2-41
+ListWithKeys 9.2-42
MakeDerivation, for IsString, IsFunction, IsDenseList,IsPosInt, IsFunction, IsFunction 8.2-2
MakeDerivationGraph, for IsDenseList 8.3-2
MakeOperationWeightList, for IsCapCategory, IsDerivedMethodGraph 8.4-2
@@ -738,8 +739,8 @@

Index

NaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms, for IsCapCategory 5.4-16
NaturalIsomorphismFromIdentityToCanonicalizeZeroObjects, for IsCapCategory 5.4-14
NaturalTransformation, for IsCapFunctor, IsCapFunctor 5.5-2
-NTuple 9.2-36
-NumberWithKeys 9.2-46
+NTuple 9.2-37
+NumberWithKeys 9.2-47
ObjectCache, for IsCapFunctor 9.1-1
ObjectConstructor, for IsCapCategory, IsObject 2.7-1
ObjectDatum, for IsCapCategoryObject 2.7-3
@@ -749,8 +750,8 @@

Index

ObjectifyObjectForCAPWithAttributes 2.6-4
Operations, for IsDerivedMethodGraph 8.3-8
OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod 8.4-6
-PackageOfCAPOperation 9.2-29
-Pair 9.2-37
+PackageOfCAPOperation 9.2-30
+Pair 9.2-38
PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5
    for IsList 3.10-6
PostComposeList, for IsList 3.10-7
@@ -762,7 +763,7 @@

Index

PrintDerivationTree, for IsOperationWeightList, IsString 8.4-12
PrintTree, for IsObject, IsFunction, IsFunction 8.4-13
PrintTreeRec, for IsObject, IsFunction, IsFunction, IsInt 8.4-14
-ProductWithKeys 9.2-43
+ProductWithKeys 9.2-44
ProjectionInFactorOfDirectProduct, for IsList, IsInt 6.8-3
ProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsList, IsInt, IsCapCategoryObject 6.8-4
ProjectionInFactorOfDirectSum, for IsList, IsInt 6.6-3
@@ -812,12 +813,12 @@

Index

ReinterpretationOfMorphism, for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.6-6
ReinterpretationOfObject, for IsCapCategory, IsCapCategoryObject 12.6-4
ResetTimingStatistics 1.11-1
-SafeFirst, for IsList, IsFunction 9.2-34
-SafePosition, for IsList, IsObject 9.2-30
-SafePositionProperty, for IsList, IsFunction 9.2-32
-SafeUniqueEntry, for IsList, IsFunction 9.2-35
-SafeUniquePosition, for IsList, IsObject 9.2-31
-SafeUniquePositionProperty, for IsList, IsFunction 9.2-33
+SafeFirst, for IsList, IsFunction 9.2-35
+SafePosition, for IsList, IsObject 9.2-31
+SafePositionProperty, for IsList, IsFunction 9.2-33
+SafeUniqueEntry, for IsList, IsFunction 9.2-36
+SafeUniquePosition, for IsList, IsObject 9.2-32
+SafeUniquePositionProperty, for IsList, IsFunction 9.2-34
Saturate, for IsOperationWeightList 8.4-10
SetCachingOfCategory 1.9-1
SetCachingOfCategoryCrisp 1.9-2
@@ -858,7 +859,7 @@

Index

StringMinHeap 8.5-2
SubtractionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3
SumOfMorphisms, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8
-SumWithKeys 9.2-42
+SumWithKeys 9.2-43
Swap, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9
TargetOperation, for IsDerivedMethod 8.2-8
TerminalCategoryWithMultipleObjects 16.2-2
@@ -867,8 +868,8 @@

Index

    for IsCapCategoryCell 6.4-2
TerminalObjectFunctorial, for IsCapCategory 6.4-5
TerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategoryObject, IsCapCategoryObject 6.4-6
-TransitivelyNeededOtherPackages 9.2-28
-Triple 9.2-38
+TransitivelyNeededOtherPackages 9.2-29
+Triple 9.2-39
TwoCellDatumType, for IsCapCategory 1.4-8
TwoCellFilter, for IsCapCategory 1.4-5
UnderlyingCell, for IsWrapperCapCategoryMorphism 13.2-2
diff --git a/_data/CAP.yml b/_data/CAP.yml index e5557aaedc..cf8be9d8a6 100644 --- a/_data/CAP.yml +++ b/_data/CAP.yml @@ -1,5 +1,5 @@ name: CAP -version: "2023.06-05" +version: "2023.06-06" license: "GPL-2.0-or-later" date: 2023-06-26 description: | @@ -42,11 +42,11 @@ packageinfo: https://homalg-project.github.io/CAP_project/CAP/PackageInfo.g downloads: - name: .tar.gz - url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.06-05/CAP-2023.06-05.tar.gz + url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.06-06/CAP-2023.06-06.tar.gz - name: .zip - url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.06-05/CAP-2023.06-05.zip + url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.06-06/CAP-2023.06-06.zip -pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.06-05/CAP-2023.06-05-manual.pdf +pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.06-06/CAP-2023.06-06-manual.pdf abstract: | CAP (Categories, Algorithms, Programming) is a package for category theory. @@ -60,7 +60,7 @@ citeas: |

[GPS26] Gutsche, S., Posur, S. and Skartsæterhagen, Ø., CAP, Categories, Algorithms, Programming, - Version 2023.06-05 + Version 2023.06-06 (6-26)
(GAP package), https://homalg-project.github.io/pkg/CAP. @@ -68,11 +68,11 @@ citeas: | bibtex: | - @misc{ CAP2023.06-05, + @misc{ CAP2023.06-06, author = {Gutsche, S. and Posur, S. and Skarts{\ae}terhagen, {\O}.}, title = {{CAP}, Categories, Algorithms, Programming, {V}ersion - 2023.06-05}, + 2023.06-06}, month = {3-}, year = {6-26}, note = {GAP package},