User Documentation

This is the introductory user documentation of CArL. It explains the basic concepts and classes that CArL provides.

• CArL module structure

Basic concepts

• Numbers
• Polynomials
• Numbers

Tutorial

There are some introductory code examples how CArL can be used. You find them at Tutorial .