Quelle manual.tex Sprache: Latech

%!TEX root = manual.tex
% !TeX TS-program = pdftex
% !TEX spellcheck =en_GB
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%%  manual.tex               CRISP documentation            Burkhard Höfling
%%
%%  Copyright © 2000, Burkhard Höfling
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\input ../../../doc/gapmacro.tex
% \casesensitivetrue
\citebookstrue
\biblitemtrue
\bibindent 4.5 em

\hyphenation{Is-ListOr-Col-lec-tion}
\Package{CRISP}
\Package{FORMAT}
\emergencystretch 1 em

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\BeginningOfBook{crisp}
  \UseReferences{../../../doc/ref}
  \TitlePage{\unskip{
    \vfill
    \centerline{\subtitlefont Burkhard H{\accent 127 o}fling}
    \baselineskip 72 pt
    \centerline{}
    \centerline{\inchhigh CRISP}
    \baselineskip 36 pt
    \centerline{\subtitlefont Version 1.4.8}
    \centerline{}
    \centerline{}
   \centerline{\subtitlefont Computing with Radicals, Injectors}
    \centerline{\subtitlefont Schunck classes and Projectors}
    \centerline{\subtitlefont of finite soluble groups}
  }}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \TableOfContents

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \FrontMatter

    \def\thechapter{}
    \input copyright
%    \Input{preface}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \Chapters

    \Input{intro}
    \Input{classes}    % classes
    \Input{grpclass}   % group classes and closure properties
    \Input{schunck}    % Schunck classes and formations
    \Input{fitting}    % Fitting sets, normal subgroups
    \Input{examples}   % pre-defined classes and class families
    \Input{normal}  % functions for normal subgroups, minimal normal subgroups and the socle

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \Appendices     % don't uncomment - this is needed for the online manual

    \Input{versions}

    \Bibliography
    \Index

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\EndOfBook

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%E
%%

quality100%

¤ Dauer der Verarbeitung: 0.14 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.