fix implementation of unit? in Interval domain

[Ralf Hemmecke]

I hope we agree that unit?(i) for an interval is true only of 0 is NOT
in the interval.

Patch attached.

Ralf

[Ralf Hemmecke]

Sorrry that was the wrong patch before.

Use this one.

Ralf

[Waldek Hebisch]

On Fri, Apr 04, 2025 at 07:00:10PM +0200, 'Ralf Hemmecke' via FriCAS - computer algebra system wrote:
> Sorrry that was the wrong patch before.
>
> Use this one.

OK.

> Ralf
>
> On 4/4/25 18:48, 'Ralf Hemmecke' via FriCAS - computer algebra system wrote:
> > I hope we agree that unit?(i) for an interval is true only of 0 is NOT
> > in the interval.
> >
> > Patch attached.
> >
> > Ralf
> >
>

> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/0385354b-5dd1-4615-b61a-2feb0e4f16a2%40hemmecke.org.

> From d54c768ea8c89b1c434e99585c1f69607e860519 Mon Sep 17 00:00:00 2001
> From: Ralf Hemmecke <ra...@hemmecke.org>
> Date: Fri, 4 Apr 2025 18:40:38 +0200
> Subject: fix implementation of unit?
>
> ---
> src/algebra/interval.spad | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/src/algebra/interval.spad b/src/algebra/interval.spad
> index 51401071..8accdb90 100644
> --- a/src/algebra/interval.spad
> +++ b/src/algebra/interval.spad
> @@ -188,7 +188,7 @@ Interval(R : Join(FloatingPointSystem, TranscendentalFunctionCategory)) : Interv
> qinterval(first vals, last vals)
>
>
> - unit?(u : %) : Boolean == contains?(u, 0)
> + unit?(u : %) : Boolean == not contains?(u, 0)
>
> _exquo(u:%,v:%):Union(%,"failed") ==
> contains?(v,0) => "failed"
> --
> 2.43.0
>


--
Waldek Hebisch