From f31fb90081187e3da864458ab8c61a70dd9289ea Mon Sep 17 00:00:00 2001
From: Johannes Pfeifer <jpfeifer@gmx.de>
Date: Fri, 9 May 2025 21:27:42 +0200
Subject: [PATCH] manual: document homogenous equations with inequality signs
Closes https://git.dynare.org/Dynare/preprocessor/-/issues/134
---
doc/manual/source/the-model-file.rst | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/doc/manual/source/the-model-file.rst b/doc/manual/source/the-model-file.rst
index 86c0533844..fc4887e54f 100644
--- a/doc/manual/source/the-model-file.rst
+++ b/doc/manual/source/the-model-file.rst
@@ -959,6 +959,15 @@ The model is declared inside a ``model`` block:
MODEL_EXPRESSION;
+ .. warning::
+
+ In Dynare, only equality signs can delineate the left and right-hand side of an
+ equation. If Dynare encounters an expression like ``a>=b``, this will therefore not
+ define an inequality constraint. Rather, it is interpreted as the homogenous equation
+ `(a>=b)=0;`, i.e., the Boolean `(a>=b)` must evaluate to 0. Inequality constraints
+ in Dynare instead need to be set up either via OccBin or as mixed complementarity problems.
+
+
|br| Inside the model block, Dynare allows the creation of
*model-local variables*, which constitute a simple way to share a
common expression between several equations. The syntax consists
--
GitLab