Core Documentation

This section contains the documentation for the core package. Core contains modules that can be used to create a CAS (Computer Algebra System). Howrver the core modules by themselves are not a CAS but provide a framework to build a CAS.

Content

• Overview
• Rules
  • Import and Setup
  • RuleBase Class
  • Rule Class
  • Logic and Predicate Rules
  • NaturalRule Class
  • HalfNaturalRule Class
  • Rules and RulesBU
  • JustOne and JustOneBU
  • Use of Path and Bottomup Attributes
• Expressions
  • Expression Classes
• Settings
  • Constants
  • Definitions
  • bp
  • Settings Attributes
  • Setting Tools