products/Sources/formale Sprachen/GAP/pkg/homalg/tst/   (GAP Algebra Version 4.15.1©)  Datei vom 10.0.2024 mit Größe 757 B image not shown  

 TODO

  Interaktion und
PortierbarkeitLatech
 

Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

- The function GUARANA.MO_G_CN_AddMultTable takes a bit of 
  time. (for Tr_8_O1 6 seconds). We could probably speed 
  this up. In the moment most time is needed for 
  GrpElmByExpsAndCollNC. 
  Also the function GUARANA.G_CN_NumberToExpVector seems to 
  be not very efficient. 

  Furhter it seems that the whole setup has still the potential 
  to be speeded up. 

- F_36 semdirect Aut1 
  shows a very strange behaviour. 
  The function Add_G_LieAuts needs 20 seconds which 
  is roughly a half of the whole setup. 
  Further it seems that using symbolic Log slows down the
  same function immensly !! 

- When should I set up the Mal'cev correspondence for C ?

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.15Angebot  (Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-06-07) ¤

*Eine klare Vorstellung vom Zielzustand






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.