• 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()