Sorrry that was the wrong patch before.
Use this one.
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+unsubscr...@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 <r...@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
