Use ReinterpretationOfObject/Morphism

homalg-project · May 2, 2023 · dc73290 · dc73290
1 parent 72af9ce
commit dc73290
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/Bicomplexes/PackageInfo.g b/Bicomplexes/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 
 PackageName := "Bicomplexes",
 Subtitle := "Bicomplexes for Abelian categories",
-Version := "2023.05-01",
+Version := "2023.05-02",
 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/Bicomplexes/gap/Morphisms.gi b/Bicomplexes/gap/Morphisms.gi
@@ -20,14 +20,14 @@ InstallOtherMethod( CreateBicomplexMorphism,
 InstallOtherMethod( CreateBicomplexMorphism,
           [ IsBicomplexesCategory, IsChainOrCochainBicomplex, IsChainOrCochainMorphism, IsChainOrCochainBicomplex ],
 
-  { bicomplexes_cat, source, m, range } -> ModeledMorphism( bicomplexes_cat, source, m, range )
+  { bicomplexes_cat, source, m, range } -> ReinterpretationOfMorphism( bicomplexes_cat, source, m, range )
 );
 
 ##
 InstallOtherMethod( CreateBicomplexMorphism,
           [ IsBicomplexesCategory, IsChainOrCochainMorphism ],
 
-  { bicomplexes_cat, m } -> ModeledMorphism( bicomplexes_cat,
+  { bicomplexes_cat, m } -> ReinterpretationOfMorphism( bicomplexes_cat,
                                 CreateBicomplex( bicomplexes_cat, Source( m ) ),
                                 m,
                                 CreateBicomplex( bicomplexes_cat, Range( m ) ) )

diff --git a/Bicomplexes/gap/Objects.gi b/Bicomplexes/gap/Objects.gi
@@ -14,7 +14,7 @@ ObjectConstructor );
 InstallOtherMethod( CreateBicomplex,
           [ IsBicomplexesCategory, IsChainOrCochainComplex ],
 
-  { bicomplexes_cat, o } -> ModeledObject( bicomplexes_cat, o )
+  { bicomplexes_cat, o } -> ReinterpretationOfObject( bicomplexes_cat, o )
 );
 
 ##

diff --git a/Bicomplexes/tst/total-complex-left-presentations.tst b/Bicomplexes/tst/total-complex-left-presentations.tst
@@ -19,7 +19,7 @@ gap> phi6 := PresentationMorphism( F1, HomalgIdentityMatrix( 1, ZZ ), F1 );;
 gap> phi7 := PresentationMorphism( F1, 2 * HomalgIdentityMatrix( 1, ZZ ), F1 );;
 gap> phi := CreateComplexMorphism( C10, [ phi5, phi6, phi7 ], 5, C9 );;
 gap> o := CreateComplex( modeling_category, [ phi ], 10 );;
-gap> bicomplex := ModeledObject( bicomplexes_cat, o );;
+gap> bicomplex := ReinterpretationOfObject( bicomplexes_cat, o );;
 gap> t := TotalComplex( bicomplex );;
 gap> IsWellDefined( t ) and IsExact( t );
 true