<br><br>On Sunday, April 29, 2018, Eitan Adler <<a href="mailto:lists@eitanadler.com">lists@eitanadler.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 29 April 2018 at 01:34, Jeff Allen <<a href="mailto:ja.py@farowl.co.uk">ja.py@farowl.co.uk</a>> wrote:<br>
> On 27/04/2018 08:38, Greg Ewing wrote:<br>
<br>
> I speculate this all goes back to some pre-iteration version of FORmula<br>
> TRANslation, where to its inventors '=' was definition and these really were<br>
> "statements" in the normal sense of stating a truth.<br>
<br>
<a href="https://www.hillelwayne.com/post/equals-as-assignment/" target="_blank">https://www.hillelwayne.com/<wbr>post/equals-as-assignment/</a></blockquote><div><br></div><div><a href="https://en.wikipedia.org/wiki/Assignment_(computer_science)">https://en.wikipedia.org/wiki/Assignment_(computer_science)</a><br></div><div><br></div><div>C and C++ are '=' and '=='.</div><div><br></div><div>The Sympy solver, for example, solves Eq(lhs, rhs) equations and expressions that are assumed to be equal to zero.</div><div><a href="http://docs.sympy.org/latest/tutorial/solvers.html">http://docs.sympy.org/latest/tutorial/solvers.html</a><br></div><div><br></div><div>The sage solver defines __eq__ (==) so expressions with variables produce symbolic equations and inequalities (relations).</div><div><a href="http://doc.sagemath.org/html/en/reference/calculus/sage/symbolic/relation.html">http://doc.sagemath.org/html/en/reference/calculus/sage/symbolic/relation.html</a><br></div><div><br></div><div>PyDatalog defines __eq__ so that expressions with variables produce logic queries.</div><div><a href="https://sites.google.com/site/pydatalog/Online-datalog-tutorial">https://sites.google.com/site/pydatalog/Online-datalog-tutorial</a><br></div><div><br></div><div>The assignment Wikipedia article lists languages other than C and C++ which chose = and == for assignment and definable equality testing.</div><div><br></div><div><a href="https://en.wikipedia.org/wiki/Equality_(mathematics)">https://en.wikipedia.org/wiki/Equality_(mathematics)</a><br></div><div>  <a href="https://en.wikipedia.org/wiki/Extensionality">https://en.wikipedia.org/wiki/Extensionality</a></div><div><a href="https://en.wikipedia.org/wiki/Logical_equality">https://en.wikipedia.org/wiki/Logical_equality</a><br></div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<br>
-- <br>
Eitan Adler<br>
______________________________<wbr>_________________<br>
Python-Dev mailing list<br>
<a href="mailto:Python-Dev@python.org">Python-Dev@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-dev" target="_blank">https://mail.python.org/<wbr>mailman/listinfo/python-dev</a><br>
Unsubscribe: <a href="https://mail.python.org/mailman/options/python-dev/wes.turner%40gmail.com" target="_blank">https://mail.python.org/<wbr>mailman/options/python-dev/<wbr>wes.turner%40gmail.com</a><br>
</blockquote>