generateFactRules function

FactRules generateFactRules()

Generate the default assumption rules

This method should only be called by bin/ask_update.dart to update the pre-generated assumption rules.

Implementation

FactRules generateFactRules() {
  return FactRules([
    'integer        ->  rational',
    'rational       ->  real',
    'rational       ->  algebraic',
    'algebraic      ->  complex',
    'transcendental ==  complex & !algebraic',
    'real           ->  hermitian',
    'imaginary      ->  complex',
    'imaginary      ->  antiHermitian',
    'extendedReal   ->  commutative',
    'complex        ->  commutative',
    'complex        ->  finite',
    'odd            ==  integer & !even',
    'even           ==  integer & !odd',
    'real           ->  complex',
    'extendedReal   ->  real | infinite',
    'real           ==  extendedReal & finite',
    'extendedReal        ==  extendedNegative | zero | extendedPositive',
    'extendedNegative    ==  extendedNonPositive & extendedNonzero',
    'extendedPositive    ==  extendedNonNegative & extendedNonzero',
    'extendedNonPositive ==  extendedReal & !extendedPositive',
    'extendedNonNegative ==  extendedReal & !extendedNegative',
    'real           ==  negative | zero | positive',
    'negative       ==  nonPositive & nonzero',
    'positive       ==  nonNegative & nonzero',
    'nonPositive    ==  real & !positive',
    'nonNegative    ==  real & !negative',
    'positive       ==  extendedPositive & finite',
    'negative       ==  extendedNegative & finite',
    'nonPositive    ==  extendedNonPositive & finite',
    'nonNegative    ==  extendedNonNegative & finite',
    'nonzero        ==  extendedNonzero & finite',
    'zero           ->  even & finite',
    'zero           ==  extendedNonNegative & extendedNonPositive',
    'zero           ==  nonNegative & nonPositive',
    'nonzero        ->  real',
    'prime          ->  integer & positive',
    'composite      ->  integer & positive & !prime',
    '!composite     ->  !positive | !even | prime',
    'irrational     ==  real & !rational',
    'imaginary      ->  !extendedReal',
    'infinite        ==  !finite',
    'nonInteger      ==  extendedReal & !integer',
    'extendedNonzero == extendedReal & !zero',
  ]);
}