Merge pull request #64 from kamalsaleh/latex_string

Install LaTeXOutput operations

Author: mohamed-barakat

PackageInfo.g

@@ -13,7 +13,7 @@ Subtitle := "Algebroids and bialgebroids as preadditive categories generated by
 Version := Maximum( [
                    "2020.04.26", ## Mohamed's version
                    ## this line prevents merge conflicts
-                   "2020.04.05", ## Kamal's version
+                   "2020.09.05", ## Kamal's version
                    ## this line prevents merge conflicts
                    "2019.02.12", ## Florian's version
                    ## this line prevents merge conflicts

gap/Algebroids.gd

@@ -326,6 +326,18 @@ DeclareOperation( "ApplyToQuiverAlgebraElement",
 DeclareOperation( "ApplyToQuiverAlgebraElement",
         [ IsCapFunctor, IsQuiverAlgebraElement ] );
 
+#! @Description
+#! The ouput is the LaTeX string of the object <A>o</A>.
+#! @Arguments o
+#! Returns a string
+DeclareOperation( "LaTeXStringOp", [ IsCapCategoryObjectInAlgebroid ] );
+
+#! @Description
+#! The ouput is the LaTeX string of the morphism <A>m</A>.
+#! @Arguments m
+#! Returns a string
+DeclareOperation( "LaTeXStringOp", [ IsCapCategoryMorphismInAlgebroid ] );
+
 ####################################
 #
 #! @Section Constructors

gap/Algebroids.gi

@@ -2347,6 +2347,7 @@ InstallMethod( Display,
     ViewObj( CapCategory(o) );
 
 end );
+
 ##
 InstallMethod( ViewObj,
         "for a morphism in an algebroid",
@@ -2369,3 +2370,50 @@ InstallMethod( ViewObj,
     fi;
 
 end );
+
+##
+InstallMethod( LaTeXStringOp,
+          [ IsCapCategoryObjectInAlgebroidRep ],
+          
+  o -> LaTeXStringForQPA( UnderlyingVertex( o ) )
+);
+
+##
+InstallMethod( LaTeXOutput,
+          [ IsCapCategoryObjectInAlgebroidRep ],
+          
+  LaTeXStringOp
+);
+
+##
+InstallMethod( LaTeXStringOp,
+          [ IsCapCategoryMorphismInAlgebroidRep ],
+          
+  function( m )
+    local s;
+    
+    s := LaTeXStringForQPA( UnderlyingQuiverAlgebraElement( m ) );
+    
+    if ValueOption( "OnlyDatum" ) = true then
+      
+      return s;
+      
+    else
+      
+      return Concatenation(
+                "{", LaTeXOutput( Source( m ) ), "}-\\left(",
+                "{", s, "}\\right)\\rightarrow",
+                "{", LaTeXOutput( Range( m ) ), "}"
+              );
+              
+    fi;
+    
+end );
+
+##
+InstallMethod( LaTeXOutput,
+          [ IsCapCategoryMorphismInAlgebroidRep ],
+          
+  LaTeXStringOp
+);
+