Declare representations in the .gd files

fingolfin · Aug 1, 2022 · 385d88a · 385d88a
1 parent f10c753
commit 385d88a
Show file tree

Hide file tree

Showing 14 changed files with 138 additions and 138 deletions.
diff --git a/RingsForHomalg/gap/GAPHomalg.gd b/RingsForHomalg/gap/GAPHomalg.gd
@@ -38,3 +38,19 @@ DeclareGlobalFunction( "HomalgFieldOfRationalsInExternalGAP" );
 
 # basic operations:
 
+
+####################################
+#
+# representations:
+#
+####################################
+
+# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
+DeclareRepresentation( "IsHomalgExternalRingObjectInGAPRep",
+        IshomalgExternalRingObjectRep,
+        [  ] );
+
+# a new subrepresentation of the representation IsHomalgExternalRingRep:
+DeclareRepresentation( "IsHomalgExternalRingInGAPRep",
+        IsHomalgExternalRingRep,
+        [  ] );
diff --git a/RingsForHomalg/gap/GAPHomalg.gi b/RingsForHomalg/gap/GAPHomalg.gi
@@ -42,22 +42,6 @@ InstallValue( HOMALG_IO_GAP,
 
 HOMALG_IO_GAP.READY_LENGTH := Length( HOMALG_IO_GAP.READY );
 
-####################################
-#
-# representations:
-#
-####################################
-
-# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
-DeclareRepresentation( "IsHomalgExternalRingObjectInGAPRep",
-        IshomalgExternalRingObjectRep,
-        [  ] );
-
-# a new subrepresentation of the representation IsHomalgExternalRingRep:
-DeclareRepresentation( "IsHomalgExternalRingInGAPRep",
-        IsHomalgExternalRingRep,
-        [  ] );
-
 ####################################
 #
 # families and types:

diff --git a/RingsForHomalg/gap/MAGMA.gd b/RingsForHomalg/gap/MAGMA.gd
@@ -43,3 +43,19 @@ DeclareGlobalFunction( "HomalgCyclotomicFieldInMAGMA" );
 
 # basic operations:
 
+
+####################################
+#
+# representations:
+#
+####################################
+
+# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
+DeclareRepresentation( "IsHomalgExternalRingObjectInMAGMARep",
+        IshomalgExternalRingObjectRep,
+        [  ] );
+
+# a new subrepresentation of the representation IsHomalgExternalRingRep:
+DeclareRepresentation( "IsHomalgExternalRingInMAGMARep",
+        IsHomalgExternalRingRep,
+        [  ] );
diff --git a/RingsForHomalg/gap/MAGMA.gi b/RingsForHomalg/gap/MAGMA.gi
@@ -44,22 +44,6 @@ InstallValue( HOMALG_IO_MAGMA,
 
 HOMALG_IO_MAGMA.READY_LENGTH := Length( HOMALG_IO_MAGMA.READY );
 
-####################################
-#
-# representations:
-#
-####################################
-
-# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
-DeclareRepresentation( "IsHomalgExternalRingObjectInMAGMARep",
-        IshomalgExternalRingObjectRep,
-        [  ] );
-
-# a new subrepresentation of the representation IsHomalgExternalRingRep:
-DeclareRepresentation( "IsHomalgExternalRingInMAGMARep",
-        IsHomalgExternalRingRep,
-        [  ] );
-
 ####################################
 #
 # families and types:

diff --git a/RingsForHomalg/gap/Macaulay2.gd b/RingsForHomalg/gap/Macaulay2.gd
@@ -42,3 +42,19 @@ DeclareGlobalFunction( "HomalgFieldOfRationalsInMacaulay2" );
 
 # basic operations:
 
+
+####################################
+#
+# representations:
+#
+####################################
+
+# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
+DeclareRepresentation( "IsHomalgExternalRingObjectInMacaulay2Rep",
+        IshomalgExternalRingObjectRep,
+        [  ] );
+
+# a new subrepresentation of the representation IsHomalgExternalRingRep:
+DeclareRepresentation( "IsHomalgExternalRingInMacaulay2Rep",
+        IsHomalgExternalRingRep,
+        [  ] );
diff --git a/RingsForHomalg/gap/Macaulay2.gi b/RingsForHomalg/gap/Macaulay2.gi
@@ -46,22 +46,6 @@ InstallValue( HOMALG_IO_Macaulay2,
 
 HOMALG_IO_Macaulay2.READY_LENGTH := Length( HOMALG_IO_Macaulay2.READY );
 
-####################################
-#
-# representations:
-#
-####################################
-
-# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
-DeclareRepresentation( "IsHomalgExternalRingObjectInMacaulay2Rep",
-        IshomalgExternalRingObjectRep,
-        [  ] );
-
-# a new subrepresentation of the representation IsHomalgExternalRingRep:
-DeclareRepresentation( "IsHomalgExternalRingInMacaulay2Rep",
-        IsHomalgExternalRingRep,
-        [  ] );
-
 ####################################
 #
 # families and types:

diff --git a/RingsForHomalg/gap/MapleHomalg.gd b/RingsForHomalg/gap/MapleHomalg.gd
@@ -50,3 +50,40 @@ DeclareGlobalFunction( "MapleHomalgOptions" );
 
 # basic operations:
 
+
+####################################
+#
+# representations:
+#
+####################################
+
+# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
+DeclareRepresentation( "IsHomalgExternalRingObjectInMapleRep",
+        IshomalgExternalRingObjectRep,
+        [  ] );
+
+# five new subrepresentations of the representation IsHomalgExternalRingObjectInMapleRep:
+DeclareRepresentation( "IsHomalgExternalRingObjectInMapleUsingPIRRep",
+        IsHomalgExternalRingObjectInMapleRep,
+        [  ] );
+
+DeclareRepresentation( "IsHomalgExternalRingObjectInMapleUsingInvolutiveRep",
+        IsHomalgExternalRingObjectInMapleRep,
+        [  ] );
+
+DeclareRepresentation( "IsHomalgExternalRingObjectInMapleUsingJanetRep",
+        IsHomalgExternalRingObjectInMapleRep,
+        [  ] );
+
+DeclareRepresentation( "IsHomalgExternalRingObjectInMapleUsingJanetOreRep",
+        IsHomalgExternalRingObjectInMapleRep,
+        [  ] );
+
+DeclareRepresentation( "IsHomalgExternalRingObjectInMapleUsingOreModulesRep",
+        IsHomalgExternalRingObjectInMapleRep,
+        [  ] );
+
+# a new subrepresentation of the representation IsHomalgExternalRingRep:
+DeclareRepresentation( "IsHomalgExternalRingInMapleRep",
+        IsHomalgExternalRingRep,
+        [  ] );
diff --git a/RingsForHomalg/gap/MapleHomalg.gi b/RingsForHomalg/gap/MapleHomalg.gi
@@ -53,43 +53,6 @@ InstallValue( HOMALG_IO_Maple,
 
 HOMALG_IO_Maple.READY_LENGTH := Length( HOMALG_IO_Maple.READY );
 
-####################################
-#
-# representations:
-#
-####################################
-
-# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
-DeclareRepresentation( "IsHomalgExternalRingObjectInMapleRep",
-        IshomalgExternalRingObjectRep,
-        [  ] );
-
-# five new subrepresentations of the representation IsHomalgExternalRingObjectInMapleRep:
-DeclareRepresentation( "IsHomalgExternalRingObjectInMapleUsingPIRRep",
-        IsHomalgExternalRingObjectInMapleRep,
-        [  ] );
-
-DeclareRepresentation( "IsHomalgExternalRingObjectInMapleUsingInvolutiveRep",
-        IsHomalgExternalRingObjectInMapleRep,
-        [  ] );
-
-DeclareRepresentation( "IsHomalgExternalRingObjectInMapleUsingJanetRep",
-        IsHomalgExternalRingObjectInMapleRep,
-        [  ] );
-
-DeclareRepresentation( "IsHomalgExternalRingObjectInMapleUsingJanetOreRep",
-        IsHomalgExternalRingObjectInMapleRep,
-        [  ] );
-
-DeclareRepresentation( "IsHomalgExternalRingObjectInMapleUsingOreModulesRep",
-        IsHomalgExternalRingObjectInMapleRep,
-        [  ] );
-
-# a new subrepresentation of the representation IsHomalgExternalRingRep:
-DeclareRepresentation( "IsHomalgExternalRingInMapleRep",
-        IsHomalgExternalRingRep,
-        [  ] );
-
 ####################################
 #
 # families and types:

diff --git a/RingsForHomalg/gap/Oscar.gd b/RingsForHomalg/gap/Oscar.gd
@@ -53,3 +53,20 @@ DeclareGlobalFunction( "HomalgRingOfGoldenRatioIntegersInOscar" );
 DeclareOperation( "HomalgQRingInOscar", [ IsFreePolynomialRing, IsHomalgRingRelations ] );
 DeclareOperation( "HomalgQRingInOscar", [ IsFreePolynomialRing, IsRingElement ] ); # also includes IsHomalgMatrix
 DeclareOperation( "HomalgQRingInOscar", [ IsFreePolynomialRing, IsList ] ); # also includes IsString
+
+
+####################################
+#
+# representations:
+#
+####################################
+
+# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
+DeclareRepresentation( "IsHomalgExternalRingObjectInOscarRep",
+        IshomalgExternalRingObjectRep,
+        [  ] );
+
+# a new subrepresentation of the representation IsHomalgExternalRingRep:
+DeclareRepresentation( "IsHomalgExternalRingInOscarRep",
+        IsHomalgExternalRingRep,
+        [  ] );
diff --git a/RingsForHomalg/gap/Oscar.gi b/RingsForHomalg/gap/Oscar.gi
@@ -58,22 +58,6 @@ InstallValue( HOMALG_IO_Oscar,
 
 HOMALG_IO_Oscar.READY_LENGTH := Length( HOMALG_IO_Oscar.READY_printed );
 
-####################################
-#
-# representations:
-#
-####################################
-
-# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
-DeclareRepresentation( "IsHomalgExternalRingObjectInOscarRep",
-        IshomalgExternalRingObjectRep,
-        [  ] );
-
-# a new subrepresentation of the representation IsHomalgExternalRingRep:
-DeclareRepresentation( "IsHomalgExternalRingInOscarRep",
-        IsHomalgExternalRingRep,
-        [  ] );
-
 ####################################
 #
 # families and types:

diff --git a/RingsForHomalg/gap/Sage.gd b/RingsForHomalg/gap/Sage.gd
@@ -39,4 +39,18 @@ DeclareGlobalFunction( "HomalgFieldOfRationalsInSage" );
 # basic operations:
 
 
+####################################
+#
+# representations:
+#
+####################################
+
+# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
+DeclareRepresentation( "IsHomalgExternalRingObjectInSageRep",
+        IshomalgExternalRingObjectRep,
+        [  ] );
 
+# a new subrepresentation of the representation IsHomalgExternalRingRep:
+DeclareRepresentation( "IsHomalgExternalRingInSageRep",
+        IsHomalgExternalRingRep,
+        [  ] );
diff --git a/RingsForHomalg/gap/Sage.gi b/RingsForHomalg/gap/Sage.gi
@@ -44,22 +44,6 @@ InstallValue( HOMALG_IO_Sage,
 
 HOMALG_IO_Sage.READY_LENGTH := Length( HOMALG_IO_Sage.READY );
 
-####################################
-#
-# representations:
-#
-####################################
-
-# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
-DeclareRepresentation( "IsHomalgExternalRingObjectInSageRep",
-        IshomalgExternalRingObjectRep,
-        [  ] );
-
-# a new subrepresentation of the representation IsHomalgExternalRingRep:
-DeclareRepresentation( "IsHomalgExternalRingInSageRep",
-        IsHomalgExternalRingRep,
-        [  ] );
-
 ####################################
 #
 # families and types:

diff --git a/RingsForHomalg/gap/Singular.gd b/RingsForHomalg/gap/Singular.gd
@@ -49,3 +49,25 @@ DeclareGlobalFunction( "HomalgRingOfIntegersInSingular" );
 DeclareOperation( "HomalgQRingInSingular", [ IsFreePolynomialRing, IsHomalgRingRelations ] );
 DeclareOperation( "HomalgQRingInSingular", [ IsFreePolynomialRing, IsRingElement ] ); # also includes IsHomalgMatrix
 DeclareOperation( "HomalgQRingInSingular", [ IsFreePolynomialRing, IsList ] ); # also includes IsString
+
+
+####################################
+#
+# representations:
+#
+####################################
+
+# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
+DeclareRepresentation( "IsHomalgExternalRingObjectInSingularRep",
+        IshomalgExternalRingObjectRep,
+        [  ] );
+
+# a new subrepresentation of the representation IsHomalgExternalRingRep:
+DeclareRepresentation( "IsHomalgExternalRingInSingularRep",
+        IsHomalgExternalRingRep,
+        [  ] );
+
+# a new subrepresentation of the representation IsHomalgExternalRingRep:
+DeclareRepresentation( "IsHomalgExternalQRingInSingularRep",
+        IsHomalgExternalRingInSingularRep,
+        [  ] );
diff --git a/RingsForHomalg/gap/Singular.gi b/RingsForHomalg/gap/Singular.gi
@@ -56,27 +56,6 @@ InstallValue( HOMALG_IO_Singular,
 
 HOMALG_IO_Singular.READY_LENGTH := Length( HOMALG_IO_Singular.READY );
 
-####################################
-#
-# representations:
-#
-####################################
-
-# a new subrepresentation of the representation IshomalgExternalRingObjectRep:
-DeclareRepresentation( "IsHomalgExternalRingObjectInSingularRep",
-        IshomalgExternalRingObjectRep,
-        [  ] );
-
-# a new subrepresentation of the representation IsHomalgExternalRingRep:
-DeclareRepresentation( "IsHomalgExternalRingInSingularRep",
-        IsHomalgExternalRingRep,
-        [  ] );
-
-# a new subrepresentation of the representation IsHomalgExternalRingRep:
-DeclareRepresentation( "IsHomalgExternalQRingInSingularRep",
-        IsHomalgExternalRingInSingularRep,
-        [  ] );
-
 ####################################
 #
 # families and types: