Quelle BUGS Sprache: HTML

These bugs should be easily fixable:

VertexTransformations runs forever if the group is not finite state

================================================================

These bugs will not be fixed in the short term:

IsFiniteState never detects loops or patterns in the states, if not f.s.

Iterator not coded for FullSCxxx(IsBounded,IsFiniteState,...)

PeriodicList no method for Concatenation and Apply

IsTorsion is not proven to give the right answer

\in for groups without the congruence property, it's hard to find good quotients. E.g.,
gap> AssignGeneratorVariables(GrigorchukTwistedTwin);
gap> epi := EpimorphismGermGroup(GrigorchukTwistedTwin,4);;
gap> s := Group(Comm(a,x),Comm(a,y),Comm(x,z),Comm(y,z));;
gap> Image(epi,Comm(a,x)^z) in Image(epi,s);
true

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.