Distinguish between small and big integers

Author: zickgraf

AdditiveClosuresForCAP/gap/AdditiveClosure.gi

@@ -926,7 +926,7 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_ADDITIVE_CLOSURE,
       function( cat, diagram, test_object, morphisms, direct_sum )
         local listlist;
 
-        listlist := UnionOfColumnsListList( Length( ObjectList( test_object ) ), List( morphisms, tau -> MorphismMatrix( tau ) ) );
+        listlist := UnionOfColumnsListList( BigInt( Length( ObjectList( test_object ) ) ), List( morphisms, tau -> MorphismMatrix( tau ) ) );
 
         return AdditiveClosureMorphism( cat, test_object,
                                         listlist,
@@ -939,7 +939,7 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_ADDITIVE_CLOSURE,
       function( cat, diagram, test_object, morphisms, direct_sum )
         local listlist;
 
-        listlist := UnionOfRowsListList( Length( ObjectList( test_object ) ), List( morphisms, tau -> MorphismMatrix( tau ) ) );
+        listlist := UnionOfRowsListList( BigInt( Length( ObjectList( test_object ) ) ), List( morphisms, tau -> MorphismMatrix( tau ) ) );
 
         return AdditiveClosureMorphism( cat, direct_sum,
                                         listlist,

AdditiveClosuresForCAP/gap/CategoryOfRows.gi

@@ -393,7 +393,7 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_CATEGORY_OF_ROWS,
     AddAdditiveGenerators( category,
       function( cat )
 
-        return [ CategoryOfRowsObject( cat, 1 ) ];
+        return [ CategoryOfRowsObject( cat, BigInt( 1 ) ) ];
 
     end );
 
@@ -1002,7 +1002,7 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_CATEGORY_OF_ROWS,
         AddTensorUnit( category,
           function( cat )
 
-            return CategoryOfRowsObject( cat, 1 );
+            return CategoryOfRowsObject( cat, BigInt( 1 ) );
 
         end );
 
@@ -1340,7 +1340,7 @@ AddFinalDerivationBundle( "Using BasisOfExternalHom and CoefficientsOfMorphism t
   [ ],
   function ( cat )
 
-    return CategoryOfRowsObject( RangeCategoryOfHomomorphismStructure( cat ), 1 );
+    return CategoryOfRowsObject( RangeCategoryOfHomomorphismStructure( cat ), BigInt( 1 ) );
 
   end
 ],

AdditiveClosuresForCAP/gap/CategoryOfRows_as_AdditiveClosure_RingAsCategory.gi

@@ -99,7 +99,7 @@ InstallMethod( CategoryOfRows_as_AdditiveClosure_RingAsCategory,
 
     modeling_tower_object_datum := function ( cat, object )
 
-        return Length( ObjectList( object ) );
+        return BigInt( Length( ObjectList( object ) ) );
 
     end;
 

CAP/gap/InstallAdds.gi

@@ -372,7 +372,7 @@ InstallGlobalFunction( CAP_INTERNAL_INSTALL_ADDS_FROM_RECORD,
 
             fi;
 
-            InstallMethod( CAP_operation, replaced_filter_list{[ 2 .. Length( replaced_filter_list ) ]}, get_convenience_function( CAP_operation ) );
+            InstallOtherMethod( CAP_operation, replaced_filter_list{[ 2 .. Length( replaced_filter_list ) ]}, get_convenience_function( CAP_operation ) );
 
         fi;
 

CAP/gap/ToolsForCategories.gi

@@ -106,7 +106,7 @@ InstallGlobalFunction( "CAP_INTERNAL_GET_DATA_TYPE_FROM_STRING", function ( stri
 
     elif string = "integer" then
 
-        return rec( filter := IsInt );
+        return rec( filter := IsSmallIntRep );
 
     elif string = "nonneg_integer_or_infinity" then
 

CompilerForCAP/gap/CompilerForCAP.gi

@@ -279,6 +279,7 @@ InstallGlobalFunction( CAP_JIT_INTERNAL_COMPILED_ENHANCED_SYNTAX_TREE, function
 
     # resolving phase
     resolving_phase_functions := [
+        CapJitInferredDataTypes,
         CapJitResolvedOperations,
         CapJitInlinedArguments,
         CapJitDroppedUnusedBindings,
@@ -399,6 +400,8 @@ InstallGlobalFunction( CAP_JIT_INTERNAL_COMPILED_ENHANCED_SYNTAX_TREE, function
 
             fi;
 
+            #Display(ENHANCED_SYNTAX_TREE_CODE( tree ) );
+            
             tree := f( tree );
 
             if CAP_JIT_INTERNAL_DEBUG_LEVEL >= 2 then

CompilerForCAP/gap/InferDataTypes.gi

@@ -152,7 +152,7 @@ InstallGlobalFunction( "CAP_JIT_INTERNAL_GET_OUTPUT_TYPE_OF_GLOBAL_FUNCTION_BY_I
 
     if Length( type_signatures ) = 0 then
 
-        DisplayWithCurrentlyCompiledFunctionLocation( Concatenation( "WARNING: Could not find matching declaration of ", gvar, " for input ", String( input_filters ) ) );
+        ErrorWithCurrentlyCompiledFunctionLocation( Concatenation( "WARNING: Could not find matching declaration of ", gvar, " for input ", String( input_filters ) ) );
         return fail;
 
     elif Length( type_signatures ) > 1 then
@@ -428,7 +428,7 @@ InstallGlobalFunction( CAP_JIT_INTERNAL_INFERRED_DATA_TYPES, function ( tree, in
 
         if tree.type = "EXPR_INT" then
 
-            data_type := rec( filter := IsInt );
+            data_type := rec( filter := IsSmallIntRep );
 
         elif tree.type = "EXPR_STRING" then
 
@@ -519,6 +519,7 @@ InstallGlobalFunction( CAP_JIT_INTERNAL_INFERRED_DATA_TYPES, function ( tree, in
 
         elif tree.type = "EXPR_RANGE" then
 
+            # TODO
             data_type := CapJitDataTypeOfListOf( IsInt );
 
         elif tree.type = "EXPR_LIST" then
@@ -888,9 +889,17 @@ CapJitAddTypeSignature( "RETURN_TRUE", [ IsObject, IsObject ], IsBool );
 CapJitAddTypeSignature( "Length", [ IsList ], IsInt );
 CapJitAddTypeSignature( "IsEmpty", [ IsList ], IsBool );
 CapJitAddTypeSignature( "+", [ IsInt, IsInt ], IsInt );
+CapJitAddTypeSignature( "+", [ IsInt, IsSmallIntRep ], IsInt );
+CapJitAddTypeSignature( "+", [ IsSmallIntRep, IsSmallIntRep ], IsSmallIntRep );
+CapJitAddTypeSignature( "+", [ IsSmallIntRep, IsInt ], IsInt );
 CapJitAddTypeSignature( "AdditiveInverseSameMutability", [ IsInt ], IsInt );
 CapJitAddTypeSignature( "-", [ IsInt, IsInt ], IsInt );
+CapJitAddTypeSignature( "-", [ IsInt, IsSmallIntRep ], IsInt );
+CapJitAddTypeSignature( "-", [ IsSmallIntRep, IsSmallIntRep ], IsSmallIntRep );
 CapJitAddTypeSignature( "*", [ IsInt, IsInt ], IsInt );
+CapJitAddTypeSignature( "*", [ IsInt, IsSmallIntRep ], IsInt );
+CapJitAddTypeSignature( "*", [ IsSmallIntRep, IsInt ], IsInt );
+CapJitAddTypeSignature( "*", [ IsSmallIntRep, IsSmallIntRep ], IsInt );
 CapJitAddTypeSignature( "^", [ IsInt, IsInt ], IsInt );
 CapJitAddTypeSignature( "REM_INT", [ IsInt, IsInt ], IsInt );
 CapJitAddTypeSignature( "QUO_INT", [ IsInt, IsInt ], IsInt );
@@ -900,6 +909,7 @@ CapJitAddTypeSignature( "^", [ IsPerm, IsInt ], IsPerm );
 CapJitAddTypeSignature( "PermList", [ IsList ], IsPerm );
 CapJitAddTypeSignature( "PermutationMat", [ IsPerm, IsInt ], CapJitDataTypeOfListOf( CapJitDataTypeOfListOf( IsInt ) ) );
 CapJitAddTypeSignature( "BigInt", [ IsInt ], IsBigInt );
+CapJitAddTypeSignature( "BigInt", [ IsSmallIntRep ], IsInt );
 
 CapJitAddTypeSignature( "IS_IDENTICAL_OBJ", [ IsObject, IsObject ], function ( input_types )
 
@@ -1027,6 +1037,12 @@ CapJitAddTypeSignature( "[]", [ IsList, IsInt ], function ( input_types )
 
 end );
 
+CapJitAddTypeSignature( "[]", [ IsList, IsSmallIntRep ], function ( input_types )
+    
+    return input_types[1].element_type;
+    
+end );
+
 CapJitAddTypeSignature( "{}", [ IsList, IsList ], function ( input_types )
 
     return input_types[1];