Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/plugins/micromega/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 28 kB image not shown  

Quelle  README   Sprache: SML

 
               The Symbolic-Computation-and-Coclass package

This is the README file for the GAP package "SymbCompCC".

This package gives tools to compute with elements in Q[p^x]. These 
elements are used to give parameter presentations for p-groups of certain 
coclass and the computation of the Schur extension of these families of 
groups. 

The  package is distributed with  the main  GAP archive.  
For updates check the package Web page
     https://gap-packages.github.io/SymbCompCC/
  
An installation should be possible on any system. You have to unpack the
package into the GAP-package directory pkg. 

Now start GAP and type

  LoadPackage("SymbCompCC");

The ``SymbCompCC" package banner should appear on the screen. 

For details on how to use the SymbCompCC package see the package
documentation in the `doc' subdirectory (view either `manual.dvi'  via
`xdvi' or or `manual.pdf' via a PDF viewer). 

This code is released under the GPL version 2 or later (at your preference). 
For the text of the GPL, please see http://www.gnu.org/licenses/.

  D"orte Feichtenschlager -- 19 November 2011.

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ¤

*© 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 ist noch experimentell.