Greetings, and please excuse the delayed reply.

I have a tree passing all regression tests now with 2.7.0.

There was an issue regarding sort/stable-sort.  In 2.7.0, sort uses the
random quicksort algorithm.  This caused random failures in 3 tests.
I've stepped over the issue defining sort to be stable-sort in a local
gcl image.  The details of one case:

          5> (|evalMmCat|
              |elt| (*1 *2 *3 *2)
              ((|isDomain| *3 #1=(|Fraction| *1))
               (|ofCategory| *1 (|UnivariatePolynomialCategory| *2))
               (|ofCategory| *2 (|SemiRng|))
               (|ofCategory| *2 (|AbelianMonoid|))
               (|ofCategory| *2 (|Field|)))
              ((*3 . #1#)))
            6> (|orderMmCatStack|
                ((|ofCategory| *1 (|UnivariatePolynomialCategory| *2))
                 (|ofCategory| *2 (|SemiRng|))
                 (|ofCategory| *2 (|AbelianMonoid|))
                 (|ofCategory| *2 (|Field|))))
            <6 (|orderMmCatStack|
                ((|ofCategory| *2 (|Field|))
                 (|ofCategory| *2 (|SemiRng|))
                 (|ofCategory| *1 (|UnivariatePolynomialCategory| *2))
                 (|ofCategory| *2 (|AbelianMonoid|))))

|orderMmCatStack| needs to return this list in its original order for

f: UP(n, INT) -> UP(n, INT) := p +-> p.(n+1)

of bugs2008.input to work.


With all this in place, the build still hangs at

making exdiff.input
parsing: ExDiffBasic
writing:        differentiate(sin(x) * exp(x^2),x)


waiting for input.  I will try poking around in gdb and report back when
it is resolved.  If you have any suggestions in the meantime, they are
most appreciated!

Take care,


Waldek Hebisch <de...@fricas.org> writes:

> On Fri, Jan 17, 2025 at 03:02:46PM -0500, Camm Maguire wrote:
>> Greetings, and one more question --
>> 
>> My build is now hanging waiting for input here:
>> 
>> unset DAASE; HTPATH=. FRICAS_INITFILE='' 
>> /mnt/sda4/debian/fricas/target/x86_64-linux-gnu/bin/sman -noihere -paste 
>> exdiff.ht
>> openServer result 0
>>                        FriCAS Computer Algebra System 
>>                          Version: FriCAS 2022-07-16
>>                  Timestamp: Fri Jan 17 01:59:52 PM EST 2025
>> -----------------------------------------------------------------------------
>>    Issue )copyright to view copyright notices.
>>    Issue )summary for a summary of useful system commands.
>>    Issue )quit to leave FriCAS and return to shell.
>> -----------------------------------------------------------------------------
>>  
>> 
>> making exdiff.input
>> parsing: ExDiffBasic
>> writing:     differentiate(sin(x) * exp(x^2),x)
>> 
>> Thoughts?
>
> This typically means error in calculation.  Unfortunately,
> in this phase errors can easily lead to hang build.
> I would suggest to just kill hanged processes and run
> testsuite.   If there are no testsute failures and build
> still hangs, then one can re-run re-run offending commands
> by hand to see if they work.

-- 
Camm Maguire                                        c...@maguirefamily.org
==========================================================================
"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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit 
https://groups.google.com/d/msgid/fricas-devel/87o6zlms81.fsf%40maguirefamily.org.

Reply via email to