Aldor compilation fails currently (see below). We have
FunctionSpace(R : Comparable) : Category == Definition where but RootFSSplit(R, F) : Exports == Implementation where R : Join(IntegralDomain, RetractableTo Integer) F : FunctionSpace(R) so it should actually be R : Join(IntegralDomain, RetractableTo Integer, Comparable) The bug was introduced in commit cd320579a6aa0aab189ef56535b6503e8460488a Author: Waldek Hebisch <[email protected]> Date: Thu Nov 27 05:19:01 2014 +0000 Rework extended integration git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1829 b0c55286-4f34-0410-a049-a1e7e93b0762 Patch attached. Ralf ============================================================= aldor -Wname=axiom -Mno-abbrev -Mpreview -Y al -L AxiomLib=axiom_RFSSPLIT -fao=ao/RFSSPLIT.ao ap/RFSSPLIT.ap (Message Preview) "ap/RFSSPLIT.ap", line 11: (|Declare| |#2| (|Apply| |FunctionSpace| |#1|))) .........................................................^ [L11 C58] #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. -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
From d893e3b40759e733bf0e03243c15a17826461d17 Mon Sep 17 00:00:00 2001 From: Ralf Hemmecke <[email protected]> Date: Thu, 18 Dec 2014 00:20:41 +0100 Subject: fix RootFSSplit argument --- src/algebra/intpar.spad | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/algebra/intpar.spad b/src/algebra/intpar.spad index 5f07aa3..fcbb454 100644 --- a/src/algebra/intpar.spad +++ b/src/algebra/intpar.spad @@ -199,7 +199,7 @@ ExpressionFactorPolynomial(R, F) : Exports == Implementation where )abbrev package RFSSPLIT RootFSSplit RootFSSplit(R, F) : Exports == Implementation where - R : Join(IntegralDomain, RetractableTo Integer) + R : Join(IntegralDomain, RetractableTo Integer, Comparable) F : FunctionSpace(R) K ==> Kernel(F) Alg_Rec ==> Record(funs : List F, nroot : F, npow1 : Integer, -- 2.1.0
