CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
#############################################################################
##
##                                               CAP package
##
##  Copyright 2014, Sebastian Gutsche, TU Kaiserslautern
##                  Sebastian Posur,   RWTH Aachen
##
#! @Chapter Theorem parsers
##
#############################################################################

DeclareGlobalFunction( "STRING_REPRESENTS_INTEGER" );

DeclareGlobalFunction( "Int_SAVE" );


DeclareGlobalFunction( "READ_LOGIC_FILE" );


DeclareGlobalFunction( "PARSE_THEOREM_FROM_LATEX" );

DeclareGlobalFunction( "READ_THEOREM_FILE" );


DeclareGlobalFunction( "PARSE_PREDICATE_IMPLICATION_FROM_LATEX" );

DeclareGlobalFunction( "READ_PREDICATE_IMPLICATION_FILE" );


DeclareGlobalFunction( "SPLIT_SINGLE_PART_RECURSIVE" );

DeclareGlobalFunction( "SEARCH_FOR_VARIABLE_NAME_APPEARANCE" );

DeclareGlobalFunction( "SEARCH_FOR_INT_VARIABLE_APPEARANCE" );

DeclareGlobalFunction( "TOKENIZE_INPUT_JUDGEMENT" );

DeclareGlobalFunction( "REPLACE_VARIABLE" );

DeclareGlobalFunction( "REPLACE_INTEGER_VARIABLE" );

DeclareGlobalFunction( "FIND_COMMAND_POSITIONS" );

DeclareGlobalFunction( "PARSE_EVAL_RULE_FROM_LATEX" );

DeclareGlobalFunction( "READ_EVAL_RULE_FILE" );


DeclareGlobalFunction( "GIVE_VARIABLE_NAMES_WITH_POSITIONS_RECURSIVE" );

DeclareGlobalFunction( "REPLACE_INTEGER_STRINGS_BY_INTS_AND_VARIABLES_BY_FAIL_RECURSIVE" );


DeclareGlobalFunction( "IS_LIST_WITH_INDEX" );

DeclareGlobalFunction( "SPLIT_INTO_LIST_NAME_AND_INDEX" );