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.
aldor -Wname=fricas -Mno-abbrev -Mpreview -Y al -L
FriCASLib=fricas_INTAF -fao=ao/INTAF.ao ap/INTAF.ap 2>&1 | tee
tmp/INTAF_ao.out
"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.
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. You need
R : Join(IntegralDomain, RetractableTo Integer, Comparable)
It compiles fine with the attached patch.
Ralf
--
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/0562ae72-bd6d-82bc-871b-710d5161c399%40hemmecke.org.
From 03f6556560d19c01aff67a4690f17406729b95be Mon Sep 17 00:00:00 2001
From: Ralf Hemmecke <[email protected]>
Date: Mon, 2 Mar 2020 20:09:52 +0100
Subject: fix aldor build
---
src/algebra/genups.spad | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/algebra/genups.spad b/src/algebra/genups.spad
index c60df468..31ed7ed9 100644
--- a/src/algebra/genups.spad
+++ b/src/algebra/genups.spad
@@ -11,7 +11,7 @@
++ \spadtype{GenerateUnivariatePowerSeries} provides functions that create
++ power series from explicit formulas for their \spad{n}th coefficient.
GenerateUnivariatePowerSeries1(R) : Exports == Implementation where
- R : Ring
+ R : Ring
ANY1 ==> AnyFunctions1
EQ ==> Equation
I ==> Integer
@@ -141,7 +141,7 @@ GenerateUnivariatePowerSeries1(R) : Exports == Implementation where
++ \spadtype{GenerateUnivariatePowerSeries} provides functions that create
++ power series from explicit formulas for their \spad{n}th coefficient.
GenerateUnivariatePowerSeries2(R, FE) : Exports == Implementation where
- R : Join(IntegralDomain, RetractableTo Integer)
+ R : Join(IntegralDomain, RetractableTo Integer, Comparable)
FE : Join(Ring, RetractableTo SY)
ANY1 ==> AnyFunctions1
EQ ==> Equation
--
2.17.1
