Yacas Under the Hood
The Yacas Architecture
Startup and the .def files
Object types
Evaluation Scheme
Rules
Examples of using rules
Structured programming
Additional Syntactic Sugar
Scope Of Variable Bindings
Coding style
Introduction
Interactions of rules and types
Ordering of rules
Advanced example 1: parsing expressions (CForm)
Recursive parsing of expression trees
Handling precedence of infix operations
Debugging in Yacas
Introduction
The trace facilities
Advanced example 2: implementing a non-commutative algebra
The problem
First steps
Structure of expressions
Implementing the canonical form
Implementing commutation rules
Avoiding infinite recursion
Implementing VEV()