Yacas under the hood
The Yacas architecture
Startup, scripts and
.def
files
Object types
Yacas evaluation scheme
Rules
Examples of using rules
Structured programming and control flow
Additional syntactic sugar
Using "Macro rules" (e.g.
NFunction
)
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
The Yacas debugger program
Advanced example 2: implementing a non-commutative algebra
The problem
First steps
Structure of expressions
Implementing the canonical form
Implementing commutation relations
Avoiding infinite recursion
Implementing VEV()