converted Display -> DisplayString for AdditiveClosure

mohamed-barakat · Oct 30, 2024 · 0ff862d · 0ff862d
1 parent a11065f
commit 0ff862d
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 12 deletions.
diff --git a/FreydCategoriesForCAP/PackageInfo.g b/FreydCategoriesForCAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FreydCategoriesForCAP",
 Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
-Version := "2024.10-02",
+Version := "2024.10-03",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

diff --git a/FreydCategoriesForCAP/examples/AdditiveClosureKronecker.g b/FreydCategoriesForCAP/examples/AdditiveClosureKronecker.g
@@ -30,4 +30,10 @@ Display( T );
 #! [1,2]: <4>
 #! [1,3]: <6>
 #! [1,4]: <8>
+Display( Range( T ) );
+#! A formal direct sum consisting of 4 objects.
+#! *
+#! *
+#! *
+#! *
 #! @EndExample
diff --git a/FreydCategoriesForCAP/gap/AdditiveClosure.gi b/FreydCategoriesForCAP/gap/AdditiveClosure.gi
@@ -1686,53 +1686,57 @@ InstallMethod( ViewString,
 end );
 
 ##
-InstallMethod( Display,
+InstallMethod( DisplayString,
                [ IsAdditiveClosureMorphism ],
 
   function( morphism )
-    local nr_rows, nr_cols, i, j;
+    local nr_rows, nr_cols, string, i, j;
 
     nr_rows := NrRows( morphism );
 
     nr_cols := NrCols( morphism );
 
-    Print( Concatenation( "A ", String( nr_rows ), " x ", String( nr_cols ), " matrix with entries in ", Name( UnderlyingCategory( CapCategory( morphism ) ) ), "\n" ) );
+    string := Concatenation( "A ", String( nr_rows ), " x ", String( nr_cols ), " matrix with entries in ", Name( UnderlyingCategory( CapCategory( morphism ) ) ), "\n" );
 
     for i in [ 1 .. nr_rows ] do
 
         for j in [ 1 .. nr_cols ] do
 
-            Print( Concatenation( "\n[", String(i), ",", String(j), "]: " ) );
+            string := Concatenation( string, Concatenation( "\n[", String(i), ",", String(j), "]: " ) );
 
-            ViewObj( morphism[i, j] );
+            string := Concatenation( string, ViewString( morphism[i, j] ) );
 
         od;
 
     od;
 
-    Print( "\n" );
+    string := Concatenation( string, "\n" );
+
+    return string;
 
 end );
 
 ##
-InstallMethod( Display,
+InstallMethod( DisplayString,
                [ IsAdditiveClosureObject ],
 
   function( object )
-    local object_list, obj;
+    local object_list, string, obj;
 
     object_list := ObjectList( object );
 
-    Print( Concatenation( "A formal direct sum consisting of ", String( Length( object_list ) ), " objects.\n" ) );
+    string := Concatenation( "A formal direct sum consisting of ", String( Length( object_list ) ), " objects.\n" );
 
     for obj in object_list do
 
-        ViewObj( obj );
+        string := Concatenation( string, ViewString( obj ) );
 
-        Print( "\n" );
+        string := Concatenation( string, "\n" );
 
     od;
 
+    return string;
+
 end );
 
 #= comment for Julia