Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  test_recog.tst  Sprache: unbekannt

 
Spracherkennung für: .tst vermutete Sprache: Lisp {Lisp[52] Masm[52] MT940[5]} [Methode: maximale Elemente, drei Dimensionen]

gap> START_TEST("Forms: test_recog.tst");
gap> g := Sp(6,3);
Sp(6,3)
gap> forms := PreservedSesquilinearForms(g);
[ < bilinear form > ]
gap> TestPreservedSesquilinearForms(g,forms);
true
gap> g := SU(4,3);
SU(4,3)
gap> forms := PreservedSesquilinearForms(g);
[ < hermitian form > ]
gap> TestPreservedSesquilinearForms(g,forms);
true
gap> g := SO(1,4,3);
SO(+1,4,3)
gap> forms := PreservedSesquilinearForms(g);
[ < bilinear form > ]
gap> TestPreservedSesquilinearForms(g,forms);
true
gap> g := SO(1,4,4);
GO(+1,4,4)
gap> forms := PreservedSesquilinearForms(g);
[ < bilinear form > ]
gap> TestPreservedSesquilinearForms(g,forms);
true
gap> g := SO(-1,4,3);
SO(-1,4,3)
gap> forms := PreservedSesquilinearForms(g);
[ < bilinear form > ]
gap> TestPreservedSesquilinearForms(g,forms);
true
gap> g := SO(5,3);
SO(0,5,3)
gap> forms := PreservedSesquilinearForms(g);
[ < bilinear form > ]
gap> TestPreservedSesquilinearForms(g,forms);
true
gap> STOP_TEST("test_recog.tst", 10000 );

[Dauer der Verarbeitung: 0.5 Sekunden, vorverarbeitet 2026-10-24]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=1104857
#Domains=439456