I'm not sure, but maybe an indication for the wrong DB entry (domain
instead of package) of the following packages might be that all these
packages get their exports from a category.
A comment in ncomp.spad
-- at this stage distinction between domain and package does
-- not matter, so we treat packages as domains
https://github.com/fricas/fricas/blob/master/src/interp/ncomp.boot#L172
and in define.boot
------->This next line prohibits changing the KIND once given
--------kk:=GETDATABASE($op,'CONSTRUCTORKIND) => kk
https://github.com/fricas/fricas/blob/master/src/interp/define.boot#L423
makes me suspect that the packages below get assigned a DB entry of
"domain" which is not corrected later. I have however no idea how to
prove my suspicion.
Maybe someone can fix this easily.
ElementaryFunctionsUnivariatePuiseuxSeries efupxs
ElementaryFunctionsGeneralizedUnivariatePowerSeries genser
ElementaryFunctionsUnivariateLaurentSeries efuls
TaylorSeriesExpansionGeneralized serexp
TaylorSeriesExpansionTaylor serexp
TaylorSeriesExpansionPuiseux serexp
TaylorSeriesExpansionLaurent serexp
GuessOptionFunctions0 mantepse
ModularEvaluation1 evalut
ModularEvaluation2 evalut
ModularAlgebraicGcdTools3 amodgcd
ModularAlgebraicGcdTools4 amodgcd
ModularAlgebraicGcdTools2 amodgcd
Additionally, there is a wrong )abbrev entry.
-)abbrev domain LODO3AUX LinearOrdinaryDifferentialOperator3Aux
+)abbrev package LODO3AUX LinearOrdinaryDifferentialOperator3Aux
Can I commit the attached patch?
Ralf
On 2/16/19 11:52 PM, Ralf Hemmecke wrote:
> When I enter this
>
>
> GETDATABASE('ElementaryFunctionsUnivariateLaurentSeries,
> 'CONSTRUCTORKIND)$Lisp
>
> into FriCAS, the result is:
>
> domain
>
> But the file says
>
> )abbrev package EFULS ElementaryFunctionsUnivariateLaurentSeries
>
> and I don't see anything that justifies that this is not a package.
>
> How does FriCAS compute whether something is a package or domain?
>
> It currently leads to a wrong list here:
> http://fricas.github.io/api/Domains.html
>
> 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 post to this group, send email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/13662761-064d-5819-3d10-b2fe00a95f27%40hemmecke.org.
For more options, visit https://groups.google.com/d/optout.
From 18c41be6515ebcfb2887942593dec96ceb0bd768 Mon Sep 17 00:00:00 2001
From: Ralf Hemmecke <[email protected]>
Date: Sun, 17 Feb 2019 14:17:54 +0100
Subject: fix )abbrev
---
src/algebra/lodo.spad | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/algebra/lodo.spad b/src/algebra/lodo.spad
index 3657b5e0..d1f7e4e6 100644
--- a/src/algebra/lodo.spad
+++ b/src/algebra/lodo.spad
@@ -210,7 +210,7 @@ LinearOrdinaryDifferentialOperator2(A, M) : Exports == Implementation where
elt(p : %, m : M) : M ==
apply(p, differentiate, m)$ApplyUnivariateSkewPolynomial(A, M, %)
-)abbrev domain LODO3AUX LinearOrdinaryDifferentialOperator3Aux
+)abbrev package LODO3AUX LinearOrdinaryDifferentialOperator3Aux
++ Description: \spad{LinearOrdinaryDifferentialOperator3Aux} is
++ a helper for \spad{LinearOrdinaryDifferentialOperator3}
++ defining appropriate derivative.
--
2.17.1
