Yes QQbar.
On 14/03/2018 11:19, Ralf Stephan wrote:
Hi,
Is the symbolic ring the only one where equality is polymorphic?
Comparison in SR can mean 1. "try to prove with certainty" or 2. "check if
numeric zero".
Other rings may have different features. But are there other such
constructs?
--
Hi,
Is the symbolic ring the only one where equality is polymorphic?
Comparison in SR can mean 1. "try to prove with certainty" or 2. "check if
numeric zero".
Other rings may have different features. But are there other such
constructs?
--
You received this message because you are subscribed t