Hi Alasdair, hello Waldek,
Looking a bit into the issue, it seemed to me that there was a forgotten
comparison of the arguments part that come out from decode_diff (see
patch below).
I'm not claiming that this is the right solution, but at least applying
this patch does not result in %A appearing anymore in the output of
)cl completely
f:=operator 'f
y:=operator 'y
f1:=D(f(x,y(x)),x)
f2:=D(f1,x)
f3:=D(f2,x)
kxy:=eval(D(f(x,z),[x,z]),z=y(x))
Waldek, can you please review this patch, because it's pretty much
guessing from my side.
Ralf
On 01/20/2014 01:55 PM, Alasdair wrote:
> Well, that's most annoying if it's a bug in FriCAS.
equaldiff(k1, k2) ==
a1 := argument k1
a2 := argument k2
-- check the operator
res := operator k1 = operator k2
not res => debugA(a1, a2, res)
-- check the evaluation point
res := (a1.3 = a2.3)
not res => debugA(a1, a2, res)
a1.2 = a2.2 => a1.1 = a2.1
r1 := decode_diff(a1)
r2 := decode_diff(a2)
not(operator(r1.orig_k) = operator(r2.orig_k)) => false
not(r1.arg = r2.arg) => false
not(r1.sub =$List(Integer) r2.sub) => false
od : List K := [retract(dk)@K for dk in r1.dummies]
ok1 : % := (r1.orig_k)::%
sk1 : % := subst(ok1, od, r2.dummies)
sk1 = (r2.orig_k)::%
=================================================================
diff --git a/src/algebra/fspace.spad.pamphlet
b/src/algebra/fspace.spad.pamphlet
index 45ed9d5..35ecc43 100644
--- a/src/algebra/fspace.spad.pamphlet
+++ b/src/algebra/fspace.spad.pamphlet
@@ -963,6 +963,7 @@ FunctionSpace(R : Comparable) : Category ==
Definition where
r1 := decode_diff(a1)
r2 := decode_diff(a2)
not(operator(r1.orig_k) = operator(r2.orig_k)) => false
+ not(r1.arg = r2.arg) => false
not(r1.sub =$List(Integer) r2.sub) => false
od : List K := [retract(dk)@K for dk in r1.dummies]
ok1 : % := (r1.orig_k)::%
--
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/groups/opt_out.
