egison-4.1.3: Programming language with non-linear pattern-matching against non-free data
LicenseMIT
Safe HaskellNone
LanguageHaskell2010

Language.Egison.Math.Arith

Description

This module defines some basic arithmetic operations for Egison's computer algebra system.

Documentation

mathPlus :: ScalarData -> ScalarData -> ScalarData Source #

mathMinus :: ScalarData -> ScalarData -> ScalarData Source #

mathMult :: ScalarData -> ScalarData -> ScalarData Source #

mathDiv :: ScalarData -> ScalarData -> ScalarData Source #

mathPower :: ScalarData -> Integer -> ScalarData Source #

mathNumerator :: ScalarData -> ScalarData Source #

mathDenominator :: ScalarData -> ScalarData Source #