aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-10-14 03:30:31 +0000
committerdos-reis <gdr@axiomatics.org>2008-10-14 03:30:31 +0000
commit9cffbc301daffb6f6563ddc12d9bd928239b60b2 (patch)
treecf68d7d42eb5751f7f63437326837a391a9828d6
parent1b563ad4798a9e1212841694616a86876877ed28 (diff)
downloadopen-axiom-9cffbc301daffb6f6563ddc12d9bd928239b60b2.tar.gz
Fix AW/338
* algebra/fspace.spad.pamphlet (smprep$FunctionSpace): Fix thinko
-rw-r--r--src/ChangeLog5
-rw-r--r--src/algebra/fspace.spad.pamphlet2
-rw-r--r--src/testsuite/interpreter/aw-338.input3
3 files changed, 9 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index b77c8bce..3119319b 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,10 @@
2008-10-13 Waldek Hebisch <hebisch@math.uni.wroc.pl>
+ Fix AW/338
+ * algebra/fspace.spad.pamphlet (smprep$FunctionSpace): Fix thinko
+
+2008-10-13 Waldek Hebisch <hebisch@math.uni.wroc.pl>
+
Fix AW/292
* algebra/defintef.spad.pamphlet (checkForPole): Handler exponention.
(checkSMP): Likewise.
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet
index b7e0fcc5..1d46ffca 100644
--- a/src/algebra/fspace.spad.pamphlet
+++ b/src/algebra/fspace.spad.pamphlet
@@ -634,7 +634,7 @@ FunctionSpace(R:OrderedSet): Category == Definition where
-- op(arg)**m ==> func(arg)**(m quo n) * op(arg)**(m rem n)
smprep(lop, lexp, lfunc, p) ==
(v := mainVariable p) case "failed" => p::%
- symbolIfCan(k := v::K) case SY => p::%
+ k := v::K
g := (op := operator k)
(arg := [eval(a,lop,lexp,lfunc) for a in argument k]$List(%))
q := map(eval(#1::%, lop, lexp, lfunc),
diff --git a/src/testsuite/interpreter/aw-338.input b/src/testsuite/interpreter/aw-338.input
new file mode 100644
index 00000000..74946828
--- /dev/null
+++ b/src/testsuite/interpreter/aw-338.input
@@ -0,0 +1,3 @@
+g := operator 'g
+eval(a*g(1783),g, i +-> i)
+-- expected: 1783 a