Packages

p

ap.theories

rationals

package rationals

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. class Fractions extends Theory with RingWithDivision

    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

    The theory and field of rational numbers.

Ungrouped