Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/thelma/lib/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 3.2.2022 mit Größe 1 kB image not shown  

Quelle  boolfunc_def.gd   Sprache: unbekannt

 
#############################################################################
##
#W  boolfunc_def.gd                         Victor Bovdi <vbovdi@gmail.com>
#W                                       Vasyl Laver  <vasyllaver@uzhnu.edu.ua>
##
##
#Y  Copyright (C)  2018,  UAE University, UAE
##

DeclareCategory( "IsLogicFunctionObj", IsObject );
DeclareCategoryCollections( "IsLogicFunctionObj" );
DeclareOperation( "LogicFunction",  [IsPosInt,IsDenseList,IsDenseList]);
DeclareGlobalFunction( "IsLogicFunction" );
DeclareGlobalFunction("PolynomialToBooleanFunction");
DeclareOperation( "CharacteristicVectorOfFunction", [IsObject]);
DeclareOperation( "IsCharacteristicVectorOfSTE", [IsVector]);
DeclareOperation("KernelOfBooleanFunction", [IsObject]);
DeclareGlobalFunction( "ReducedKernelOfBooleanFunction" );
DeclareOperation( "IsInverseInKernel", [IsObject] );
DeclareOperation( "IsKernelContainingPrecedingVectors",[IsObject] );
DeclareOperation("IsRKernelBiggerOfCombSum", [IsObject]);
DeclareOperation("IsUnateInVariable",[IsObject,IsPosInt]);
DeclareOperation("IsUnateBooleanFunction",[IsObject]);
DeclareOperation("SelfDualExtensionOfBooleanFunction",[IsObject]);
DeclareOperation("InfluenceOfVariable",[IsObject,IsPosInt]);
DeclareOperation("SplitBooleanFunction",[IsObject,IsPosInt,IsBool]);

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]