Hello, I have also found this but the problem seems more complicate:
On WSL2/Linux (uname -a: Linux ellipse
5.15.146.1-microsoft-standard-WSL2 #1 SMP Thu Jan 11 04:09:03 UTC 2024
x86_64 GNU/Linux):
Checking for foreign routines
FRICAS="/usr/local/lib/fricas/target/x86_64-linux-gnu"
spad-lib="/usr/local/lib/fricas/target/x86_64-linux-gnu//lib/libspad.so"
foreign routines found
openServer result -2
FriCAS Computer Algebra System
Version: FriCAS 1.3.11-dev built with SBCL 2.4.4
Timestamp: dim. 12 mai 2024 15:40:31 CEST
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) -> )tr GLESSEQP
Function traced: GLESSEQP
(1) -> a:=series sin(x)
1<enter GLESSEQP : 2\1
1>exit GLESSEQP : NIL
1 3 1 5 1 7 1 9 1 11 12
(1) x - - x + --- x - ---- x + ------ x - -------- x + O(x )
6 120 5040 362880 39916800
Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)
Time: 0.06 (OT) = 0.07 sec
(2) -> a*1.0
1<enter GLESSEQP : 2\1
1>exit GLESSEQP : NIL
(2)
3 5
x - 0.1666666666_6666666667 x + 0.0083333333_3333333333_34 x
+
7 9
- 0.0001984126_9841269841_27 x + 0.0000027557_3192239858_90653 x
+
11 12
- 0.2505210838_5441718775 E -7 x + O(x )
Type: UnivariatePuiseuxSeries(Expression(Float),x,0.0)
Time: 0.02 (IN) + 0.01 (OT) = 0.03 sec
And see the two attached gzipped files, one with old GLESSEQP and the
other with newer GLESSEQP.
- Greg
Le dim. 12 mai 2024 à 10:38, Qian Yun <oldk1...@gmail.com> a écrit :
>
> The problematic part is this line.
>
> - Qian
>
> diff --git a/src/interp/macros.lisp b/src/interp/macros.lisp
> index f2bb9ecc..5db4335d 100644
> --- a/src/interp/macros.lisp
> +++ b/src/interp/macros.lisp
> @@ -221,7 +221,7 @@
> (GO LP)))
> (RETURN (GGREATERP T1 T2)) ) )
>
> -(defun GLESSEQP (X Y) (NOT (GGREATERP X Y)))
> +(defun GLESSEQP (X Y) (|lt_sexp| X Y))
>
> (defun LEXLESSEQP (X Y) (|lt_sexp| X Y))
>
> On 5/11/24 00:05, Waldek Hebisch wrote:
> > On Fri, May 10, 2024 at 05:10:45PM +0200, Grégory Vanuxem wrote:
> >> For information, exhibited on SBCL-2.3.2 (GiHub) but also on SBCL-2.4.4. I
> >> tried early this morning to revert parts of this commit without success, I
> >> abandoned, it is too Lispish for me I think.
> >
> > You can try to revert change to symbol.spad, change to i-resolv.boot,
> > second hunk in macros.lisp + change to vmlisp.lisp. Those 3 are
> > independent on each other and to remaining changes.
> >
> > At first glance change to i-resolv.boot is most likely to produce
> > effect below. OTOH it should do the same thing an all systems...
> >
> >> Le ven. 10 mai 2024 à 15:32, Qian Yun <oldk1...@gmail.com> a écrit :
> >>
> >>> The recent commit "Simplify and fix ordering predicate"
> >>> causes regression on windows only, strange.
> >>>
> >>> The failed test is in series3.input:
> >>>
> >>> testcase "crashes coercing power series (#122, #136)"
> >>> a := series(sin(x))
> >>> testTrue("(a*1.0; true)")
> >>> testTrue("(1.0*a; true)")
> >>>
> >>>
> >>> Interpreter can't find proper signature.
> >>>
> >>> - Qian
> >>>
>
> --
> 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 on the web visit
> https://groups.google.com/d/msgid/fricas-devel/e5a1b4e0-0032-446a-9742-826834f3f39f%40gmail.com.
--
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 on the web visit
https://groups.google.com/d/msgid/fricas-devel/CAHnU2dZo30T_MOm4JYfYxhgUNeXozZoVwS_fD1eJojQG3TxEqA%40mail.gmail.com.
old_glesseqp.txt.gz
Description: GNU Zip compressed data
new_glesseqp.txt.gz
Description: GNU Zip compressed data
