# {py:mod}`pyirk._builtin.math_expressions`

```{py:module} pyirk._builtin.math_expressions
```

```{autodoc2-docstring} pyirk._builtin.math_expressions
:allowtitles:
```

## Module Contents

### Classes

````{list-table}
:class: autosummary longtable
:align: left

* - {py:obj}`ImplicationStatement <pyirk._builtin.math_expressions.ImplicationStatement>`
  - ```{autodoc2-docstring} pyirk._builtin.math_expressions.ImplicationStatement
    :summary:
    ```
````

### Functions

````{list-table}
:class: autosummary longtable
:align: left

* - {py:obj}`create_expression <pyirk._builtin.math_expressions.create_expression>`
  - ```{autodoc2-docstring} pyirk._builtin.math_expressions.create_expression
    :summary:
    ```
* - {py:obj}`get_arguments <pyirk._builtin.math_expressions.get_arguments>`
  - ```{autodoc2-docstring} pyirk._builtin.math_expressions.get_arguments
    :summary:
    ```
* - {py:obj}`create_evaluated_mapping <pyirk._builtin.math_expressions.create_evaluated_mapping>`
  - ```{autodoc2-docstring} pyirk._builtin.math_expressions.create_evaluated_mapping
    :summary:
    ```
* - {py:obj}`new_equation <pyirk._builtin.math_expressions.new_equation>`
  - ```{autodoc2-docstring} pyirk._builtin.math_expressions.new_equation
    :summary:
    ```
* - {py:obj}`new_mathematical_relation <pyirk._builtin.math_expressions.new_mathematical_relation>`
  - ```{autodoc2-docstring} pyirk._builtin.math_expressions.new_mathematical_relation
    :summary:
    ```
* - {py:obj}`get_proxy_item <pyirk._builtin.math_expressions.get_proxy_item>`
  - ```{autodoc2-docstring} pyirk._builtin.math_expressions.get_proxy_item
    :summary:
    ```
* - {py:obj}`new_tuple <pyirk._builtin.math_expressions.new_tuple>`
  - ```{autodoc2-docstring} pyirk._builtin.math_expressions.new_tuple
    :summary:
    ```
* - {py:obj}`uq_instance_of <pyirk._builtin.math_expressions.uq_instance_of>`
  - ```{autodoc2-docstring} pyirk._builtin.math_expressions.uq_instance_of
    :summary:
    ```
````

### Data

````{list-table}
:class: autosummary longtable
:align: left

* - {py:obj}`__all__ <pyirk._builtin.math_expressions.__all__>`
  - ```{autodoc2-docstring} pyirk._builtin.math_expressions.__all__
    :summary:
    ```
````

### API

````{py:data} __all__
:canonical: pyirk._builtin.math_expressions.__all__
:value: >
   ['create_expression', 'get_arguments', 'create_evaluated_mapping', 'new_equation', 'new_mathematical...

```{autodoc2-docstring} pyirk._builtin.math_expressions.__all__
```

````

````{py:function} create_expression(latex_src: str, r1: str = None, r2: str = None) -> pyirk.core.Item
:canonical: pyirk._builtin.math_expressions.create_expression

```{autodoc2-docstring} pyirk._builtin.math_expressions.create_expression
```
````

````{py:function} get_arguments(self: pyirk.core.Item) -> typing.Tuple[pyirk.core.Item]
:canonical: pyirk._builtin.math_expressions.get_arguments

```{autodoc2-docstring} pyirk._builtin.math_expressions.get_arguments
```
````

````{py:function} create_evaluated_mapping(mapping: pyirk.core.Item, *args) -> pyirk.core.Item
:canonical: pyirk._builtin.math_expressions.create_evaluated_mapping

```{autodoc2-docstring} pyirk._builtin.math_expressions.create_evaluated_mapping
```
````

````{py:function} new_equation(lhs: pyirk.core.Item, rhs: pyirk.core.Item, doc=None, scope: typing.Optional[pyirk.core.Item] = None, force_key: str = None) -> pyirk.core.Item
:canonical: pyirk._builtin.math_expressions.new_equation

```{autodoc2-docstring} pyirk._builtin.math_expressions.new_equation
```
````

````{py:function} new_mathematical_relation(lhs: pyirk.core.Item, rsgn: str, rhs: pyirk.core.Item, doc=None, scope: typing.Optional[pyirk.core.Item] = None, add_relations: dict = {}, force_key: str = None) -> pyirk.core.Item
:canonical: pyirk._builtin.math_expressions.new_mathematical_relation

```{autodoc2-docstring} pyirk._builtin.math_expressions.new_mathematical_relation
```
````

````{py:function} get_proxy_item(stm: pyirk.core.Statement, strict=True) -> pyirk.core.Item
:canonical: pyirk._builtin.math_expressions.get_proxy_item

```{autodoc2-docstring} pyirk._builtin.math_expressions.get_proxy_item
```
````

````{py:function} new_tuple(*args, **kwargs) -> pyirk.core.Item
:canonical: pyirk._builtin.math_expressions.new_tuple

```{autodoc2-docstring} pyirk._builtin.math_expressions.new_tuple
```
````

````{py:function} uq_instance_of(type_entity: pyirk.core.Item, r1: str = None, r2: str = None) -> pyirk.core.Item
:canonical: pyirk._builtin.math_expressions.uq_instance_of

```{autodoc2-docstring} pyirk._builtin.math_expressions.uq_instance_of
```
````

`````{py:class} ImplicationStatement()
:canonical: pyirk._builtin.math_expressions.ImplicationStatement

```{autodoc2-docstring} pyirk._builtin.math_expressions.ImplicationStatement
```

```{rubric} Initialization
```

```{autodoc2-docstring} pyirk._builtin.math_expressions.ImplicationStatement.__init__
```

````{py:method} __enter__()
:canonical: pyirk._builtin.math_expressions.ImplicationStatement.__enter__

```{autodoc2-docstring} pyirk._builtin.math_expressions.ImplicationStatement.__enter__
```

````

````{py:method} __exit__(exc_type, exc_val, exc_tb)
:canonical: pyirk._builtin.math_expressions.ImplicationStatement.__exit__

```{autodoc2-docstring} pyirk._builtin.math_expressions.ImplicationStatement.__exit__
```

````

````{py:method} antecedent_relation(**kwargs)
:canonical: pyirk._builtin.math_expressions.ImplicationStatement.antecedent_relation

```{autodoc2-docstring} pyirk._builtin.math_expressions.ImplicationStatement.antecedent_relation
```

````

````{py:method} consequent_relation(**kwargs)
:canonical: pyirk._builtin.math_expressions.ImplicationStatement.consequent_relation

```{autodoc2-docstring} pyirk._builtin.math_expressions.ImplicationStatement.consequent_relation
```

````

`````