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

Quelle  overloadmethods.gd   Sprache: Shell

 

#############################################################################
##
##
#W  overloadmethods.gd    ferret Package                  Chris Jefferson
##
##  Replace built in GAP methods.
##
#Y  Copyright (C) 2014     University of St. Andrews, North Haugh,
#Y                          St. Andrews, Fife KY16 9SS, Scotland
##


#############################################################################
##  <#GAPDoc Label="EnableFerretOverloads">
##  <ManSection>
##  <Func Name="EnableFerretOverloads" Arg="[active]"/>
##
##  <Description>
##  if <A>active</A> (a bool) is true, then enable
##  Ferret specialisations of Intersection and Stabilizer.
##  Call with <A>active</A> false to disable.
##  </Description>
##  </ManSection>
##  <#/GAPDoc>
DeclareGlobalFunction( "EnableFerretOverloads" );

#############################################################################
##  <#GAPDoc Label="FerretOverloadsEnabled">
##  <ManSection>
##  <Func Name="FerretOverloadsEnabled" Arg=""/>
##
##  <Description>
##  Return if Ferret specialisations of Intersection and Stabilizer
##  are currently enabled.
##  </Description>
##  </ManSection>
##  <#/GAPDoc>
DeclareGlobalFunction( "FerretOverloadsEnabled" );

#############################################################################
##  <#GAPDoc Label="InfoFerretOverloads">
##  <ManSection>
##  <InfoClass Name="InfoFerretOverloads"/>
##
##  <Description>
##  is the info class for showing if Ferret is being called when GAP methods
##  such as Intersection or Stabilizer are called. 
##  (see <Ref Sect="Info Functions"/>).
##  </Description>
##  </ManSection>
##  <#/GAPDoc>
##
DeclareInfoClass( "InfoFerretOverloads" );

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

¤ Dauer der Verarbeitung: 0.4 Sekunden  ¤

*© 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.