Greetings!  I'm wondering if you can help me map this to a lisp function
failure, or at least point me in the right direction.  I think the two
are related.  The sort is fine with abs1 -> abs.  Or if abs1(x: Integer):
Integer == abs(x).  I cannot trace this.  |abs1| is not fboundp.  I do
not understand how axiom handles anonymous function calls, or why these
are considered anonymous, as abs1 is a name.

Take care,

Waldek Hebisch <[email protected]> writes:

> On Thu, Apr 17, 2025 at 02:13:39PM -0400, Camm Maguire wrote:
>> Greetings, and thanks for the report!
>> 
>> Is this part of the regression tests?  If not, where did it come from?
>> 
>> Take care,
>> 
>> Waldek Hebisch <[email protected]> writes:
>> 
>> > Thanks for info.  For me current FriCAS trunk build fine, however
>> > there are two regressions compared to gcl-2.6.14.
>> >
>> > 1) The FriCAS snippet below gives no output using gcl-2.7.1:
>> >
>> > x+-> if x < 0 then - x else x
>> > abs1 := %
>> > (x,y) +-> abs1(x) > abs1(y)
>> > sort(%,[3,9,-4,10,-3,-1,-9,5])
>
> This one is from FriCAS Book, Chapter 6, section 6.17.1
>
>> > 2) The FriCAS snippet below in final step gives old (stale) output
>> >    corresponding to n==10, instead of output corresponding to n==15:
>> >
>> > )set functions cache all
>> > n==10
>> > v==[i for i in 0..n]
>> > v
>> > n==15
>> > v
>
> This one is an extract from test file 'src/input/stream2.input'

-- 
Camm Maguire                                        [email protected]
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

-- 
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 [email protected].
To view this discussion visit 
https://groups.google.com/d/msgid/fricas-devel/87plgx32wu.fsf%40maguirefamily.org.

Reply via email to