Motivations

• The original motivation is computer algebra, as an extension language for the AXIOM system.
• Need to model the rich relationships among mathematical structures.
• Primary considerations:
  • generality,
  • expressivity,
  • efficiency,
  • interoperability.