2. Functions reference

• 2.1. Builtin functions
  • 2.1.1. Real conversion function
  • 2.1.2. Trigonometric functions
  • 2.1.3. Other functions
• 2.2. Eq’s library
  • 2.2.1. List functions
  • 2.2.2. List-generation functions
  • 2.2.3. Higher-order functions
• 2.3. sum
  • 2.3.1. Sum for formatting
  • 2.3.2. Evaluation of sums
  • 2.3.3. Product for evaluation
• 2.4. Derivate
  • 2.4.1. Example
  • 2.4.2. Non-allowed derivations
• 2.5. integrate
  • 2.5.1. Formating