While I don't have a particular objection against the notion of
"intersection" of parents, I don't think it belongs in the coercion system,
because I think its only uses run counter to what I think the coercion
system is/should be designed for.
The most complicated part of the coercion system
Thanks to everyone who helped here somewhere along the way!
rocky.b...@gmail.com schrieb am Freitag, 26. März 2021 um 23:52:54 UTC+1:
> I asked about this in the mpmath group and the solution there I think is
> good and only requires a change (or rather simplification) to the Mathics
> code.
>
Dear all,
This is a proposal to implement a new operation somewhere in our
coercion model: intersection of parents. The motivation is to
enhance
1. comparison: x == y would work as expected when x and y belongs to
the intersection of their parents (see [#4621] for a use case)
2. conversion:
Hi,
On Sat, Mar 27, 2021 at 04:16:42AM -0700, Dheeraj Sharma wrote:
>
> Sir,
>
> It has been required by the reviewer. I have submitted article in April
> 2019.
> Reviewer does require to work in cryptominisat-5.0.1 specifically.
>
> Please, tell the procedure.
This sound more like a
On Sat, Mar 27, 2021 at 11:16 AM Dheeraj Sharma
wrote:
> It has been required by the reviewer. I have submitted article in April 2019.
> Reviewer does require to work in cryptominisat-5.0.1 specifically.
2 years is a long time. But the reviewer is right, if your paper
relies on computations,
Sir,
It has been required by the reviewer. I have submitted article in April
2019.
Reviewer does require to work in cryptominisat-5.0.1 specifically.
Please, tell the procedure.
On Saturday, 27 March 2021 at 14:04:06 UTC+5:30 dim...@gmail.com wrote:
> this is certainly not recommended for
this is certainly not recommended for "normal" use.
If you are trying to reproduce computations done years ago, perhaps try
installing a standalone version of cryptominisat, generate the input, and
feed it into the solver.
On Sat, 27 Mar 2021, 06:57 Dheeraj Sharma,
wrote:
> Dear Sir,
>
> I
Dear Sir,
I have to specifically work on cryptominisat-5.0.1 version. I have tried to
install it by running command "./sage -p cryptominisat-5.0.1" on terminal
window (that is opened in Sage folder). But it is showing the following
statements: