To reproduce:
(1) -> (x~=y)$Expression INT
The function not is not implemented in Expression(Integer) .
Since the definition of ~= is apparently (at least according to
hyperdoc) provided by BasicType there is a good change that this
problem occurs in many other domains. The problem seemed
oldk1331 wrote:
>
> > Current code applies
> > transformation in many cases when we do not know if transformation
> > will not lead to worse result.
>
> That's the main problem, sometimes doing the transformation is better,
> sometimes not doing the transformation is better (when there are more
Bill Page wrote:
>
> To reproduce:
>
> (1) -> (x~=y)$Expression INT
>
>The function not is not implemented in Expression(Integer) .
>
> So then I looked at the boot code and I
> found this:
>
> Fix:
>
> diff --git a/src/interp/i-intern.boot b/src/interp/i-intern.boot
> index
Interesting. It definitely does work in .spad files (search for ^+\[).
In any case, as written it's left to right. There's an argument that it
should be undefined - ie require an associative argument (for parallel
accumulation) but that is likely to be more work than I have time for at
the
Can it be that this /-fold-notation is interpreter-only in FriCAS?
fricas/src/algebra> grep '^[ "_]*/[ "]*:' *.spad
catdef.spad: "/": (%,%) -> %
catdef.spad: "/": (%,%) -> % ++ x/y is the same as x
times the inverse of y.
catdef.spad:"/" : (%, S) -> %