|
#@local x, D
gap> START_TEST( "arith.tst" );
# 'OneSameMutability' for mult. elements
gap> for x in [ Z(2), [ [ 1 ] ], Immutable( [ [ 1 ] ] ) ] do
> if IsMutable( OneSameMutability( x ) ) <> IsMutable( x ) then
> Error( "result must have same mutability value" );
> fi;
> od;
# 'OneSameMutability' for domains with one (result shall be immutable)
gap> for D in [ SymmetricGroup(4), GL(2, 3), GF(2) ] do
> if IsMutable( OneSameMutability( D ) ) then
> Error( "result must be immutable" );
> fi;
> od;
# 'ZeroSameMutability' for add. elements
gap> for x in [ Z(2), [ [ 1 ] ], Immutable( [ [ 1 ] ] ) ] do
> if IsMutable( ZeroSameMutability( x ) ) <> IsMutable( x ) then
> Error( "result must have same mutability value" );
> fi;
> od;
# 'ZeroSameMutability' for domains with zero (result shall be immutable)
gap> for D in [ GF(2), GF(2)^2, GF(2)^[2, 2] ] do
> if IsMutable( ZeroSameMutability( D ) ) then
> Error( "result must be immutable" );
> fi;
> od;
#
gap> STOP_TEST( "arith.tst" );
[ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
]
|
