toAssumptions method

Assumptions toAssumptions()

Returns the derived assumptions after all facts have been deduced.

Implementation

Assumptions toAssumptions() {
  return Assumptions._full(
    commutative: this[LogicAtom("commutative")],
    complex: this[LogicAtom("complex")],
    imaginary: this[LogicAtom("imaginary")],
    real: this[LogicAtom("real")],
    extendedReal: this[LogicAtom("extendedReal")],
    integer: this[LogicAtom("integer")],
    nonInteger: this[LogicAtom("nonInteger")],
    odd: this[LogicAtom("odd")],
    even: this[LogicAtom("even")],
    prime: this[LogicAtom("prime")],
    composite: this[LogicAtom("composite")],
    zero: this[LogicAtom("zero")],
    nonzero: this[LogicAtom("nonzero")],
    rational: this[LogicAtom("rational")],
    algebraic: this[LogicAtom("algebraic")],
    transcendental: this[LogicAtom("transcendental")],
    irrational: this[LogicAtom("irrational")],
    finite: this[LogicAtom("finite")],
    infinite: this[LogicAtom("infinite")],
    negative: this[LogicAtom("negative")],
    nonNegative: this[LogicAtom("nonNegative")],
    positive: this[LogicAtom("positive")],
    nonPositive: this[LogicAtom("nonPositive")],
    extendedNegative: this[LogicAtom("extendedNegative")],
    extendedNonNegative: this[LogicAtom("extendedNonNegative")],
    extendedPositive: this[LogicAtom("extendedPositive")],
    extendedNonPositive: this[LogicAtom("extendedNonPositive")],
    extendedNonzero: this[LogicAtom("extendedNonzero")],
    hermitian: this[LogicAtom("hermitian")],
    antiHermitian: this[LogicAtom("antiHermitian")],
  );
}