Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/tst/testinstall/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 18.9.2025 mit Größe 1 kB image not shown  

Quelle  bound.tst   Sprache: unbekannt

 
#@local S,f,r
gap> START_TEST("bound.tst");
gap> S := SymmetricGroup(2);;
gap> IsBound(S!.cheese);
false
gap> IsBound(S!.Size);
true
gap> f := ({} -> IsBound(S!.cheese) );; f();
false
gap> f := ({} -> IsBound(S!.Size) );; f();
true
gap> r := rec(a := 2, b := fail);;
gap> IsBound(r.a);
true
gap> IsBound(r.b);
true
gap> IsBound(r.c);
false
gap> f := ({} -> IsBound(r.a) );; f();
true
gap> f := ({} -> IsBound(r.b) );; f();
true
gap> f := ({} -> IsBound(r.c) );; f();
false
gap> f := ({} -> IsBound(BADVARNAME) );; f();
false
gap> f := ({} -> IsBound(BADVARNAME.BADRECNAME) );;
gap> f();
Error, Variable: 'BADVARNAME' must have an assigned value
gap> f := ({} -> BADVARNAME );;
Syntax warning: Unbound global variable in stream:1
f := ({} -> BADVARNAME );;
            ^^^^^^^^^^
gap> f();
Error, Variable: 'BADVARNAME' must have an assigned value
gap> f := ({} -> IsBound(BADVARNAME[BADLISTNAME]) );;
Syntax warning: Unbound global variable in stream:1
f := ({} -> IsBound(BADVARNAME[BADLISTNAME]) );;
                               ^^^^^^^^^^^
gap> f();
Error, Variable: 'BADVARNAME' must have an assigned value

# Printing IsBound statements
gap> Display(function(l,n) return IsBound(l[n]);end);
function ( l, n )
    return IsBound( l[n] );
end
gap> Display(function(l,n) return IsBound(l.(n));end);
function ( l, n )
    return IsBound( l.(n) );
end
gap> STOP_TEST("bound.tst");

[ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet)  ]