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+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 > -- Waldek Hebisch -- 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/Z_AkoVgf8ctS2Yi5%40fricas.org.
