Quartz.Operators (Quartz v0.8.1)
View SourceImports versions of the arithmetic operators (+, -, * and /)
that work on polynomials (#Polynomial<...>, used for lengths in Quartz)
and hides the operators from the Kernel module which only work on numbers.
These arithmetic operators work on both polynomials and numbers and
will convert the result to a number if the result is a constant.
This module is meant to be used as use Quartz.Operators
Summary
Functions
Replaces the arithmetic operators (+, -, * and /)
in the given code by the corresponding polynomial operators.