ó
~9­\c           @   sd   d  Z  d d l m Z d d l m Z m Z m Z d d l m Z e d „  ƒ Z	 e d „  ƒ Z
 d S(   s¥   
The contents of this file are the return value of
``sympy.assumptions.ask.compute_known_facts``.

Do NOT manually edit this file.
Instead, run ./bin/ask_update.py.
iÿÿÿÿ(   t   cacheit(   t   Andt   Nott   Or(   t   Qc        G   C   sD  t  t j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j	 Bt j t j
 Bt j t j Bt j t j Bt j t j Bt j t j	 Bt j t j Bt j t j	 Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j Bt j t j  Bt j t j Bt j	 t j! Bt j	 t j Bt j	 t j Bt j	 t j Bt j	 t j Bt j t j" Bt j# t j Bt j# t j Bt j# t j$ Bt j$ t j Bt j% t j Bt j% t j& Bt j% t j' Bt j t j  Bt j' t j Bt j t j
 Bt j t j Bt j( t j Bt j t j Bt j) t j Bt j t j	 Bt j t j Bt j! t j Bt j t j Bt j t j Bt j t j Bt j t j
 Bt j Bt j t j Bt j Bt j t j	 Bt j Bt j! t j Bt j	 Bt j t j' Bt j% Bt j t j Bt j Bt j t j Bt j Bt j t j Bt j Bt j t j Bt j' Bt j t j Bt j# Bt j  t j	 Bt j Bt j t j Bt j Bt j	 Bt j( t j Bt j Bt j BƒE S(   N(*   R   R   t
   invertiblet   singulart	   algebraict   rationalt   antihermitiant	   imaginaryt   complext   realt   transcendentalt   complex_elementst   real_elementst   event   zerot   extended_realt   infinitet   fullrankt	   hermitiant   integert   oddt   primet   positive_definitet   unitaryt   lower_triangulart   diagonalt   nonnegativet   positivet   nonpositivet   negativet   nonzerot   normalt
   orthogonalt
   irrationalt   integer_elementst   squaret	   symmetrict
   triangulart   unit_triangulart   upper_triangulart	   compositet   finite(    (    (    s>   lib/python2.7/site-packages/sympy/assumptions/ask_generated.pyt   get_known_facts_cnf   sŒ    c           C   s@  i* t  t j t j g ƒ t j 6t  t j g ƒ t j 6t  t j g ƒ t j 6t  t j g ƒ t j 6t  t j g ƒ t j 6t  t j g ƒ t j 6t  t j t j	 t j
 t j t j t j t j g ƒ t j 6t  t j t j t j t j t j t j t j t j g ƒ t j 6t  t j g ƒ t j 6t  t j g ƒ t j 6t  t j g ƒ t j 6t  t j g ƒ t j 6t  t j t j t j g ƒ t j 6t  t j t j g ƒ t j 6t  t j t j t j t j t j t j t j g ƒ t j 6t  t j t j t j g ƒ t j 6t  t j t j t j g ƒ t j 6t  t j t j t j t j t j t j g ƒ t j 6t  t j g ƒ t j 6t  t j	 t j g ƒ t j	 6t  t j t j t j t j t j  t j t j g ƒ t j 6t  t j t j t j t j! t j g ƒ t j! 6t  t j t j t j t j  t j g ƒ t j  6t  t j t j t j t j t j g ƒ t j 6t  t j
 t j g ƒ t j
 6t  t j t j t j t j t j t j t j" t j t j g	 ƒ t j" 6t  t j t j t j
 t j# t j$ t j t j% g ƒ t j# 6t  t j t j t j t j! t j t j& t j g ƒ t j& 6t  t j t j t j$ t j g ƒ t j$ 6t  t j t j t j t j t j t j! t j t j& t j' t j t j g ƒ t j' 6t  t j t j t j t j t j t j g ƒ t j 6t  t j t j t j t j g ƒ t j 6t  t j t j g ƒ t j 6t  t j( g ƒ t j( 6t  t j g ƒ t j 6t  t j t j g ƒ t j 6t  t j t j) g ƒ t j) 6t  t j g ƒ t j 6t  t j t j* g ƒ t j* 6t  t j t j t j
 t j t j% g ƒ t j% 6t  t j t j g ƒ t j 6t  t j t j t j t j t j t j t j! t j  t j t j t j+ g ƒ t j+ 6S(   N(,   t   setR   R   R   R	   t   commutativeR   R+   R   R   R"   R&   R'   R(   R*   R   R   R   R   R   R   R,   R   R
   R   R%   R   R   R$   R!   t   is_trueR    R   R   R   R#   R   R   R   R   R   R   R)   R   (    (    (    s>   lib/python2.7/site-packages/sympy/assumptions/ask_generated.pyt   get_known_facts_dictY   s|    %""+%(N(   t   __doc__t   sympy.core.cacheR    t   sympy.logic.boolalgR   R   R   t   sympy.assumptions.askR   R-   R1   (    (    (    s>   lib/python2.7/site-packages/sympy/assumptions/ask_generated.pyt   <module>   s
   K