Package

ap.theories

rationals

Permalink

package rationals

Visibility
  1. Public
  2. All

Type Members

  1. class Fractions extends Theory with RingWithDivision

    Permalink

    The theory of fractions s / t, with s, t taken from some ring.

    The theory of fractions s / t, with s, t taken from some ring. The theory uses an encoding in which the same (fixed, but arbitrary) denominator is used for all expressions. The range of considered denominators is described by the denomConstraint argument over the variable _0.

Value Members

  1. object Rationals extends Fractions with Field with OrderedRing with RingWithIntConversions

    Permalink

    The theory and field of rational numbers.

Ungrouped