diff --git a/tst/module.tst b/tst/module.tst index 3842c36..aa56c66 100644 --- a/tst/module.tst +++ b/tst/module.tst @@ -78,10 +78,10 @@ gap> IsModuleAsAlgebra( A3 ); false ## Section 2.3.3 -gap> KnownAttributesOfObject( B3 ); -[ "Name", "ZeroImmutable", "LeftActingDomain", "Dimension", - "GeneratorsOfLeftOperatorAdditiveGroup", "GeneratorsOfLeftOperatorRing", - "ModuleToAlgebraIsomorphism", "AlgebraToModuleIsomorphism" ] +gap> Set( KnownAttributesOfObject( B3 ) ); +[ "AlgebraToModuleIsomorphism", "Dimension", + "GeneratorsOfLeftOperatorAdditiveGroup", "GeneratorsOfLeftOperatorRing", + "LeftActingDomain", "ModuleToAlgebraIsomorphism", "Name", "ZeroImmutable" ] gap> M2B3 := ModuleToAlgebraIsomorphism( B3 ); [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ] -> [ [[ 1, 0, 0 ]], [[ 0, \ 1, 0 ]], diff --git a/tst/xmod.tst b/tst/xmod.tst index 5d1d027..01b41e1 100644 --- a/tst/xmod.tst +++ b/tst/xmod.tst @@ -85,13 +85,13 @@ gap> Size2d( XIAk4 ); ## Section 4.1.4 gap> RepresentationsOfObject( XIAk4 ); [ "IsComponentObjectRep", "IsAttributeStoringRep", "IsPreXModAlgebraObj" ] -gap> KnownPropertiesOfObject( XIAk4 ); -[ "CanEasilyCompareElements", "CanEasilySortElements", "IsDuplicateFree", - "IsLeftActedOnByDivisionRing", "IsAdditivelyCommutative", "IsLDistributive", - "IsRDistributive", "IsPreXModDomain", "Is2dAlgebraObject", - "IsPreXModAlgebra", "IsXModAlgebra" ] -gap> KnownAttributesOfObject( XIAk4 ); -[ "Name", "LeftActingDomain", "Range", "Source", "Boundary", "Size2d", +gap> Set( KnownPropertiesOfObject( XIAk4 ) ); +[ "CanEasilyCompareElements", "CanEasilySortElements", "Is2dAlgebraObject", + "IsAdditivelyCommutative", "IsDuplicateFree", "IsLDistributive", + "IsLeftActedOnByDivisionRing", "IsPreXModAlgebra", "IsPreXModDomain", + "IsRDistributive", "IsXModAlgebra" ] +gap> Set( KnownAttributesOfObject( XIAk4 ) ); +[ "Boundary", "LeftActingDomain", "Name", "Range", "Size2d", "Source", "XModAlgebraAction" ] ############################