Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/fining/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 27.6.2023 mit Größe 13 kB image not shown  

Quelle  entities.xml

  Sprache: XML
 

<!ENTITY fining "<Package>FinInG</Package>">
<!ENTITY pg "\mathrm{PG}">
<!ENTITY gf "\mathrm{GF}">
<!ENTITY gl "\mathrm{GL}">
<!ENTITY sl "\mathrm{SL}">
<!ENTITY sc "\mathrm{Sc}">
<!ENTITY pgl "\mathrm{PGL}">
<!ENTITY psl "\mathrm{PSL}">
<!ENTITY psp "\mathrm{PSp}">
<!ENTITY pgsp "\mathrm{PGSp}">
<!ENTITY pgo "\mathrm{PGO}">
<!ENTITY pso "\mathrm{PSO}">
<!ENTITY pgu "\mathrm{PGU}">
<!ENTITY psu "\mathrm{PSU}">
<!ENTITY ag "\mathrm{AG}">
<!ENTITY agl "\mathrm{AGL}">
<!ENTITY gammal "\Gamma\mathrm{L}">
<!ENTITY pgammal "\mathrm{P}\Gamma\mathrm{L}">
<!ENTITY agammal "\mathrm{A}\Gamma\mathrm{L}">
<!ENTITY pdeltaoplus "\mathrm{P}\Delta\mathrm{O}^+">
<!ENTITY pdeltaominus "\mathrm{P}\Delta\mathrm{O}^-">
<!ENTITY pgammasp "\mathrm{P}\Gamma\mathrm{Sp}">
<!ENTITY pgammaoplus "\mathrm{P}\Gamma\mathrm{O}^+">
<!ENTITY pgammaominus "\mathrm{P}\Gamma\mathrm{O}^-">
<!ENTITY pgammao "\mathrm{P}\Gamma\mathrm{O}">
<!ENTITY pgammau "\mathrm{P}\Gamma\mathrm{U}">
<!ENTITY phi "<Alt Not="HTML"><M>\phi</M></Alt><Alt Only="HTML MathJax"><M>\phi</M></Alt><Alt Only="HTML noMathJax">φ</Alt>">
<!ENTITY Phi "<Alt Not="HTML"><M>\Phi</M></Alt><Alt Only="HTML MathJax"><M>\Phi</M></Alt><Alt Only="HTML noMathJax">Φ</Alt>">
<!ENTITY gfq "<Alt Only="Text"><M>GF(q)</M></Alt><Alt Only="LaTeX"><M>&gf;(q)</M></Alt><Alt Only="HTML MathJax"><M>&gf;(q)</M></Alt><Alt Only="HTML noMathJax">GF(q)</Alt>">
<!ENTITY gfp "<Alt Only="Text"><M>GF(p)</M></Alt><Alt Only="LaTeX"><M>&gf;(p)</M></Alt><Alt Only="HTML MathJax"><M>&gf;(p)</M></Alt><Alt Only="HTML noMathJax">GF(p)</Alt>">
<!ENTITY gfqt "<Alt Only="Text"><M>GF(q^t)</M></Alt><Alt Only="LaTeX"><M>&gf;(q^t)</M></Alt><Alt Only="HTML MathJax"><M>&gf;(q^t)</M></Alt><Alt Only="HTML noMathJax">GF(q<sup>t</sup>)</Alt>">
<!ENTITY gfq3 "<Alt Only="Text"><M>GF(q^3)</M></Alt><Alt Only="LaTeX"><M>&gf;(q^3)</M></Alt><Alt Only="HTML MathJax"><M>&gf;(q^3)</M></Alt><Alt Only="HTML noMathJax">GF(q<sup>3</sup>)</Alt>">
<!ENTITY vnqt "<Alt Only="Text"><M>V(n,q^t)</M></Alt><Alt Only="LaTeX"><M>V(n,q^t)</M></Alt><Alt Only="HTML MathJax"><M>V(n,q^t)</M></Alt><Alt Only="HTML noMathJax">V(n,q<sup>t</sup>)</Alt>">
<!ENTITY pgnq "<Alt Only="Text"><M>PG(n,q)</M></Alt><Alt Only="LaTeX"><M>&pg;(n,q)</M></Alt><Alt Only="HTML MathJax"><M>&pg;(n,q)</M></Alt><Alt Only="HTML noMathJax">PG(n,q)</Alt>">
<!ENTITY pgnqt "<Alt Only="Text"><M>PG(n,q^t)</M></Alt><Alt Only="LaTeX"><M>&pg;(n,q^t)</M></Alt><Alt Only="HTML MathJax"><M>&pg;(n,q^t)</M></Alt><Alt Only="HTML noMathJax">PG(n,q<sup>t</sup>)</Alt>">
<!ENTITY pgnminus1qt "<Alt Only="Text"><M>PG(n-1,q^t)</M></Alt><Alt Only="LaTeX"><M>&pg;(n-1,q^t)</M></Alt><Alt Only="HTML MathJax"><M>&pg;(n-1,q^t)</M></Alt><Alt Only="HTML noMathJax">PG(n-1,q<sup>t</sup>)</Alt>">
<!ENTITY pgntminus1q "<Alt Only="Text"><M>PG(nt-1,q)</M></Alt><Alt Only="LaTeX"><M>&pg;(nt-1,q)</M></Alt><Alt Only="HTML MathJax"><M>&pg;(nt-1,q)</M></Alt><Alt Only="HTML noMathJax">PG(nt-1,q)</Alt>">
<!ENTITY agnq "<Alt Only="Text"><M>AG(n,q)</M></Alt><Alt Only="LaTeX"><M>&ag;(n,q)</M></Alt><Alt Only="HTML MathJax"><M>&ag;(n,q)</M></Alt><Alt Only="HTML noMathJax">AG(n,q)</Alt>">
<!ENTITY glnplus1q "<Alt Only="Text"><M>GL(n+1,q)</M></Alt><Alt Only="LaTeX"><M>≷(n+1,q)</M></Alt><Alt Only="HTML MathJax"><M>≷(n+1,q)</M></Alt><Alt Only="HTML noMathJax">GL(n+1,q)</Alt>">
<!ENTITY glnq "<Alt Only="Text"><M>GL(n,q)</M></Alt><Alt Only="LaTeX"><M>≷(n,q)</M></Alt><Alt Only="HTML MathJax"><M>≷(n,q)</M></Alt><Alt Only="HTML noMathJax">GL(n,q)</Alt>">
<!ENTITY slnplus1q "<Alt Only="Text"><M>SL(n+1,q)</M></Alt><Alt Only="LaTeX"><M>&sl;(n+1,q)</M></Alt><Alt Only="HTML MathJax"><M>&sl;(n+1,q)</M></Alt><Alt Only="HTML noMathJax">SL(n+1,q)</Alt>">
<!ENTITY scnplus1q "<Alt Only="Text"><M>Sc(n+1,q)</M></Alt><Alt Only="LaTeX"><M>≻(n+1,q)</M></Alt><Alt Only="HTML MathJax"><M>≻(n+1,q)</M></Alt><Alt Only="HTML noMathJax">Sc(n+1,q)</Alt>">
<!ENTITY pglnplus1q "<Alt Only="Text"><M>PGL(n+1,q)</M></Alt><Alt Only="LaTeX"><M>&pgl;(n+1,q)</M></Alt><Alt Only="HTML MathJax"><M>&pgl;(n+1,q)</M></Alt><Alt Only="HTML noMathJax">PGL(n+1,q)</Alt>">
<!ENTITY pslnplus1q "<Alt Only="Text"><M>PSL(n+1,q)</M></Alt><Alt Only="LaTeX"><M>&psl;(n+1,q)</M></Alt><Alt Only="HTML MathJax"><M>&psl;(n+1,q)</M></Alt><Alt Only="HTML noMathJax">PSL(n+1,q)</Alt>">
<!ENTITY gammalnplus1q "<Alt Only="Text"><M>\Gamma{}L(n+1,q)</M></Alt><Alt Only="LaTeX"><M>&gammal;(n+1,q)</M></Alt><Alt Only="HTML MathJax"><M>&gammal;(n+1,q)</M></Alt><Alt Only="HTML noMathJax">ΓL(n+1,q)</Alt>">
<!ENTITY gammalnq "<Alt Only="Text"><M>\Gamma{}L(n,q)</M></Alt><Alt Only="LaTeX"><M>&gammal;(n,q)</M></Alt><Alt Only="HTML MathJax"><M>&gammal;(n,q)</M></Alt><Alt Only="HTML noMathJax">ΓL(n,q)</Alt>">
<!ENTITY pgammalnplus1q "<Alt Only="Text"><M>P\Gamma{}L(n+1,q)</M></Alt><Alt Only="LaTeX"><M>&pgammal;(n+1,q)</M></Alt><Alt Only="HTML MathJax"><M>&pgammal;(n+1,q)</M></Alt><Alt Only="HTML noMathJax">PΓL(n+1,q)</Alt>">
<!ENTITY autgfq "<Alt Only="Text"><M>Aut(GF(q))</M></Alt><Alt Only="LaTeX"><M>\mathrm{Aut}(&gf;(q))</M></Alt><Alt Only="HTML MathJax"><M>\mathrm{Aut}(&gf;(q))</M></Alt><Alt Only="HTML noMathJax">Aut(GF(q))</Alt>">
<!ENTITY pglinline "<Alt Only="Text"><M>PGL</M></Alt><Alt Only="LaTeX"><M>&pgl;</M></Alt><Alt Only="HTML MathJax"><M>&pgl;</M></Alt><Alt Only="HTML noMathJax">PGL</Alt>">
<!ENTITY pslinline "<Alt Only="Text"><M>PSL</M></Alt><Alt Only="LaTeX"><M>&psl;</M></Alt><Alt Only="HTML MathJax"><M>&psl;</M></Alt><Alt Only="HTML noMathJax">PSL</Alt>">
<!ENTITY pgammalinline "<Alt Only="Text"><M>P\Gamma{}L</M></Alt><Alt Only="LaTeX"><M>&pgammal;</M></Alt><Alt Only="HTML MathJax"><M>&pgammal;</M></Alt><Alt Only="HTML noMathJax">PΓL</Alt>">
<!ENTITY pspdq "<Alt Only="Text"><M>PSp(d,q)</M></Alt><Alt Only="LaTeX"><M>&psp;(d,q)</M></Alt><Alt Only="HTML MathJax"><M>&psp;(d,q)</M></Alt><Alt Only="HTML noMathJax">PSp(d,q)</Alt>">
<!ENTITY pgspdq "<Alt Only="Text"><M>PGSp(d,q)</M></Alt><Alt Only="LaTeX"><M>&pgsp;(d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pgsp;(d,q)</M></Alt><Alt Only="HTML noMathJax">PGSp(d,q)</Alt>">
<!ENTITY psoplusdq "<Alt Only="Text"><M>PSO(1,d,q)</M></Alt><Alt Only="LaTeX"><M>&pso;(1,d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pso;(1,d,q)</M></Alt><Alt Only="HTML noMathJax">PSO(1,d,q)</Alt>">
<!ENTITY psominusdq "<Alt Only="Text"><M>PSO(-1,d,q)</M></Alt><Alt Only="LaTeX"><M>&pso;(-1,d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pso;(-1,d,q)</M></Alt><Alt Only="HTML noMathJax">PSO(-1,d,q)</Alt>">
<!ENTITY pso0dq "<Alt Only="Text"><M>PSO(0,d,q)</M></Alt><Alt Only="LaTeX"><M>&pso;(0,d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pso;(0,d,q)</M></Alt><Alt Only="HTML noMathJax">PSO(0,d,q)</Alt>">
<!ENTITY pgoplusdq "<Alt Only="Text"><M>PGO(1,d,q)</M></Alt><Alt Only="LaTeX"><M>&pgo;(1,d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pgo;(1,d,q)</M></Alt><Alt Only="HTML noMathJax">PGO(1,d,q)</Alt>">
<!ENTITY pgominusdq "<Alt Only="Text"><M>PGO(-1,d,q)</M></Alt><Alt Only="LaTeX"><M>&pgo;(-1,d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pgo;(-1,d,q)</M></Alt><Alt Only="HTML noMathJax">PGO(-1,d,q)</Alt>">
<!ENTITY pgo0dq "<Alt Only="Text"><M>PGO(0,d,q)</M></Alt><Alt Only="LaTeX"><M>&pgo;(0,d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pgo;(0,d,q)</M></Alt><Alt Only="HTML noMathJax">PGO(0,d,q)</Alt>">
<!ENTITY psudq2 "<Alt Only="Text"><M>PSU(d,q^2)</M></Alt><Alt Only="LaTeX"><M>&psu;(d,q^2)</M></Alt><Alt Only="HTML MathJax"><M>&psu;(d,q^2)</M></Alt><Alt Only="HTML noMathJax">PSU(d,q<sup>2</sup>)</Alt>">
<!ENTITY pgudq2 "<Alt Only="Text"><M>PGU(d,q^2)</M></Alt><Alt Only="LaTeX"><M>&pgu;(d,q^2)</M></Alt><Alt Only="HTML MathJax"><M>&pgu;(d,q^2)</M></Alt><Alt Only="HTML noMathJax">PGU(d,q<sup>2</sup>)</Alt>">
<!ENTITY pdeltaoplusdq "<Alt Only="Text"><M>P\Delta{}O+(d,q)</M></Alt><Alt Only="LaTeX"><M>&pdeltaoplus;(d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pdeltaoplus;(d,q)</M></Alt><Alt Only="HTML noMathJax">PΔO<sup>+</sup>(d,q)</Alt>">
<!ENTITY pdeltaominusdq "<Alt Only="Text"><M>P\Delta{}O-(d,q)</M></Alt><Alt Only="LaTeX"><M>&pdeltaominus;(d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pdeltaominus;(d,q)</M></Alt><Alt Only="HTML noMathJax">PΔO<sup>-</sup>(d,q)</Alt>">
<!ENTITY pgammaspdq "<Alt Only="Text"><M>P\Gamma{}Sp(d,q)</M></Alt><Alt Only="LaTeX"><M>&pgammasp;(d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pgammasp;(d,q)</M></Alt><Alt Only="HTML noMathJax">PΓSp(d,q)</Alt>">
<!ENTITY pgammaoplusdq "<Alt Only="Text"><M>P\Gamma{}O+(d,q)</M></Alt><Alt Only="LaTeX"><M>&pgammaoplus;(d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pgammaoplus;(d,q)</M></Alt><Alt Only="HTML noMathJax">PΓO<sup>+</sup>(d,q)</Alt>">
<!ENTITY pgammaominusdq "<Alt Only="Text"><M>P\Gamma{}O-(d,q)</M></Alt><Alt Only="LaTeX"><M>&pgammaominus;(d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pgammaominus;(d,q)</M></Alt><Alt Only="HTML noMathJax">PΓO<sup>-</sup>(d,q)</Alt>">
<!ENTITY pgammaodq "<Alt Only="Text"><M>P\Gamma{}O(d,q)</M></Alt><Alt Only="LaTeX"><M>&pgammao;(d,q)</M></Alt><Alt Only="HTML MathJax"><M>&pgammao;(d,q)</M></Alt><Alt Only="HTML noMathJax">PΓO(d,q)</Alt>">
<!ENTITY pgammaudq2 "<Alt Only="Text"><M>P\Gamma{}U(d,q^2)</M></Alt><Alt Only="LaTeX"><M>&pgammau;(d,q^2)</M></Alt><Alt Only="HTML MathJax"><M>&pgammau;(d,q^2)</M></Alt><Alt Only="HTML noMathJax">PΓU(d,q<sup>2</sup>)</Alt>">
<!ENTITY aglnq "<Alt Only="Text"><M>AGL(n,q)</M></Alt><Alt Only="LaTeX"><M>&agl;(n+1,q)</M></Alt><Alt Only="HTML MathJax"><M>&agl;(n,q)</M></Alt><Alt Only="HTML noMathJax">AGL(n,q)</Alt>">
<!ENTITY agammalnq "<Alt Only="Text"><M>A\Gamma{}L(n,q)</M></Alt><Alt Only="LaTeX"><M>&agammal;(n,q)</M></Alt><Alt Only="HTML MathJax"><M>&agammal;(n,q)</M></Alt><Alt Only="HTML noMathJax">AΓL(n,q)</Alt>">
<!ENTITY qplus5q "<Alt Only="HTML MathJax"><M>\mathrm{Q}^+(5,q)</M></Alt><Alt Only="LaTeX"><M>\mathrm{Q}^+(5,q)</M></Alt><Alt Only="HTML noMathJax">Q<sup>+</sup>(5,q)</Alt><Alt Only="Text"><M>Q^+(5,q)</M></Alt>">
<!ENTITY qplus7q "<Alt Only="HTML MathJax"><M>\mathrm{Q}^+(7,q)</M></Alt><Alt Only="LaTeX"><M>\mathrm{Q}^+(7,q)</M></Alt><Alt Only="HTML noMathJax">Q<sup>+</sup>(7,q)</Alt><Alt Only="Text"><M>Q^+(7,q)</M></Alt>">
<!ENTITY qmin5q "<Alt Only="HTML MathJax"><M>\mathrm{Q}^-(5,q)</M></Alt><Alt Only="LaTeX"><M>\mathrm{Q}^-(5,q)</M></Alt><Alt Only="HTML noMathJax">Q<sup>+</sup>(5,q)</Alt><Alt Only="Text"><M>Q^-(5,q)</M></Alt>">
<!ENTITY w3q "<Alt Only="HTML MathJax"><M>\mathrm{W}(3,q)</M></Alt><Alt Only="LaTeX"><M>\mathrm{W}(3,q)</M></Alt><Alt Only="HTML noMathJax">W(3,q)</Alt><Alt Only="Text"><M>W(3,q)</M></Alt>">
<!ENTITY w5q "<Alt Only="HTML MathJax"><M>\mathrm{W}(5,q)</M></Alt><Alt Only="LaTeX"><M>\mathrm{W}(5,q)</M></Alt><Alt Only="HTML noMathJax">W(5,q)</Alt><Alt Only="Text"><M>W(5,q)</M></Alt>">
<!ENTITY q4q "<Alt Only="HTML MathJax"><M>\mathrm{Q}(4,q)</M></Alt><Alt Only="LaTeX"><M>\mathrm{Q}(4,q)</M></Alt><Alt Only="HTML noMathJax">Q(4,q)</Alt><Alt Only="Text"><M>Q(4,q)</M></Alt>">
<!ENTITY q6q "<Alt Only="HTML MathJax"><M>\mathrm{Q}(6,q)</M></Alt><Alt Only="LaTeX"><M>\mathrm{Q}(6,q)</M></Alt><Alt Only="HTML noMathJax">Q(6,q)</Alt><Alt Only="Text"><M>Q(6,q)</M></Alt>">
<!ENTITY pg3q "<Alt Only="Text"><M>PG(3,q)</M></Alt><Alt Only="LaTeX"><M>&pg;(3,q)</M></Alt><Alt Only="HTML MathJax"><M>&pg;(3,q)</M></Alt><Alt Only="HTML noMathJax">PG(3,q)</Alt>">
<!ENTITY pg5q "<Alt Only="Text"><M>PG(5,q)</M></Alt><Alt Only="LaTeX"><M>&pg;(5,q)</M></Alt><Alt Only="HTML MathJax"><M>&pg;(5,q)</M></Alt><Alt Only="HTML noMathJax">PG(5,q)</Alt>">
<!ENTITY h3q2 "<Alt Only="HTML MathJax"><M>\mathrm{H}(3,q^2)</M></Alt><Alt Only="LaTeX"><M>\mathrm{H}(3,q^2)</M></Alt><Alt Only="HTML noMathJax">H(3,q<sup>2</sup>)</Alt><Alt Only="Text"><M>H(3,q^2)</M></Alt>">
<!ENTITY Gamma "<Alt Not="HTML"><M>\Gamma</M></Alt><Alt Only="HTML MathJax"><M>\Gamma</M></Alt><Alt Only="HTML noMathJax">Γ</Alt>">

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

¤ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet am  2026-04-29) ¤

*© Formatika GbR, Deutschland






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