Eine aufbereitete Darstellung der Quelle

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

Benutzer

Quelle  gl-e6.in

  Sprache: C
 

Generators E_6 for Leites' relations: x y z;
Parameter: t;
Limiting weight: 62;
Relations:

[[x,y],x] - 2 x;
[[x,y],y] + 2 y;

[y,z];
[[x,y],z] + 8 z;
[x,[x,[x,[x,[x,[x,[x,[x,[x,z]]]]]]]]];

50 [[x,[x,z]],[x,[x,[x,z]]]] + 14 [z,[x,[x,[x,[x,[x,z]]]]]]
 - 35 [[x,z],[x,[x,[x,[x,z]]]]];
20 [[x,[x,[x,z]]],[x,[x,[x,[x,z]]]]] - 15 [[x,[x,z]],[x,[x,[x,[x,[x,z]]]]]]
 + 7 [[x,z],[x,[x,[x,[x,[x,[x,z]]]]]]] - 14 t^2 y;
[[x,z],[z,[x,z]]];
[[x,[x,z]],[z,[x,z]]];
4 [[x,[x,[x,z]]],[z,[x,z]]] + 7 [[x,z],[[x,z],[x,[x,z]]]];
5 [[x,[x,[x,z]]],[z,[x,[x,z]]]] + [[x,[x,[x,[x,z]]]],[z,[x,z]]];
8 [[x,[x,[x,[x,z]]]],[z,[x,[x,z]]]] + 5 [[x,[x,[x,z]]],[[x,z],[x,[x,z]]]];
3 [[x,[x,[x,[x,z]]]],[[x,z],[x,[x,z]]]]
 + 4 [[x,[x,[x,[x,z]]]],[z,[x,[x,[x,z]]]]];
51 [[x,[x,[x,[x,[x,z]]]]],[[x,z],[x,[x,z]]]]
 + 4 [[x,[x,[x,[x,[x,z]]]]],[z,[x,[x,[x,z]]]]] + 384 t^2 z.

Messung V0.5 in Prozent
C=100 H=85 G=92

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet am  2026-06-26) ¤

*© Formatika GbR, Deutschland






Versionsinformation zu Columbo

Bemerkung:

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

letze Version des Elbe Quellennavigators


Jenseits des Üblichen ....

Besucher

Besucher

Statistik
#Sources=492969
#Domains=607362