Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/ace/examples/   (GAP Algebra Version 4.15.1©)  Datei vom 10.3.2025 mit Größe 1 kB image not shown  

Quelle  README

  Sprache: Text
 

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

The  examples  in  this  directory  are  designed  to  work  with  the
ACEExample function ... though the following  sequence,  for  example,
will also work (after the  ACE  Share  Package  has  been  loaded  via
`LoadPackage("ace");'):

  file := Filename(DirectoriesPackageLibrary("ace", "examples"), "A5");
  ACEfunc := ACECosetTableFromGensAndRels;
  ReadAsFunction(file)();

(In the above example, one may of course substitute for "A5",  one  of
the other example filenames in this directory, and one may  substitute
ACEStats or ACEStart for ACECosetTableFromGensAndRels.)

The `magic' behind ACEExample depends on the example files having  the
following properties:

1. There is a local variables line: `local' appears flush left on this
   line, and all local variables appear on this *one* line.

2. There is a `return ACEfunc'  line,  and  `return  ACEfunc'  appears
   flush left on this line.

I guess these would be bugs, but since I've  now  documented  them,  I
suppose that  makes  them  `features'.  There  is  no  restriction  on
comments. It would be nice if the general spacing and  format  of  any
new examples added, could be maintained ... and don't forget  to  list
them in "index"!!

Most of the examples are  a  direct  translation  into  GAP  of  Colin
Ramsay's test###.in files in the ../src directory.

   - Greg Gamble -- 15 May, 2000.

¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet am  2026-06-18) ¤

*© Formatika GbR, Deutschland






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.