aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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