Hi Waldek, you can commit it. After applying to trunk, the libfricas.al build works again.
Thank you, Ralf On 3/4/20 3:56 PM, Waldek Hebisch wrote: > On Mon, Mar 02, 2020 at 08:21:58PM +0100, Ralf Hemmecke wrote: >> I've setup an automatic check. After applying this patch, >> >> commit 917f06d2921e44f541f0440f693d1f9312a5f5c4 >> Author: Waldek Hebisch <[email protected]> >> Date: Mon Mar 2 14:55:49 2020 +0000 >> >> Generalize GENUPS >> >> git-svn-id: >> https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@2626 >> b0c55286-4f34-0410-a049-a1e7e93b0762 >> >> the compilation of libfricas.al aborts with >> >> "ap/GENUPS2.ap", line 60: >> (|If| (|Test| (|Has| |#2| (|Apply| |FunctionSpace| |#1|))) >> ....................................................................^ >> [L60 C69] #1 (Error) Argument 1 of `FunctionSpace' did not match any >> possible parameter type. The rejected type is Join(IntegralDomain, >> RetractableTo(Integer)) with . >> Expected type Comparable. >> > <snip> >> >> Obvioustly, we have >> >> FunctionSpace(R : Comparable) : Category == Definition where >> >> but you only require >> >> GenerateUnivariatePowerSeries2(R, FE) : Exports == Implementation where >> R : Join(IntegralDomain, RetractableTo Integer) >> FE : Join(Ring, RetractableTo SY) >> >> so >> >> if FE has FunctionSpace(R) then >> >> cannot work. > > What about attached patch. > > Note: I prefer to weaken requirements of GenerateUnivariatePowerSeries2, > instead of replacing them by stronger ones. > -- 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 on the web visit https://groups.google.com/d/msgid/fricas-devel/0c8d1edf-ddc7-22e8-a562-75a4ed746c3b%40hemmecke.org.
